IM-JAIC at MediaEval 2018 Emotional Impact of Movies Task. - Chloe Loughridge; Julia Moseyko (MediaEval, 2018)

Opening the AI black box: program synthesis via mechanistic interpretability. - Eric J. Michaud; Isaac Liao; Vedang Lad; Ziming Liu; Anish Mudide; Chloe Loughridge; Zifan Carl Guo; Tara Rezaei Kheirkhah; Mateja Vukelic; Max Tegmark (CoRR, 2024)

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. - David Brandfonbrener; Sibi Raja; Tarun Prasad; Chloe Loughridge; Jianang Yang; Simon Henniger; William E. Byrd; Robert Zinkov; Nada Amin (CoRR, 2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs. - Gabriel Poesia; Chloe Loughridge; Nada Amin (CoRR, 2024)

DafnyBench: A Benchmark for Formal Software Verification. - Chloe Loughridge; Qinyi Sun; Seth Ahrenbach; Federico Cassano; Chuyue Sun; Ying Sheng 007; Anish Mudide; Md Rakib Hossain Misu; Nada Amin; Max Tegmark (Trans. Mach. Learn. Res., 2025)