Nan Tang 0001, Chenyu Yang, Ju Fan, Lei Cao 0004, Yuyu Luo, Alon Y. Halevy. VerifAI: Verified Generative AI. In 14th Conference on Innovative Data Systems Research, CIDR 2024, Chaminade, HI, USA, January 14-17, 2024. www.cidrdb.org, 2024. [doi]
@inproceedings{0001YF0LH24,
title = {VerifAI: Verified Generative AI},
author = {Nan Tang 0001 and Chenyu Yang and Ju Fan and Lei Cao 0004 and Yuyu Luo and Alon Y. Halevy},
year = {2024},
url = {https://www.cidrdb.org/cidr2024/papers/p5-tang.pdf},
researchr = {https://researchr.org/publication/0001YF0LH24},
cites = {0},
citedby = {0},
booktitle = {14th Conference on Innovative Data Systems Research, CIDR 2024, Chaminade, HI, USA, January 14-17, 2024},
publisher = {www.cidrdb.org},
}