A benchmark for LLM vericoding: formally verified program synthesis

2 pointsposted 23 days ago
by cpeterso
(arxiv.org)

No comments yet