Exploring Popl 24 Guided Equality Saturation
Exploring Popl 24 Guided Equality Saturation reveals several interesting facts.
- Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner Presented at
- Incremental
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
- Equality Saturation
- Thomas Koehler present "
In-Depth Information on Popl 24 Guided Equality Saturation
Guided Equality Saturation To bridge this gap, this paper proposes \textit{LLM- Max Willsey (University of Washington, USA) Yisu Remy Wang (University of Washington) Oliver Flatt (University of Utah) Zachary ... Machine Learning
[
Stay tuned for more updates related to Popl 24 Guided Equality Saturation.
