A Divide-Align-Conquer Strategy for Program Synthesis.

Jonas Witt Stef Rasing Sebastijan Dumancic Tias Guns Claus-Christian Carbon

Published in: CoRR (2023)

Keyphrases

program synthesis
recursive programs
search strategy
neural network
inductive logic programming
knowledge base
feature space
query processing