MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder

1 code implementation • 8 Mar 2023 • Guoliang He, Zak Singh, Eiko Yoneki

Rewrite systems [6, 10, 12] have been widely employing equality saturation [9], which is an optimisation methodology that uses a saturated e-graph to represent all possible sequences of rewrite simultaneously, and then extracts the optimal one.

graph construction Reinforcement Learning (RL)