HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
Reasoning With Neural Tensor Networks for Knowledge Base Completion