NeurIPS.cc/2024/Datasets_and_Benchmarks_Track
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Xiaohan Lin Qingxing Cao Yinya Huang Haiming Wang Jianqiao Lu Zhengying Liu Linqi Song Xiaodan Liang