Anupam, S., Bowers, M., Costilla-Reyes, O., & Solar-Lezama, A. (2024). MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis.
Chicago Style (17th ed.) CitationAnupam, Sagnik, Maddy Bowers, Omar Costilla-Reyes, and Armando Solar-Lezama. MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. 2024.
MLA (9th ed.) CitationAnupam, Sagnik, et al. MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. 2024.
Warning: These citations may not always be 100% accurate.