Formal Theorem Proving on ProofNet (test)
44.62Pass@1
ProofSketcher
Updated 12d 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 | - | ||
2026.05 | - | - | 13.6 | |
2026.05 | - | - | 14.5 | |
2026.05 | - | - | 15.6 | |
2026.05 | - | - | 16.8 | |
2026.05 | - | - | 21.9 | |
2026.05 | - | - | 23.1 | |
| - | - | 21.9 | ||
| - | - | 23.2 |