Pith. sign in

REVIEW 1 cited by

Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1809.04682 v2 pith:Q2IX3L6B submitted 2018-09-12 cs.LG cs.PLstat.ML

classification cs.LGcs.PLstat.ML
keywords nextautomaticcodelongnetworkneuralprogramprograms
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

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

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Learning Fitness Functions for Machine Programming

    cs.NE 2019-08 conditional novelty 6.0 of 10

    NetSyn uses a neural network to predict how close a candidate program is to the target program, guiding a genetic algorithm to synthesize programs from input-output examples more efficiently than existing methods.

Pith tools