Bowers, Maddy

1 publications

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