Formal theorem proving on PhysLeanData (test)
58.8Classical Score
PhysProver
Updated 4d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.01 | 58.8 | 26.9 | 39.3 | 26.8 | 36.4 | |
2026.01 | 54.9 | 23.9 | 37.7 | 25.4 | 34 | |
2026.01 | 52.9 | 19.4 | 29.5 | 39.4 | 34.4 | |
2026.01 | 49 | 19.4 | 34.4 | 28.2 | 31.6 | |
2026.01 | 37.3 | 13.4 | 21.3 | 35.2 | 26.4 | |
2026.01 | 35.3 | 14.9 | 29.5 | 22.5 | 24.8 |