Papers › Learning Program Synthesis for Integer Sequences from Scratch

Learning Program Synthesis for Integer Sequences from Scratch

24 Feb 2022arXiv:2202.11908archive 2025-07-28

Thibault Gauthier, Josef Urban

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.

PaperPDFCode

In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.

Code

barakeel/oeis-synthesis officialmentioned in papermentioned on GitHubtfGPL-3.0 report
anonuser4213/oeis-synthesis officialmentioned in paperGPL-3.0 report
anon52mi4/oeis-alien mentioned on GitHub report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

Not run by Syntology. Nothing on this page verifies that the listed code works.

Tasks

Program SynthesisSelf-Learning

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Methods

Self-Learning

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections