Program Synthesis from Graded Types.

Jack Hughes Dominic Orchard

Published in: ESOP (1) (2024)

Keyphrases

program synthesis
recursive programs
inductive logic programming
data sets
databases
machine learning
information retrieval
neural network
decision trees
text classification
learning tasks