Picture for Maddy Bowers

Maddy Bowers

MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis

Add code
Sep 26, 2024
Viaarxiv icon