HolStep

BSD-3-Clause

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

Related Benchmarks

HolStep (Conditional)/Automated Theorem Proving/Classification Accuracy HolStep (Conditional)/Mathematical Proofs/Classification Accuracy HolStep (Unconditional)/Automated Theorem Proving/Classification Accuracy HolStep (Unconditional)/Mathematical Proofs/Classification Accuracy