VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zeng, Lingfei, Che, Fengdi, Huang, Xuhan, Ye, Fei, Xu, Xu, Yuan, Binhang, Fu, Jie
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2510.06296