Browse > Computer Code > Program Synthesis

Program Synthesis

17 papers with code · Computer Code

State-of-the-art leaderboards

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

Latest papers with code

"Why did you do that?": Explaining black box models with Inductive Synthesis

17 Apr 2019UppsalaIM/rice

By their nature, the composition of black box models is opaque.

PROGRAM SYNTHESIS

2
17 Apr 2019

Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

26 Nov 2018ChristopherRosin/MAKESPEARE

We present MAKESPEARE, a simple delayed-acceptance hillclimbing method that synthesizes low-level looping programs from input/output examples.

PROGRAM SYNTHESIS

0
26 Nov 2018

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

19
12 Sep 2018

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.

GRAPH NEURAL NETWORK PROGRAM SYNTHESIS

54
08 Sep 2018

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

238
06 Jul 2018

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

71
01 Jul 2018

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

17
31 Mar 2018

Recent Advances in Neural Program Synthesis

7 Feb 2018qu-arx/arx-inf

In recent years, deep learning has made tremendous progress in a number of fields that were previously out of reach for artificial intelligence.

OBJECT RECOGNITION PROGRAM SYNTHESIS

1
07 Feb 2018

Neural Program Synthesis with Priority Queue Training

10 Jan 2018tensorflow/models

Models and examples built with TensorFlow

PROGRAM SYNTHESIS

58,515
10 Jan 2018

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

14
20 Nov 2017