Smart E-Graphs

Title

Smart E-Graphs: Semantic-Aware E-Graph Optimizations

Links

• Website: prg-grp.github.io/egraphs-extensions-website