Neural Program Meta-Induction

TL;DR

This paper introduces two transfer learning methods for neural program induction to improve data efficiency, demonstrating significant performance gains on a new Karel programming benchmark, especially in low-data scenarios.

Contribution

It proposes portfolio adaptation and meta program induction approaches, advancing neural program induction by enabling effective knowledge transfer across tasks with limited data.

Findings

Meta induction excels with fewer than ten examples.

Portfolio adaptation performs best with large datasets.

Combined approach yields strongest results in intermediate data regimes.

Abstract

Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output mapping. This paper aims to address the problem of data and computation efficiency of program induction by leveraging information from related tasks. Specifically, we propose two approaches for cross-task knowledge transfer to improve program induction in limited-data scenarios. In our first proposal, portfolio adaptation, a set of induction models is pretrained on a set of related tasks, and the best model is adapted towards the new task using transfer learning. In our second approach, meta program induction, a $k$-shot learning approach is used to make a model generalize to new tasks without additional training. To test the efficacy of our methods, we constructed a new benchmark of programs written in the Karel programming language. Using an extensive experimental evaluation on the Karel benchmark, we demonstrate that our proposals dramatically outperform the baseline induction method that does not use knowledge transfer. We also analyze the relative performance of the two approaches and study conditions in which they perform best. In particular, meta induction outperforms all existing approaches under extreme data sparsity (when a very small number of examples are available), i.e., fewer than ten. As the number of available I/O examples increase (i.e. a thousand or more), portfolio adapted program induction becomes the best approach. For intermediate data sizes, we demonstrate that the combined method of adapted meta program induction has the strongest performance.