Browse > Computer Code > Program Synthesis

Program Synthesis

21 papers with code · Computer Code

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

Models and examples built with TensorFlow

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

Novel positional encodings to enable tree-based transformers

NeurIPS 2019 microsoft/icecaps

Neural models optimized for tree-based problems are of great value in tasks like SQL query extraction and program synthesis.

PROGRAM SYNTHESIS SEMANTIC PARSING

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

DeepCoder: Learning to Write Programs

7 Nov 2016HiroakiMikami/deep-coder

We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning.

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