Scaling up Program Synthesis to Efficient Algorithms.

Published in: SPLASH Companion (2023)

Keyphrases

program synthesis
recursive programs
instance selection
inductive logic programming
databases
expert systems
prior knowledge
high level
database systems
pairwise
wordnet
relational learning
learning algorithm
decision trees
keywords