HolStep (Conditional)

Benchmarks

Automated Theorem Proving/Classification Accuracy Mathematical Proofs/Classification Accuracy

Related Benchmarks

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