vix.ing
·
top
·
new
·
best
·
stats
·
spec
Bursuc, Sergiu
A benchmark for vericoding: formally verified program synthesis
2025/09/26 by
Sergiu Bursuc
,
Theodore Ehrenborg
,
Bursuc, Sergiu
+23 · 6 voices · 4 citations
#cs.SE
#cs.LG
#cs.PL