arXiv:2408.12212v2 通知类型: 替换 摘要: 我们介绍了程序合成的一种关系方法。关键思想是将合成任务分解为更简单的关系合成子任务。具体而言，我们的表示将训练输入-输出示例分解为输入和输出事实的集合。然后，我们学习输入和输出事实之间的关系。我们使用一个现成的归纳逻辑编程(ILP)系统在四个具有挑战性的合成数据集上演示了我们的方法。我们的结果显示：(i) 我们的表示可以优于标准表示，(ii) 使用我们表示的现成ILP系统可以优于领域特定的方法。