Welcome to EGRAPHS
Speaker: Max Willsey2024-02-15
Max Willsey, one of the organizers will give a high-level introduction to e-graphs, equality saturation, and sketch some new directions.
Google Slides from the presentation.
Max Willsey, one of the organizers will give a high-level introduction to e-graphs, equality saturation, and sketch some new directions.
Google Slides from the presentation.