Guided Equality Saturation Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer Last updated on Nov 23, 2023 PDF Cite DOI URL E-Graphs Equality Saturation Theorem Proving Optimizing Compilers