A benchmark for vericoding: formally verified program synthesis

3 points| luskira | 12 days ago |arxiv.org