Loughridge, Chloe R

4 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

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

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

ICMLW 2023 Surely You’re Lying, Mr. Model: Improving and Analyzing CCS Naomi Bashkansky, Chloe R Loughridge, Chuyue Tang