Combining the top-down propagation and bottom-up enumeration for inductive program synthesis.

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

program synthesis
recursive programs
inductive logic programming
attention mechanism
visual attention
machine learning
high level
general purpose
inductive learning
figure ground segmentation
text classification
logic programming
figure ground
object based visual attention