Browse > Computer Code > Program Synthesis

Program Synthesis

12 papers with code · Computer Code

State-of-the-art leaderboards

No evaluation results yet. Help compare methods by submit evaluation metrics.

Greatest papers with code

Neural Program Synthesis with Priority Queue Training

10 Jan 2018tensorflow/models

We consider the task of program synthesis in the presence of a reward function over the output of programs, where the goal is to find programs with maximal rewards. By adding a program length penalty to the reward function, we are able to synthesize short, human readable programs.


Memory Augmented Policy Optimization for Program Synthesis and Semantic Parsing

NeurIPS 2018 crazydonkey200/neural-symbolic-machines

We present Memory Augmented Policy Optimization (MAPO), a simple and novel way to leverage a memory buffer of promising trajectories to reduce the variance of policy gradient estimate. MAPO is applicable to deterministic environments with discrete actions, such as structured prediction and combinatorial optimization tasks.


Neural Guided Constraint Logic Programming for Program Synthesis

NeurIPS 2018 xuexue/neuralkanren

Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a constraint logic programming system called miniKanren.


Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

NeurIPS 2018 amitz25/PCCoder

We consider the problem of generating automatic code given sample input-output pairs. We train a neural network to map from the current state and the outputs to the program's next statement.


HOUDINI: Lifelong Learning as Program Synthesis

NeurIPS 2018 capergroup/houdini

We present a neurosymbolic framework for the lifelong learning of algorithmic tasks that mix perception and procedural reasoning. Reusing high-level concepts across domains and learning complex procedures are key challenges in lifelong learning.


RobustFill: Neural Program Learning under Noisy I/O

ICML 2017 amitz25/PCCoder

The problem of automatically generating a computer program from some specification has been studied since the early days of AI. Recently, two competing approaches for automatic program learning have received significant attention: (1) neural program synthesis, where a neural network is conditioned on input/output (I/O) examples and learns to generate a program, and (2) neural program induction, where a neural network generates new outputs directly using a latent program representation.


Differentiable Functional Program Interpreters

7 Nov 2016ethancaballero/neural-engineers-first-attempt

Recent work on differentiable interpreters relaxes the discrete space of programs into a continuous space so that search over programs can be performed using gradient-based optimization. In this work, we study modeling choices that arise when constructing a differentiable programming language and their impact on the success of synthesis.


Selecting Representative Examples for Program Synthesis

ICML 2018 evanthebouncy/icml2018_selecting_representative_examples

Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, mapping the inputs to their corresponding outputs exactly. Due to its precise and combinatorial nature, program synthesis is commonly formulated as a constraint satisfaction problem, where input-output examples are encoded as constraints and solved with a constraint solver.


P-Tree Programming

12 Jul 2017coesch/ptree

From this prototype tree we form program instances which we evaluate on a given problem. The algorithm can be employed for most of the typical computational intelligence tasks such as classification, automatic program induction, and symbolic regression.


Learning to Infer Graphics Programs from Hand-Drawn Images

ICLR 2018 azarafrooz/LSTM-program-synthesis

These drawing primitives are like a trace of the set of primitive commands issued by a graphics program. We learn a model that uses program synthesis techniques to recover a graphics program from that trace.