A benchmark for vericoding: formally verified program synthesis #1 Post by luskira » Wed, Feb 18, 2026, 7:12 PM UTC A benchmark for vericoding: formally verified program synthesisarxiv.org