AAAI 2023technical7 citations

Learning Program Synthesis for Integer Sequences from Scratch

Thibault Gauthier, Josef Urban

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.

BibTeX
@article{Gauthier_Urban_2023, title={Learning Program Synthesis for Integer Sequences from Scratch}, volume={37}, url={https://ojs.aaai.org/index.php/AAAI/article/view/25930}, DOI={10.1609/aaai.v37i6.25930}, abstractNote={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.}, number={6}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Gauthier, Thibault and Urban, Josef}, year={2023}, month={Jun.}, pages={7670-7677} }