18:30
2026-06-13
philipzucker.com
ai-research
Lifting E-Graphs
A researcher's talk on 'Lifting E-Graphs' was accepted at the EGRAPHS workshop, introducing a new approach to handling variable contexts in e-graphs by treating context as part of the term itself. The…