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

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

Neural Program Synthesis By Self-Learning

ICLR 2020

Neural inductive program synthesis is a task generating instructions that can produce desired outputs from given inputs.

PROGRAM SYNTHESIS

Natural- to formal-language generation using Tensor Product Representations

ICLR 2020

Generating formal-language represented by relational tuples, such as Lisp programs or mathematical expressions, from a natural-language input is an extremely challenging task because it requires to explicitly capture discrete symbolic structural information from the input to generate the output.

PROGRAM SYNTHESIS TEXT GENERATION

Guiding Program Synthesis by Learning to Generate Examples

ICLR 2020

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

PROGRAM SYNTHESIS

Neural Program Synthesis By Self-Learning

13 Oct 2019

Neural inductive program synthesis is a task generating instructions that can produce desired outputs from given inputs.

PROGRAM SYNTHESIS

Natural- to formal-language generation using Tensor Product Representations

5 Oct 2019

Generating formal-language represented by relational tuples, such as Lisp programs or mathematical expressions, from a natural-language input is an extremely challenging task because it requires to explicitly capture discrete symbolic structural information from the input to generate the output.

PROGRAM SYNTHESIS TEXT GENERATION

Making sense of sensory input

5 Oct 2019

This is notable because our system is not a bespoke system designed specifically to solve IQ tasks, but a general purpose apperception system that was designed to make sense of any sensory sequence.

PROGRAM SYNTHESIS

Synthesizing Action Sequences for Modifying Model Decisions

30 Sep 2019

When a model makes a consequential decision, e. g., denying someone a loan, it needs to additionally generate actionable, realistic feedback on what the person can do to favorably change the decision.

PROGRAM SYNTHESIS

Learning Fitness Functions for Genetic Algorithms

22 Aug 2019

For the purpose of simplicity, we limit the demonstration of this technique to automatic software program generation.

PROGRAM SYNTHESIS

Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning

11 Jul 2019

We present Imitation-Projected Policy Gradient (IPPG), an algorithmic framework for learning policies that are parsimoniously represented in a structured programming language.

CONTINUOUS CONTROL IMITATION LEARNING PROGRAM SYNTHESIS