Chloe Loughridge

According to our database, Chloe Loughridge authored at least 8 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Evaluating Control Protocols for Untrusted AI Agents.

Jonathan Kutasov, Chloe Loughridge, Yuqi Sun, Henry Sleight, Buck Shlegeris, Tyler Tracy, Joe Benton

CoRR, November, 2025

Optimizing AI Agent Attacks With Synthetic Data.

Chloe Loughridge, Paul Colognese, Avery Griffin, Tyler Tracy, Jonathan Kutasov, Joe Benton

CoRR, November, 2025

DafnyBench: A Benchmark for Formal Software Verification.

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

Trans. Mach. Learn. Res., 2025

2024

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code.

Eric J. Michaud, Isaac Liao, Vedang Lad, Ziming Liu, Anish Mudide, Chloe Loughridge, Zifan Carl Guo, Tara Rezaei Kheirkhah, Mateja Vukelic, Max Tegmark

Entropy, 2024

dafny-annotator: AI-Assisted Verification of Dafny Programs.

Gabriel Poesia, Chloe Loughridge, Nada Amin

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

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

2018

IM-JAIC at MediaEval 2018 Emotional Impact of Movies Task.

Chloe Loughridge, Julia Moseyko

Proceedings of the Working Notes Proceedings of the MediaEval 2018 Workshop, 2018