Automated Theorem Proving on CoqGym (test)
30Success Rate
ASTactic + hammer
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2019.05 | 30 | |
2019.05 | 24.8 | |
2019.05 | 17.8 | |
2019.05 | 12.8 | |
2019.05 | 12.2 | |
2019.05 | 4.9 | |
2019.05 | 4.4 | |
2019.05 | 2.9 | |
2019.05 | 2.4 |
ASTactic + hammer
| Method | Links | |
|---|---|---|
2019.05 | 30 | |
2019.05 | 24.8 | |
2019.05 | 17.8 | |
2019.05 | 12.8 | |
2019.05 | 12.2 | |
2019.05 | 4.9 | |
2019.05 | 4.4 | |
2019.05 | 2.9 | |
2019.05 | 2.4 |