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 without code

Graph-based, Self-Supervised Program Repair from Diagnostic Feedback

20 May 2020

Second, we present a self-supervised learning paradigm for program repair that leverages unlabeled programs available online to create a large amount of extra program repair examples, which we use to pre-train our models.

PROGRAM SYNTHESIS SELF-SUPERVISED LEARNING

Learning large logic programs by going beyond entailment

21 Apr 2020

We argue that a key limitation of existing systems is that they use entailment to guide the hypothesis search.

PROGRAM SYNTHESIS

Creating Synthetic Datasets via Evolution for Neural Program Synthesis

23 Mar 2020

Program synthesis is the task of automatically generating a program consistent with a given specification.

PROGRAM SYNTHESIS

TF-Coder: Program Synthesis for Tensor Manipulations

19 Mar 2020

The success and popularity of deep learning is on the rise, partially due to powerful deep learning frameworks such as TensorFlow and PyTorch that make it easier to develop deep learning models.

PROGRAM SYNTHESIS

Incremental Sampling Without Replacement for Sequence Models

21 Feb 2020

Sampling is a fundamental technique, and sampling without replacement is often desirable when duplicate samples are not beneficial.

COMBINATORIAL OPTIMIZATION PROGRAM SYNTHESIS

Evaluating Sequence-to-Sequence Learning Models for If-Then Program Synthesis

10 Feb 2020

Implementing enterprise process automation often requires significant technical expertise and engineering effort.

PROGRAM SYNTHESIS

Unsupervised Program Synthesis for Images using Tree-Structured LSTM

27 Jan 2020

Program synthesis has recently emerged as a promising approach to the image parsing task.

PROGRAM SYNTHESIS

CounterExample Guided Neural Synthesis

25 Jan 2020

Program synthesis is the generation of a program from a specification.

PROGRAM SYNTHESIS

Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings

24 Jan 2020

Neural approaches to program synthesis and understanding have proliferated widely in the last few years; at the same time graph based neural networks have become a promising new tool.

PROGRAM SYNTHESIS

ADAPTIVE GENERATION OF PROGRAMMING PUZZLES

ICLR 2020

Puzzles are objective in that one can easily test the correctness of a given solution x by seeing whether it satisfies f, unlike the most common representations for program synthesis: given input-output pairs or an English problem description, the correctness of a given solution is not determined and is debatable.

PROGRAM SYNTHESIS