6 citations · 14 across the 21 of their papers we have counts for
1 paper · 1 filter
Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5
Certified program synthesis (aka vericoding) is the process of automatically generating a program, its formal specification, and a machine-checkable proof of their alignment from a…