Formal Theorem Proving on ProofNet (test)
44.62Pass@1
ProofSketcher
Updated 9d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 44.62 | - | |
2026.04 | 37.1 | - | |
2025.10 | 25.81 | - | |
2025.10 | 22.58 | - | |
2025.10 | 19.5 | - | |
2025.10 | 18.8 | - | |
2025.10 | 18.2 | - | |
2025.10 | 15.47 | - | |
2025.03 | 15.3 | - | |
2025.03 | 14.4 | - | |
2026.04 | 13.98 | - | |
2025.03 | 13.8 | - | |
2024.08 | - | 15.6 | |
2024.08 | - | 23.7 | |
2024.08 | - | 23.7 | |
| - | 25.8 | ||
| - | 25.3 |