@misc{indiciaee571613b1142,
  title = {VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code},
  author = {Lingfei Zeng and Fengdi Che and Xuhan Huang and Fei Ye and Xu Xu and Binhang Yuan and Jie Fu},
  year = {2026},
  url = {https://arxiv.org/abs/2510.06296},
  note = {Source identifier: 2510.06296}
}