VerifAI: Verified Generative AI

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]

Authors

Nan Tang 0001

This author has not been identified. Look up 'Nan Tang 0001' in Google

Chenyu Yang

This author has not been identified. Look up 'Chenyu Yang' in Google

Ju Fan

This author has not been identified. Look up 'Ju Fan' in Google

Lei Cao 0004

This author has not been identified. Look up 'Lei Cao 0004' in Google

Yuyu Luo

This author has not been identified. Look up 'Yuyu Luo' in Google

Alon Y. Halevy

This author has not been identified. Look up 'Alon Y. Halevy' in Google