Pith. sign in

REVIEW

Learning Program Synthesis for Integer Sequences from Scratch

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 2202.11908 v3 pith:YM2M5COT submitted 2022-02-24 cs.AI cs.SC

classification cs.AIcs.SC
keywords sequencesintegerapproachbasicdiscoversencyclopediaexamplesguided
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We present a self-learning approach for synthesizing programs from integer sequences. Our method relies on a tree search guided by a learned policy. Our system is tested on the On-Line Encyclopedia of Integer Sequences. There, it discovers, on its own, solutions for 27987 sequences starting from basic operators and without human-written training examples.

Discussion (0). Sign in to comment.

Pith tools