VerifAI: Verified Generative AI.

Nan Tang, Chenyu Yang, Ju Fan, Lei Cao, Yuyu Luo, Alon Y. Halevy

Browse the full CIDR paper archive.