conf.researchr.org / Chloe Loughridge
Registered user since Mon 13 Jan 2025
Name:Chloe Loughridge
Affiliation:Harvard University
Contributions
2025
Dafny
- Author of dafny-annotator: AI-Assisted Verification of Dafny Programs within the Dafny 2025-track
- Author of DafnyBench: A Benchmark for Formal Software Verification within the Dafny 2025-track
- Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track