2 ms·HolStep: A Machine Learning Dataset for Higher-Order Logic Theorem Proving1 points by seycombi 10y ago