Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Library learning with e-graphs on jazz harmony
Zeng Ren, Maddy Bowers, Xinyi Guan +1
Humans can acquire a highly structured intuitive understanding of musical patterns, yet these patterns often require multiple iterations of reflection and re-listening to internali…
cs.LG2024
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
Sagnik Anupam, Maddy Bowers, Omar Costilla-Reyes +1
We present MathDSL, a Domain-Specific Language (DSL) for mathematical equation solving, which, when deployed in program synthesis models, outperforms state-of-the-art reinforcement…