Nada Amin
- DafnyBench: A Benchmark for Formal Software Verification
2024/06/12 by Chloe Loughridge, Loughridge, Chloe, Qinyi Sun +17 · 19 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
- 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 +20 · 2 voices · 5 citations
Computer Science · Materials Science · #Machine Learning in Materials Science #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.LG #cs.LO #cs.PL #cs.SE
- dafny-annotator: AI-Assisted Verification of Dafny Programs
2024/11/05 by Gabriel Poesia, Chloe Loughridge, Poesia, Gabriel +3 · 1 voice · 8 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
- chrKanren: Constraint Handling Rules in a Relational Language
2026/07/20 by Rafaello Sanna, William E. Byrd, Nada Amin
Computer Science · #Constraint Satisfaction and Optimization #Logic, programming, and type systems #Logic, Reasoning, and Knowledge