Login / Signup
Origami: (un)folding the Abstraction of Recursion Schemes for Program Synthesis.
Matheus Campos Fernandes
Fabrício Olivetti de França
Emilio Francesquini
Published in:
GPTP (2023)
Keyphrases
</>
program synthesis
recursive programs
high level
inductive logic programming
training data
knowledge representation
support vector machine
information extraction
wordnet
query optimization
deductive databases
protein folding