Synthetic Datasets for Neural Program Synthesis. - Richard Shin; Neel Kant; Kavi Gupta; Chris Bender; Brandon Trabucco; Rishabh Singh; Dawn Song (ICLR (Poster), 2019)

Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis. - Kavi Gupta; Peter Ebert Christensen; Xinyun Chen; Dawn Song (NeurIPS, 2020)

Nifty Assignments. - Nick Parlante; Julie Zelenski; John DeNero; Christopher Allsman; Tiffany Perumpail; Rahul Arya; Kavi Gupta; Catherine Cang; Paul Bitutsky; Ryan Moughan; David J. Malan; Brian Yu; et al. (SIGCSE, 2020)

SPARLING: Learning Latent Representations with Extremely Sparse Activations. - Kavi Gupta; Osbert Bastani; Armando Solar-Lezama (CoRR, 2023)

Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs. - Kavi Gupta; Kate Sanders 002; Armando Solar-Lezama (CoRR, 2025)