Tarun Prasad -

Registered user since Fri 22 Nov 2024

Name:Tarun Prasad

Affiliation:Harvard

Contributions

2025

Dafny

Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track