Going Bananas! - Unfolding Program Synthesis with Origami.

Matheus Campos Fernandes Fabrício Olivetti de França Emilio Francesquini

Published in: CoRR (2024)

Keyphrases

program synthesis
petri net
recursive programs
inductive logic programming
database
databases
general purpose
relational learning
decision trees
learning algorithm
machine learning algorithms
information retrieval
first order logic