5 citations · 11 across the 4 of their papers we have counts for
4 papers
Beyond Cons: Purely Relational Data Structures
Rafaello Sanna, William E. Byrd, Nada Amin
We present {Kanren} (read: set-Kanren), an extension to miniKanren with constraints for reasoning about sets and association lists. {Kanren} includes first-class set objects, a fun…
dafny-annotator: AI-Assisted Verification of Dafny Programs
Gabriel Poesia, Chloe Loughridge, Nada Amin
Formal verification has the potential to drastically reduce software bugs, but its high additional cost has hindered large-scale adoption. While Dafny presents a promise to signifi…
Multi-objective generative AI for designing novel brain-targeting small molecules
Ayush Noori, Iñaki Arango, William E. Byrd +1
The strict selectivity of the blood-brain barrier (BBB) represents one of the most formidable challenges to successful central nervous system (CNS) drug delivery. Computational met…
DafnyBench: A Benchmark for Formal Software Verification
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach +7
We introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. We test the ability of LLMs such a…