A benchmark for vericoding: formally verified program synthesis
luskira Wednesday, February 18, 2026
1
0
arxiv.org
Story