VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
VeriEquivBench:一种无需真实地面真相的正式可验证代码评估等价分数
Lingfei Zeng, Fengdi Che, Xuhan Huang, Fei Ye, Xu Xu, Binhang Yuan, Jie Fu
机构
*
Huazhong University of Science and Technology(华中科技大学)
;
University of Alberta(阿尔伯塔大学)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
Hong Kong University of Science and Technology(香港科技大学)
;
Shanghai Artificial Intelligence Laboratory(上海人工智能实验室)