Chloe Loughridge

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 4

Top Topics

Monte Carlo Tree Search

Special Effects

Top Venues

Publications

Eric J. Michaud, Isaac Liao, Vedang Lad, Ziming Liu, Anish Mudide, Chloe Loughridge, Zifan Carl Guo, Tara Rezaei Kheirkhah, Mateja Vukelic, Max Tegmark
Opening the AI black box: program synthesis via mechanistic interpretability. CoRR (2024)
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. CoRR (2024)
Chloe Loughridge, Julia Moseyko
IM-JAIC at MediaEval 2018 Emotional Impact of Movies Task. MediaEval (2018)