Chloe Loughridge

Identifiers

• name variant Chloe Loughridge 0.60 · backfill

Papers (4)

1. dafny-annotator: AI-Assisted Verification of Dafny Programs cs.SE · 2024 · author #2
2. DafnyBench: A Benchmark for Formal Software Verification cs.SE · 2024 · author #1
3. VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search cs.SE · 2024 · author #5
4. Opening the AI black box: program synthesis via mechanistic interpretability cs.LG · 2024 · author #6

Mentions

• 2411.15143 #2 · arxiv_oai · confidence 0.70 Chloe Loughridge
• 2406.08467 #1 · arxiv_oai · confidence 0.70 Chloe Loughridge
• 2402.08147 #5 · arxiv_oai · confidence 0.70 Chloe Loughridge
• 2402.05110 #6 · arxiv_oai · confidence 0.70 Chloe Loughridge

Frequent Coauthors

• Nada Amin 3 shared papers
• Anish Mudide 2 shared papers
• Federico Cassano 2 shared papers
• Max Tegmark 2 shared papers
• Chuyue Sun 1 shared papers
• David Brandfonbrener 1 shared papers
• Eric J. Michaud 1 shared papers
• Gabriel Poesia 1 shared papers
• Isaac Liao 1 shared papers
• Jianang Yang 1 shared papers
• Mateja Vukeli\'c 1 shared papers
• Md Rakib Hossain Misu 1 shared papers
• Qinyi Sun 1 shared papers
• Robert Zinkov 1 shared papers
• Sabrina Ruixin Hu 1 shared papers
• Seth Ahrenbach 1 shared papers
• Sibi Raja 1 shared papers
• Simon Henniger 1 shared papers
• Tara Rezaei Kheirkhah 1 shared papers
• Tarun Prasad 1 shared papers