HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
Long Short Term Memory