VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code - Zeng, Lingfei; Che, Fengdi; Huang, Xuhan; Ye, Fei; Xu, Xu; Yuan, Binhang; Fu, Jie (International Conference on Learning Representations, 2026)