HolStep: A Machine Learning Dataset for Higher-Order Logic Theorem Provingopenreview.net1 pointseycombi9 years ago