神经重写器 此仓库提供了重复本文中的实验的代码 Chen Xinyun Chen，Tian Yuandong Tian，学习为组合优化执行局部重写，在NeurIPS 2019中。 纸[ ] 先决条件 任务 表达式简化 为了简化表达式，给定一个初始表达式（在Halide中用于我们的评估），目标是找到一个等效的表达式，该表达式经过简化（例如，具有较短的长度）。 表现 我们将我们的方法（NeuRewriter）与以下基准进行比较： Z3简化[1]：Z3中实施的策略，该策略执行基于规则的重写。