Automated Theorem Proving On Coqgym
Metriken
Percentage correct
Ergebnisse
Leistungsergebnisse verschiedener Modelle zu diesem Benchmark
Modellname | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants | - |
0 of 1 row(s) selected.