作者位次 #5/7ICLR 2026Poster· Social Aspects / Trustworthy Machine Learning
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
Lingfei Zeng · Fengdi Che · Xuhan Huang · Fei Ye · Xu Xu · Binhang Yuan · Jie Fu