Hacker News new | ask | show | jobs
A benchmark for vericoding: formally verified program synthesis (arxiv.org)
3 points by luskira 115 days ago