TY  - RPRT
TI  - A benchmark for vericoding: formally verified program synthesis
AU  - Sergiu Bursuc
AU  - Theodore Ehrenborg
AU  - Shaowei Lin
AU  - Lacramioara Astefanoaei
AU  - Ionel Emilian Chiosa
AU  - Jure Kukovec
AU  - Alok Singh
AU  - Oliver Butterley
AU  - Adem Bizid
AU  - Quinn Dougherty
AU  - Miranda Zhao
AU  - Max Tan
AU  - Max Tegmark
PY  - 2025
UR  - https://arxiv.org/abs/2509.22908
ID  - 2509.22908
ER  -