paper-with-me

홈 › Papers

Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

2018-09-12 · NeurIPS 2018 12 · Amit Zohar, Lior Wolf

We consider the problem of generating automatic code given sample input-output pairs. We train a neural network to map from the current state and the outputs to the program's next statement. The neural network optimizes multiple tasks concurrently: the next operation out of a set of high level commands, the operands of the next statement, and which variables can be dropped from memory. Using our method we are able to create programs that are more than twice as long as existing state-of-the-art solutions, while improving the success rate for comparable lengths, and cutting the run-time by two orders of magnitude. Our code, including an implementation of various literature baselines, is publicly available at https://github.com/amitz25/PCCoder

📄 PDF Abstract BibTeX arXiv:1809.04682

Code (1)

amitz25/PCCoder 공식 구현 pytorch

Tasks

Program Synthesis

Similar Papers 제목 키워드 기반

Hierarchical Neural Program Synthesis

2023-03-09 · Linghan Zhong, Ryan Lindeborg, Jesse Zhang, Joseph J. Lim 외

Program synthesis aims to automatically construct human-readable programs that satisfy given task specifications, such as input/output pairs or demonstrations. Recent works have demonstrated encouraging results in a vari…

DecoderProgram Synthesis

Latent Execution for Neural Program Synthesis

2021-06-29 · NeurIPS 2021 12 · Xinyun Chen, Dawn Song, Yuandong Tian

Program synthesis from input-output (IO) examples has been a long-standing challenge. While recent works demonstrated limited success on domain-specific languages (DSL), it remains highly challenging to apply them to rea…

C++ codeProgram Synthesis

Program Synthesis from Visual Specification

2018-06-04 · Evan Hernandez, Ara Vartanian, Xiaojin Zhu

Program synthesis is the process of automatically translating a specification into computer code. Traditional synthesis settings require a formal, precise specification. Motivated by computer education applications where…

Program Synthesis

Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages

2021-05-21 · NeurIPS 2021 12 · Xinyun Chen, Dawn Song, Yuandong Tian

Program synthesis from input-output (IO) examples has been a long-standing challenge. While recent works demonstrated limited success on domain-specific languages (DSL), it remains highly challenging to apply them to rea…

C++ codeProgram Synthesis

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

2019-07-14 · Feras A. Saad, Marco F. Cusumano-Towner, Ulrich Schaechtle, Martin C. Rinard 외

We present new techniques for automatically constructing probabilistic programs for data analysis, interpretation, and prediction. These techniques work with probabilistic domain-specific data modeling languages that cap…

Bayesian InferenceProbabilistic ProgrammingTime SeriesTime Series Analysis