Anupam, Sagnik

2 publications

ICLRW 2025 LLM Program Optimization via Retrieval Augmented Search Sagnik Anupam, Alexander Shypula, Osbert Bastani

NeurIPSW 2024 MathDSL: A Domain-Specific Language for Concise Mathematical Solutions via Program Synthesis Sagnik Anupam, Maddy Bowers, Omar Costilla Reyes, Armando Solar-Lezama