Amin, Nada

1. DafnyBench: A Benchmark for Formal Software Verification
   2024/06/12 by Chloe Loughridge, Loughridge, Chloe, Qinyi Sun +17 · 16 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
2. VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
   2024/02/13 by David Brandfonbrener, Brandfonbrener, David, Simon Henniger +19 · 2 voices · 3 citations
   #cs.SE #cs.AI #cs.LG #cs.LO #cs.PL
3. dafny-annotator: AI-Assisted Verification of Dafny Programs
   2024/11/05 by Gabriel Poesia, Chloe Loughridge, Poesia, Gabriel +3 · 1 voice · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.AI #cs.PL #cs.SE