Exploring Popl 24 Guided Equality Saturation
Exploring Popl 24 Guided Equality Saturation reveals several interesting facts.
- Rewriting is an extremely common proof task supported by efficient and versatile tactics like $\texttt{rw}$ and $\texttt{simp}$.
- This is the short video for the
- Tea Talk, September 5, 2025 In this talk, I will introduce
- Thomas Koehler present "
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
In-Depth Information on Popl 24 Guided Equality Saturation
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 Equality Saturation
Machine Learning
Stay tuned for more updates related to Popl 24 Guided Equality Saturation.
