A benchmark for vericoding: formally verified program synthesis

• Posted 14 hours ago by luskira
• 3 points