Automated Theorem Proving on FATE-M
98Pass Rate
AxProverBase
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.02 | 98 | |
2026.02 | 62.7 | |
2026.02 | 56.7 | |
2026.02 | 48.7 | |
2026.02 | 36 |
AxProverBase
| Method | Links | |
|---|---|---|
2026.02 | 98 | |
2026.02 | 62.7 | |
2026.02 | 56.7 | |
2026.02 | 48.7 | |
2026.02 | 36 |