VerifAI: Verified Generative AI

Tang, Nan, Yang, Chenyu, Fan, Ju · arXiv · 2023