Program Synthesis in Saturation.

Petra Hozzová Laura Kovács Chase Norman Andrei Voronkov

Published in: CoRR (2024)

Keyphrases

program synthesis
inductive logic programming
recursive programs
domain knowledge
learning algorithm
search engine
database systems
relational databases
text classification