进一步利用指令二元组缩小归纳式编程的搜索空间

May, 2023

进一步利用指令二元组缩小归纳式编程的搜索空间

Further Decimating the Inductive Programming Search Space with Instruction Digrams

Edward McDaid, Sarah McDaid

TL;DR通过考虑直接指令 - 指令应用作为搜索启发式的附加内容，本文将指令子集方法扩展到归纳编程中，分析了大量开源代码中指令二元组的频率分布，并证明指令二元组可以用于限制搜索期间的指令选择，从而显著减少搜索空间的大小，从而增加了使用基于搜索的归纳式编程技术生成程序的大小。

Abstract

Overlapping instruction subsets derived from human originated code have previously been shown to dramatically shrink the inductive programming search space, often by many orders of magnitude. Here we extend the instruct

inductive programming instruction subset instruction digram search space open source code

发现论文，激发创造

使用指令子集缩小归纳式程序搜索空间

通过预测给定问题所需的指令子集，本文构建了一种高度可行的编程语言指令共现模型，支持 Zoea 分布式归纳编程系统的搜索空间划分，可以并行探索搜索空间的不同部分，并显著减小搜索空间的总大小。

Feb, 2023

作为归纳编程的超级启发式方法的测试用例特征

使用测试用例类型签名作为超启发式算法，选择多个较小的指令子集家族，以进一步减小归纳编程搜索空间的大小。

Jun, 2024

ProgSG：电子设计自动化程序跨模态表示学习

该论文提出了一种名为 ProgSG 的方法，结合源代码序列模态和图模态，实现深入和精细的互动，以促进领域特定加速器（DSAs）的自动化设计并解决现有高级综合工具需要进行微体系结构决策的问题。

May, 2023

学习推理程序草图

本文介绍一种用于程序自动合成的方法，通过结合模式识别和显式推理来解决这些复杂的编程问题，同时使用新颖的中间表示和训练算法，使程序合成系统能够自学，从而在简单的英文描述编程问题数据集上取得了最先进的性能表现。

Feb, 2019

高维空间中的可微归纳逻辑编程

介绍了一种利用高维梯度下降和大规模谓词发明来实现基于归纳逻辑编程的合成的方法，该方法获得了超过现有神经符号逻辑编程系统成就的符号解。

Aug, 2022

多樣視頻演示生成程序

本文介绍一种可以从视频演示中提取概括性规则的模型，并探讨了其处理多个序列的能力，从而相较于传统的概括技术可以更好地利用边缘情况，并无需进行额外的过滤。通过在 Vizdoom 环境中合成程序的实验，取得了相对于现有工作的 11.75% 的程序准确性的提升。

Feb, 2023

指令归纳：从少量样本到自然语言任务描述

该研究论文证明使用 in-context learning 可让大型语言模型显式推断潜在任务，通过自然语言生成指令，InstructGPT 的表现达到了人类的 65.7％，建议指令感应可能是一种学习范例。

May, 2022

高层综合下的电子设计自动化的跨模态程序表示学习

通过深度和精细的方式，结合源代码序列模式和图模式的相互作用，自动预测高级综合设计的质量，并在设计空间探索任务中获得显著性能改进。

Jun, 2024

Ada-Instruct: 为复杂推理调整指令生成器

通过对开源 LLMs 进行微调，我们引入了 Ada-Instruct，一种自适应指令生成器。我们的结果表明，通过仅使用十个样本对开源 LLMs 进行微调，可以生成分布一致的长指令，用于复杂的推理任务。我们在不同的应用中进行了实证验证，包括代码补全、数学推理和常识推理，结果显示 Ada-Instruct 相对于基本模型、当前自我指导方法和其他最先进模型具有优势。

Oct, 2023

通过搜索梯度引导的基于草图的程序归纳

使用进化策略通过搜索梯度学习参数化程序，为程序归纳提供了一种解决方案，使其可在各种情境下应用。

Feb, 2024