A benchmark for LLM vericoding: formally verified program synthesis

2 points | by cpeterso 6 hours ago