Guoliang He, Zak Singh, Eiko Yoneki. MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder. In Eiko Yoneki, Luigi Nardi, editors, Proceedings of the 3rd Workshop on Machine Learning and Systems, EuroMLSys 2023, Rome, Italy, 8 May 2023. pages 26-33, ACM, 2023. [doi]
Abstract is missing.