HolStep: a Machine Learning Dataset for Higher-Order Logic Theorem Proving

   Abstract