E-Stitch: Top-Down Library Learning for E-Graphs
This program is tentative and subject to change.
We explore a new approach to \textit{library learning}, the task of extracting a reusable library of functions by finding common structure in a corpus of programs. We build on two related approaches to this problem: Stitch, which frames library learning as a top-down program synthesis problem, and Babble, which approaches it via an anti-unification procedure over e-graphs. Both of these techniques have shortcomings: Stitch’s top-down search cannot leverage equivalence relations, and Babble’s anti-unification algorithm is inherently quadratic in the size of the corpus. In this work, we introduce E-Stitch, which extends Stitch’s corpus-guided top-down search to operate over a corpus in an \textit{e-graph}. This combines the efficiency of the top-down approach with the expressivity afforded by equivalence relations. We provide a preliminary evaluation of our approach on the benchmarks from Babble, and are able to outperform it in both speed and compression.
| preprint (estitch-egraphs-workshop-2026.pdf) | 529KiB |
This program is tentative and subject to change.
Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change
15:50 - 17:30 | |||
15:50 25mTalk | Relational E-matching in an SMT solver EGRAPHS Amar Shah Carnegie Mellon University, Marijn Heule Carnegie Mellon University, Bryan Parno Carnegie Mellon University, Max Willsey University of California at Berkeley | ||
16:15 25mTalk | E-Stitch: Top-Down Library Learning for E-Graphs EGRAPHS Kavi Gupta MIT, Maddy Bowers Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology File Attached | ||
16:40 25mTalk | Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog EGRAPHS Hiromi Ishii JIJ Pre-print File Attached | ||
17:05 25mTalk | Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale EGRAPHS Siyuan Brant Qian University of Illinois at Urbana-Champaign, Vimarsh Sathia University of Illinois Urbana Champaign, Ivan Ivanov Institute of Science Tokyo, Jan Hueckelheim Argonne National Laboratory, Paul Hovland Argonne National Laboratory, William S. Moses University of Illinois Urbana-Champaign | ||