@misc{tang2023verifai,
  title={VerifAI: Verified Generative AI},
  author={Nan Tang and Chenyu Yang and Ju Fan and Lei Cao and Yuyu Luo and Alon Halevy},
  year={2023},
  eprint={2307.02796},
  archivePrefix={arXiv},
  primaryClass={cs.DB},
  url={https://arxiv.org/abs/2307.02796}
}