QSynt: Program Synthesis for Integer Sequences


Propose a sequence of integers:


Timeout (maximum 250s)


Generated integers (maximum 100)



A few sequences you can try:

0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1
0 1 4 9 16 21 25 28 36 37 49
0 1 3 6 10 15
2 3 5 7 11 13 17 19 23 29 31 37 41 43
1 1 2 6 24 120
2 4 16 256
1 1 2 3 5 8 13 21 34 55 89 144 233

A previous version of our system sometimes find solutions that the current version cannot find.

Github repository

Related projects:

Sequence Machine: Machine generated conjectures and number sequences
LODA: An assembly language, a computational model, and a distributed tool for mining programs
Superseeker: An automatic email server for identifying integer sequences provided by the OEIS