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 ProvingPaper | Code | Results | Date | Stars |
---|