Pasquale’s paper Learning Reasoning Strategies in End-to-End Differentiable Proving will appear at ICML 2020! We propose a neuro-symbolic reasoning model that can learn to dynamically select and generate rules conditioned on the goal during their reasoning process via gradient-based optimisation.