Feb 24, 2022 · We present a self-learning approach for synthesizing programs from integer sequences. Our method relies on a tree search guided by a learned policy.

Oct 24, 2023 · OEIS sequence. 0;1;3;6;10;15;:::;1431. An undesirable large program if x = 0 then 0 else if x = 1 then 1 else if x = 2 then 3 else.

This repository contains the software QSynt accompanying the paper "Learning Program Synthesis for Integer Sequences from Scratch".

We present a self-learning approach to synthesize programs for integer sequences. Our method relies on a tree search equipped with a semantic quotient ...

Program Synthesis for the OEIS: Paper and Code. We present a self-learning approach to synthesize programs for integer sequences.

Here is how our self-learning approach creates programs for OEIS sequences. Its self-learning loop consists of two alternating phases: a search phase and a ...

Initially, multiple searches are randomly building programs that gen- erate integer sequences and checking if they are in the OEIS. Then, for each generated ...

Recent advances in program synthesis have shown success with methods that employ supervised learning on synthetic data generated from domain specific.

We present improvements for a self-learning algorithm for synthesizing programs for integer sequences. It discovers on its own programs for more than 90,000 ...