HolStep
홈페이지 · 논문 10편
HolStep is a dataset based on higher-order logic (HOL) proofs, for the purpose of developing new machine learning-based theorem-proving strategies. Source: [HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving](/paper/holstep-a-machine-learning-dataset-for-higher)