Pith. sign in

REVIEW

Alien Coding

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 2301.11479 v2 pith:WJ3HEGMO submitted 2023-01-27 cs.AI cs.LGcs.LOcs.NEmath.NT

classification cs.AIcs.LGcs.LOcs.NEmath.NT
keywords programsalgorithmoeissequencesmachinemanyneuralself-learning
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We introduce a self-learning algorithm for synthesizing programs for OEIS sequences. The algorithm starts from scratch initially generating programs at random. Then it runs many iterations of a self-learning loop that interleaves (i) training neural machine translation to learn the correspondence between sequences and the programs discovered so far, and (ii) proposing many new programs for each OEIS sequence by the trained neural machine translator. The algorithm discovers on its own programs for more than 78000 OEIS sequences, sometimes developing unusual programming methods. We analyze its behavior and the invented programs in several experiments.

Discussion (0). Sign in to comment.

Pith tools