A benchmark for vericoding: formally verified program synthesis. - Sergiu Bursuc; Theodore Ehrenborg; Shaowei Lin; Lacramioara Astefanoaei; Ionel Emilian Chiosa; Jure Kukovec; Alok Singh; Oliver Butterley; Adem Bizid; Quinn Dougherty; Miranda Zhao; Max Tan; et al. (CoRR, 2025)