摘要
抽象思维和类比推理的能力是快速适应新环境、通过分解解决新问题以及综合知识以全面解决问题的先决条件。我们提出了 TransCoder,一种基于神经程序合成的抽象问题求解方法,并对所提出架构的生成模块做出了全面分析。TransCoder 的核心是类型化的领域特定语言,旨在促进特征工程和抽象推理。在训练过程中,我们使用未能解决任务的程序生成新任务并将其收集到一个合成数据集中。由于以这种方式创建的每个合成任务都有一个已知的关联程序(解决方案),因此模型在监督模式下对其进行训练。解决方案以透明的程序形式表示,可以检查和验证。我们使用抽象推理语料库数据集展示了 TransCoder 的性能,我们的框架为此生成了数万个带有对应解决方案的合成问题,并促进了学习的系统性进展。