Exploring Guided Equality Saturation
Exploring Guided Equality Saturation reveals several interesting facts.
- This is the short video for the POPL 2021 paper "egg: Fast and Extensible
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
- Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner Presented at POPL 2009 Optimizations in a traditional ...
- Equality Saturation Guided
- Incremental
In-Depth Information on Guided Equality Saturation
Machine Learning Thomas Koehler present " This is the full-length video for the POPL 2021 paper "egg: Fast and Extensible Guided Equality Saturation
Equality Saturation
Stay tuned for more updates related to Guided Equality Saturation.
