Prasad, Tarun

2 publications

ICLRW 2025 Guided Proof Search Using Large Language Models and Lemma Extraction in Coq Tarun Prasad, Nada Amin

NeurIPSW 2024 VerMCTS: Synthesizing Multi-Step Programs Using a Verifier, a Large Language Model, and Tree Search David Brandfonbrener, Simon Henniger, Sibi Raja, Tarun Prasad, Chloe R Loughridge, Federico Cassano, Sabrina Ruixin Hu, Jianang Yang, William E. Byrd, Robert Zinkov, Nada Amin