ProgramSearch

编写、执行、评估：使用 REPL 进行程序综合

https://papers.nips.cc/paper/9116-write-execute-assess-program-synthesis-with-a-repl

我们提出了一种神经程序综合方法，集成了编写、执行和评估代码的组件，以导航可能程序的搜索空间。我们为搜索过程配备了解释器或读取评估打印循环（REPL），它立即执行部分编写的程序，公开它们的语义。 REPL 解决了程序综合的一个基本挑战：语法的微小变化可能导致语义的巨大变化。我们训练一对模型，一个建议要编写的新代码的策略，以及一个评估迄今为止编写的代码前景的价值函数。在测试时，我们可以将这些模型与顺序蒙特卡罗算法结合起来。我们将我们的方法应用于两个领域：合成文本编辑程序和推断 2D 和 3D 图形程序。