FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang. FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. In Amir Globersons, Lester Mackey, Danielle Belgrave, Angela Fan, Ulrich Paquet, Jakub M. Tomczak, Cheng Zhang 0005, editors, Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024. 2024. [doi]

This author has not been identified. Look up 'Xiaohan Lin' in GoogleThis author has not been identified. Look up 'Qingxing Cao' in GoogleThis author has not been identified. Look up 'Yinya Huang' in GoogleThis author has not been identified. Look up 'Haiming Wang' in GoogleThis author has not been identified. Look up 'Jianqiao Lu' in GoogleThis author has not been identified. Look up 'Zhengying Liu' in GoogleThis author has not been identified. Look up 'Linqi Song' in GoogleThis author has not been identified. Look up 'Xiaodan Liang' in Google

runs on WebDSL