| Opening the AI black box: program synthesis via mechanistic interpretability EJ Michaud, I Liao, V Lad, Z Liu, A Mudide, C Loughridge, ZC Guo, ... arXiv preprint arXiv:2402.05110, 2024 | 11 | 2024 |
| Verified multi-step synthesis using large language models and monte carlo tree search D Brandfonbrener, S Raja, T Prasad, C Loughridge, J Yang, S Henniger, ... arXiv preprint arXiv:2402.08147, 2024 | 9 | 2024 |
| DafnyBench: A Benchmark for Formal Software Verification C Loughridge, Q Sun, S Ahrenbach, F Cassano, C Sun, Y Sheng, ... arXiv preprint arXiv:2406.08467, 2024 | 5 | 2024 |
| VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search D Brandfonbrener, S Henniger, S Raja, T Prasad, CR Loughridge, ... The 4th Workshop on Mathematical Reasoning and AI at NeurIPS'24, 2024 | 2 | 2024 |
| Surely You’re Lying, Mr. Model: Improving and Analyzing CCS N Bashkansky, CR Loughridge, C Tang | 1 | 2023 |
| Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code EJ Michaud, I Liao, V Lad, Z Liu, A Mudide, C Loughridge, ZC Guo, ... Entropy 26 (12), 1046, 2024 | | 2024 |
| dafny-annotator: AI-Assisted Verification of Dafny Programs G Poesia, C Loughridge, N Amin arXiv preprint arXiv:2411.15143, 2024 | | 2024 |
| DafnyBench CR Loughridge | | 2024 |
| IM-JAIC at MediaEval 2018 Emotional Impact of Movies Task. C Loughridge, J Moseyko MediaEval, 2018 | | 2018 |
Nada AminHarvard University在 alum.mit.edu 的电子邮件经过验证
