5/25/2026
•
EN
Lifting E-Graphs
Explores lifting e-graphs, a technique to handle variable binding in equality saturation by treating context as part of a term.