Chloe Loughridge

According to our database, Chloe Loughridge authored at least 4 papers between 2018 and 2024.

Collaborative distances:

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

2024

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

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