Tag
The article presents 'Lifting E-Graphs', a refined approach to e-graphs that explicitly encodes the context (dimension) of functions to resolve issues with variable naming, missed sharing, and accidental over-sharing, based on a semantic model of functions from R^n to R.