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 |
---|

No data loaders found. You can
submit your data loader here.