Automated Theorem Proving
Benchmark-Liste
Alle Benchmarks für diese Aufgabe
compcert
Bestes Modell: Proverbot9001
Metriken
Details anzeigen
coqgym
Bestes Modell: ASTactic
Metriken
Details anzeigen
holstep-conditional
Bestes Modell: MPNN-DagLSTM
Metriken
Details anzeigen
holstep-unconditional
Bestes Modell: FormulaNet
Metriken
Details anzeigen
minif2f-test
Bestes Modell: ProofAug
Metriken
Details anzeigen
minif2f-valid
Bestes Modell: LEGO-Prover ChatGPT
Metriken
Details anzeigen
holist-benchmark
Metriken
Details anzeigen
metamath-set-mm
Metriken
Details anzeigen
minif2f-curriculum
Metriken
Details anzeigen