Towards Neural Theorem Proving at Scale Anonymous
Representation Learning: A Review and New Perspectives