Quinn Dougherty

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
2. Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
   2025/02/08 by Quinn Dougherty, Ronak Mehta, Dougherty, Quinn +1 · 2 voices · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE) #cs.AI #cs.LG #cs.LO #cs.SE