Tarun Prasad

Joined

January 2024

Names

Tarun Prasad (Preferred)

Emails

****@college.harvard.edu (Confirmed)

,

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Undergrad student

Computer Science, Harvard University (college.harvard.edu)

2019 – 2024

Advisors, Relations & Conflicts

Coauthor

2023 – 2024

Expertise

No areas of expertise listed

Publications

Guided Proof Search Using Large Language Models and Lemma Extraction in Coq
Tarun Prasad, Nada Amin
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
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
- MATH-AI 24
- Readers: Everyone
On sketching approximations for symmetric Boolean CSPs
Joanna Boyland, Michael Hwang, Tarun Prasad, Noah Singer, Santhoshini Velusamy
- Published: 01 Jan 2022, Last Modified: 08 Jan 2024
- Electron. Colloquium Comput. Complex. 2022
- Readers: Everyone
On Sketching Approximations for Symmetric Boolean CSPs
Joanna Boyland, Michael Hwang, Tarun Prasad, Noah Singer, Santhoshini Velusamy
- Published: 01 Jan 2022, Last Modified: 08 Jan 2024
- APPROX/RANDOM 2022
- Readers: Everyone
Closed-form expressions for the sketching approximability of (some) symmetric Boolean CSPs
Joanna Boyland, Michael Hwang, Tarun Prasad, Noah Singer, Santhoshini Velusamy
- Published: 01 Jan 2021, Last Modified: 08 Jan 2024
- CoRR 2021
- Readers: Everyone

Co-Authors