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