Program Synthesis for the OEIS.

Thibault Gauthier

Published in: CoRR (2022)

Keyphrases

program synthesis
recursive programs
inductive logic programming
machine learning
database
pairwise
general purpose
decision trees
high level
data model
co occurrence
logic programming
machine learning algorithms
cellular automata
development process
knowledge base
information retrieval