%0 Conference Paper %1 conf/cidr/0001YF0LH24 %A Tang, Nan %A Yang, Chenyu %A Fan, Ju %A Cao, Lei %A Luo, Yuyu %A Halevy, Alon Y. %B CIDR %D 2024 %I www.cidrdb.org %K dblp %T VerifAI: Verified Generative AI. %U http://dblp.uni-trier.de/db/conf/cidr/cidr2024.html#0001YF0LH24

@inproceedings{conf/cidr/0001YF0LH24, added-at = {2024-04-05T00:00:00.000+0200}, author = {Tang, Nan and Yang, Chenyu and Fan, Ju and Cao, Lei and Luo, Yuyu and Halevy, Alon Y.}, biburl = {https://www.bibsonomy.org/bibtex/2dfc3a437557e4368843c50171fa572a2/dblp}, booktitle = {CIDR}, crossref = {conf/cidr/2024}, ee = {https://www.cidrdb.org/cidr2024/papers/p5-tang.pdf}, interhash = {7b79fd4d756d03b555771d998126d89f}, intrahash = {dfc3a437557e4368843c50171fa572a2}, keywords = {dblp}, publisher = {www.cidrdb.org}, timestamp = {2024-04-09T17:46:27.000+0200}, title = {VerifAI: Verified Generative AI.}, url = {http://dblp.uni-trier.de/db/conf/cidr/cidr2024.html#0001YF0LH24}, year = 2024 }