2 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…