@article{
chiosa2026a,
title={A Benchmark for Vericoding: Formally Verified Program Synthesis},
author={Ionel Emilian Chiosa and Sergiu Bursuc and Theodore Ehrenborg and Shaowei Lin and Lacramioara Astefanoaei and Jure Kukovec and Alok Singh and Oliver Butterley and Adem Bizid and Quinn Dougherty and Miranda Zhao and Max Tan and Max Tegmark},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=Zgh5kpGAm8},
note={}
}