Browse > Computer Code > Program Synthesis

Program Synthesis

14 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.

PROGRAM SYNTHESIS

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.

COMBINATORIAL OPTIMIZATION PROGRAM SYNTHESIS SEMANTIC PARSING STRUCTURED PREDICTION

Neural Program Synthesis from Diverse Demonstration Videos

ICML 2018 shaohua0116/demo2program

To empower machines with this ability, we propose a neural program synthesizer that is able to explicitly synthesize underlying programs from behaviorally diverse and visually complicated demonstration videos.

DECISION MAKING PROGRAM SYNTHESIS

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.

PROGRAM SYNTHESIS

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.

PROGRAM SYNTHESIS TRANSFER LEARNING

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.

PROGRAM SYNTHESIS

RobustFill: Neural Program Learning under Noisy I/O

ICML 2017 amitz25/PCCoder

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.

PROGRAM SYNTHESIS

Dynamic Neural Program Embedding for Program Repair

20 Nov 2017keowang/dynamic-program-embedding

Evaluation results show that our new semantic program embedding significantly outperforms the syntactic program embeddings based on token sequences and abstract syntax trees.

PROGRAM SYNTHESIS

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.

PROGRAM 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.

PROGRAM SYNTHESIS