比较了自动程序学习的两种竞争方法,包括神经程序综合和神经程序归纳,同时将基于规则的程序综合作为对比,研究表明各种方法的实际效果与评价标准及最终应用息息相关;模型使用变量大小的 I/O 对的修改注意力 RNN 可以提高模型的准确率,并在真实世界数据的实验中表现出很强的鲁棒性。
Mar, 2017
提出一种神经网络引导的程序和不变量综合框架,其利用设计和训练神经网络提取出训练神经网络权重和偏置值上的整数逻辑公式,并用于正 / 反例和蕴含约束的公式合成,具有很好的实验结果,并在 ICE-learning-based CHC 求解、程序验证和归纳不变量合成等方面有重要应用。
Mar, 2021
本文提出了一种用自然语言描述和少量输入 / 输出样例来生成程序的算法,称之为神经程序搜索。该算法将深度学习和程序合成领域的方法结合起来,通过设计丰富的领域特定语言和根据 Seq2Tree 模型进行指导的高效搜索算法。通过一个半合成的描述和测试案例数据集对该方法的质量进行了评估,结果表明我们的算法明显优于基线的带注意力的序列到序列模型。
Feb, 2018
本文提出了一种可扩展的程序合成框架,通过层级组合程序实现程序合成,该框架可以从输入 / 输出对中合成比之前更长、更复杂的程序,并通过任务嵌入空间和程序解码器将任务嵌入解码为程序。
Mar, 2023
本文介绍了神经引导演绎搜索 (NGDS) 技术,应用于编写用户意图程序的问题,结合了符号逻辑技术和统计模型,通过演绎搜索框架来学习神经网络组件,以找到最适合提供的规范的程序,并在真实客户场景中验证其实用性。
Apr, 2018
本文旨在探索自动生成指定语言中的程序,依据输入输出行为生成程序,我们提出了一种新的方法来控制和评估合成数据分布的偏差,通过在 Karel 和小型计算器 DSL 上的实验表明,使用这些分布训练深度网络可以提高跨分布的泛化性能。
Dec, 2019
本文提出了一种使用神经网络在编程示例中选择信息性数据集的新方法,并在合成正则表达式任务上验证了该方法的有效性,相对于不选择信息性示例训练的模型,其性能提高了 23%(相对增长了 51%),并且与使用人类数据进行训练的监督学习模型的表现相当。
Nov, 2023
本文提出了一种 Neuro-Symbolic Program Synthesis 技术,通过计算机程序自动构建特定领域的语言。我们通过使用两种新颖的神经模型,交叉相关的 I/O 网络和递归反向递归神经网络,证明了该方法的有效性。
Nov, 2016
本文介绍一种用于程序自动合成的方法,通过结合模式识别和显式推理来解决这些复杂的编程问题,同时使用新颖的中间表示和训练算法,使程序合成系统能够自学,从而在简单的英文描述编程问题数据集上取得了最先进的性能表现。
Feb, 2019
本论文提出了一个用自然语言输入构造程序合成器的框架,其使用 NLP 特征和关键词编程翻译的排名学习最优权重和分类器来代替学习并使用各种领域特定语言,可以用于编辑、智能教育系统和飞行信息查询等多个领域。通过 1200 多个英语说明,各合成器为 80%和 90%的说明将期望的程序排名为最好的一个和三个。
Sep, 2015