Chloe R Loughridge

Researcher, Anthropic Research Fellows Program

Joined

May 2023

Names

Chloe R Loughridge (Preferred)

Emails

****@college.harvard.edu (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher

Anthropic Research Fellows Program (anthropic.com)

2025 – Present

Undergrad student

Harvard University (college.harvard.edu)

2019 – 2024

Advisors, Relations & Conflicts

Coauthor

Professor Nada Amin

2019 – 2024

Expertise

large language models

Present

reinforcement learning

Present

Publications

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
- Accepted by TMLR
- Readers: Everyone
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
- MATH-AI 24
- Readers: Everyone
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
- MATH-AI 24
- Readers: Everyone
Surely You’re Lying, Mr. Model: Improving and Analyzing CCS
Naomi Bashkansky, Chloe R Loughridge, Chuyue Tang
- DeployableGenerativeAI
- Readers: Everyone

Co-Authors