statewalk DP：含副作用 E-graph 的高效提取算法

Oliver Flatt 等作者发表论文，提出 statewalk DP 提取算法，用于含副作用的 E-graph，无需外部求解器即可强制副作用顺序。作者称，在基准测试中该算法比 ILP 提取快一个数量级，生成程序与 LLVM 相当。 该算法针对的是 E-graph 提取中副作用顺序难以高效处理的问题；上述速度与生成质量均为论文报告的结果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。