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

8 March 2023

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

4 / 4 papers shown

Title
Automated Strategy Invention for Confluence of Term Rewrite Systems Liao Zhang Fabian Mitterwallner Jan Jakubuv C. Kaliszyk 19 0 0 10 Nov 2024
Learning Evolving Tools for Large Language Models Guoxin Chen Zhong Zhang Xin Cong Fangda Guo Yesai Wu Yankai Lin Wenzheng Feng Yasheng Wang KELM 52 1 0 09 Oct 2024
Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search Jakob Hartmann Guoliang He Eiko Yoneki 22 0 0 07 Oct 2024
Equality Saturation for Tensor Graph Superoptimization Yichen Yang Mangpo Phitchaya Phothilimtha Y. Wang Max Willsey Sudip Roy Jacques Pienaar 38 80 0 05 Jan 2021