Towards Neural Theorem Proving at Scale Anonymous
End-to-end Differentiable Proving