3 papers
cs.PL2026
Folding an e-graph in pure egglog
Zeng Ren, Maddy Bowers
Folding over a recursive data structure (also known as "catamorphism") is an essential operation in functional programming. It allows one to declaratively define a recursive comput…
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…