@misc{indiciae627f066ce242,
  title = {A benchmark for vericoding: formally verified program synthesis},
  author = {Sergiu Bursuc and Theodore Ehrenborg and Shaowei Lin and Lacramioara Astefanoaei and Ionel Emilian Chiosa and Jure Kukovec and Alok Singh and Oliver Butterley and Adem Bizid and Quinn Dougherty and Miranda Zhao and Max Tan and Max Tegmark},
  year = {2025},
  url = {https://arxiv.org/abs/2509.22908},
  note = {Source identifier: 2509.22908}
}