Automated Theorem Proving On Coqgym
Metrics
Percentage correct
Results
Performance results of various models on this benchmark
| Paper Title | ||
|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |
0 of 1 row(s) selected.
Performance results of various models on this benchmark
| Paper Title | ||
|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |
Performance results of various models on this benchmark
| Paper Title | ||
|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |