A benchmark for LLM vericoding: formally verified program synthesis

2 pointsposted 6 hours ago
by cpeterso
(arxiv.org)

No comments yet