Mar, 2023

MCTS-GEB: 蒙特卡洛树搜索是一种好的 E 图构建器

TL;DR提出了一种名为 MCTS-GEB 的重写系统,该系统应用了强化学习并使用蒙特卡罗树搜索来规划最佳的 e-graph 构建路径,从而消除构建阶段中的相位排序问题,并在合理的时间内取得更好的性能,实验结果表明 MCTS-GEB 可以比现有的重写系统获得高达 49 倍的优化性能,是未来重写系统的一个有前途的构建单元。