QSynt: Program Synthesis for Integer Sequences


Propose a sequence of integers:


Timeout (maximum 300s)


Generated integers (maximum 100)


Polynomial normalization (0 = false, 1 = true)



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
6 7 9 13 21
0 1 3 6 10 15
7 22 11 34 17 52 26 13
1 2 1 3 1 2 1 4 1 2 1 3 1 2 1 5
2 3 5 7 11 13 17 19 23 29
1 1 2 6 24 120
2 4 16 256
1 1 2 3 5 8 13 21
1 12 123 1234
1 1 2 1 2 3 1 2 3 4

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