Amin, Nada

5 publications

TMLR 2025 DafnyBench: A Benchmark for Formal Software Verification Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

ICLRW 2025 Guided Proof Search Using Large Language Models and Lemma Extraction in Coq Tarun Prasad, Nada Amin

NeurIPSW 2024 DafnyBench: A Benchmark for Formal Software Verification Chloe R Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

ICLRW 2024 Multi-Objective Generative AI for Designing Novel Brain-Targeting Small Molecules Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin

NeurIPSW 2024 VerMCTS: Synthesizing Multi-Step Programs Using a Verifier, a Large Language Model, and Tree Search David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe R Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin