A differentiable approach to inductive logic programming
Learning Knowledge Base Inference with Neural Theorem Provers