Learning Program Synthesis for Integer Sequences from Scratch
Thibault Gauthier, Josef Urban
2023Year
12Citations
1Top-tier citations
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers1
Ask how each one uses itBuilds on1
Related papers
- CrossBeam: Learning to Search in Bottom-Up Program SynthesisKensen Shi, Hanjun Dai, Kevin Ellis, Charles SuttonICLR 2022 · 28 citations
- BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided ExplorationAugustus Odena, Kensen Shi, David Bieber, Rishabh Singh et al.ICLR 2021 · 60 citations
- Reinforcement Learning and Data-Generation for Syntax-Guided SynthesisJulian Parsert, Elizabeth PolgreenAAAI 2024 · 7 citations
- Learning Logic Programs by Discovering Where Not to SearchAndrew Cropper, Céline HocquetteAAAI 2023 · 3 citations
- Progressive Self-Learning for Domain Adaptation on Symbolic Regression of Integer SequencesYaohui Zhu, Kaiming Sun, Zhengdong Luo, Lingfeng WangAAAI 2025
