← Bibliography

A benchmark for vericoding: formally verified program synthesis

View original ↗

Note

LLM success rates: 82% Dafny, 44% Verus/Rust, 27% Lean. Dafny improved from 68% to 96% in one year.

Citation Key

bursuc2025vericoding