Learning Neural Programs To Parse Programs

06/05/2017
by   Xinyun Chen, et al.
0

In this work, we study an important problem: learning programs from input-output examples. We propose a novel method to learn a neural program operating a domain-specific non-differentiable machine, and demonstrate that this method can be applied to learn programs that are significantly more complex than the ones synthesized before: programming language parsers from input-output pairs without knowing the underlying grammar. The main challenge is to train the neural program without supervision on execution traces. To tackle it, we propose: (1) LL machines and neural programs operating them to effectively regularize the space of the learned programs; and (2) a two-phase reinforcement learning-based search technique to train the model. Our evaluation demonstrates that our approach can successfully learn to parse programs in both an imperative language and a functional language, and achieve 100 is the first successful demonstration of applying reinforcement learning to train a neural program operating a non-differentiable machine that can fully generalize to test sets on a non-trivial task.

READ FULL TEXT

page 18

page 19

research
06/29/2021

Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages

Program synthesis from input-output examples has been a long-standing ch...
research
11/26/2018

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Inductive program synthesis, from input/output examples, can provide an ...
research
11/26/2019

Experiments with a PCCoder extension

Recent research in synthesis of programs written in some Domain Specific...
research
09/01/2021

Learning compositional programs with arguments and sampling

One of the most challenging goals in designing intelligent systems is em...
research
07/07/2020

Strong Generalization and Efficiency in Neural Programs

We study the problem of learning efficient algorithms that strongly gene...
research
05/30/2019

Learning Compositional Neural Programs with Recursive Tree Search and Planning

We propose a novel reinforcement learning algorithm, AlphaNPI, that inco...
research
05/21/2016

Programming with a Differentiable Forth Interpreter

Given that in practice training data is scarce for all but a small set o...

Please sign up or login with your details

Forgot password? Click here to reset