Differentiable Inductive Logic Programming in High-Dimensional Space.

Adversarial Learning to Reason in an Arbitrary Logic.

Learning Higher-Order Programs without Meta-Interpretive Learning.

Deep Learning for Automated Theorem Proving - Extended Abstract.