Browse > Computer Code > Program Synthesis

Program Synthesis

22 papers with code · Computer Code

Leaderboards

You can find evaluation results in the subtasks. You can also submitting evaluation metrics for this task.

Latest papers with code

Learning Compositional Rules via Neural Program Synthesis

12 Mar 2020mtensor/rulesynthesis

Many aspects of human reasoning, including language, require learning rules from very little data.

META-LEARNING PROGRAM SYNTHESIS

17
12 Mar 2020

Guiding Program Synthesis by Learning to Generate Examples

ICLR 2020 eth-sri/guiding-synthesizers

A key challenge of existing program synthesizers is ensuring that the synthesized program generalizes well.

PROGRAM SYNTHESIS

2
01 Jan 2020

Adaptive Correlated Monte Carlo for Contextual Categorical Sequence Generation

ICLR 2020 xinjiefan/ACMC_ICLR

To stabilize this method, we adapt to contextual generation of categorical sequences a policy gradient estimator, which evaluates a set of correlated Monte Carlo (MC) rollouts for variance control.

IMAGE CAPTIONING PROGRAM SYNTHESIS

3
31 Dec 2019

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

222
01 Dec 2019

Program Synthesis and Semantic Parsing with Learned Code Idioms

NeurIPS 2019 rshin/seq2struct

Program synthesis of general-purpose source code from natural language specifications is challenging due to the need to reason about high-level patterns in the target program and low-level implementation details at the same time.

CODE GENERATION PROGRAM SYNTHESIS SEMANTIC PARSING

15
01 Dec 2019

"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

3
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

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

PROGRAM SYNTHESIS

61
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

282
06 Jul 2018