BriefGPT.xyz
Feb, 2023
使用指令子集缩小归纳式程序搜索空间
Shrinking the Inductive Programming Search Space with Instruction Subsets
HTML
PDF
Edward McDaid, Sarah McDaid
TL;DR
通过预测给定问题所需的指令子集,本文构建了一种高度可行的编程语言指令共现模型,支持Zoea分布式归纳编程系统的搜索空间划分,可以并行探索搜索空间的不同部分,并显著减小搜索空间的总大小。
Abstract
inductive programming
frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of
inductive programming
to the production of relative
→