vix.ing · top · new · best · stats · spec

Sergiu Bursuc

  1. A benchmark for vericoding: formally verified program synthesis
    2025/09/26 by Sergiu Bursuc, Theodore Ehrenborg, Bursuc, Sergiu +23 · 6 voices · 5 citations
    #cs.SE #cs.LG #cs.PL