抽象的
使用示例输入/输出的合成程序是人工智能中的经典问题。我们介绍了通过使用神经模型来通过使用神经模型来指导搜索名为MINIKANREN的约束逻辑编程系统的示例（PBE）问题进行求解编程的方法。至关重要的是，神经模型使用Minikannen的内部代表作为输入;Minikanren代表了PBE问题作为所提供的实施例所施加的递归约束。我们探索经常性的神经网络和图形神经网络模型。我们为修改后的Minikannen贡献，可通过外部代理驱动，可在此HTTPS URL中使用。我们表明，我们使用约束的神经引导方法可以在许多情况下更快地综合程序，重要的是，可以概括到更大的问题。
作者
丽莎张，格雷戈里·罗森布拉特，埃桑·弗培塔，雷杰廖，威廉e.byrd，马修可能，拉奎尔乌特萨苏，理查德Zemel.
会议
Neurips 2018.
全文
优步阿格
注释