Tasks
SotA
Datasets
Papers
Methods
Submit
About
Datasets
/
HolStep (Unconditional)
HolStep (Unconditional)
Benchmarks
Automated Theorem Proving
/
Classification Accuracy
Mathematical Proofs
/
Classification Accuracy
Related Benchmarks
HolStep (Conditional)
/
Automated Theorem Proving
/
Classification Accuracy
HolStep (Conditional)
/
Mathematical Proofs
/
Classification Accuracy