Automated Theorem Proving
Benchmark List
All benchmarks related to this task
compcert
Best model: Proverbot9001
Metrics
View Details
coqgym
Best model: ASTactic
Metrics
View Details
holstep-conditional
Best model: MPNN-DagLSTM
Metrics
View Details
holstep-unconditional
Best model: FormulaNet
Metrics
View Details
minif2f-test
Best model: ProofAug
Metrics
View Details
minif2f-valid
Best model: LEGO-Prover ChatGPT
Metrics
View Details
holist-benchmark
Metrics
View Details
metamath-set-mm
Metrics
View Details
minif2f-curriculum
Metrics
View Details