Exploring Guided Equality Saturation
Exploring Guided Equality Saturation reveals several interesting facts.
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
- Thomas Koehler present "
- Equality Saturation Guided
- Max Willsey (UC Berkeley) https://simons.berkeley.edu/talks/max-willsey-uc-berkeley-2023-11-15 Logic and Algebra for Query ...
- Machine Learning
In-Depth Information on Guided Equality Saturation
This is the short video for the POPL 2021 paper "egg: Fast and Extensible Guided Equality Saturation Max Willsey (University of Washington, USA) Yisu Remy Wang (University of Washington) Oliver Flatt (University of Utah) Zachary ... Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner Presented at POPL 2009 Optimizations in a traditional ...
Incremental
Stay tuned for more updates related to Guided Equality Saturation.