TY  - RPRT
TI  - VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
AU  - Lingfei Zeng
AU  - Fengdi Che
AU  - Xuhan Huang
AU  - Fei Ye
AU  - Xu Xu
AU  - Binhang Yuan
AU  - Jie Fu
PY  - 2026
UR  - https://arxiv.org/abs/2510.06296
ID  - 2510.06296
ER  -