Statement Autoformalisation on FormalPhysics corpus
100FV Score
FormalScience
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.04 | 100 | 73.5 | 72 | 72.5 | |
2026.04 | 52 | 1 | 10.5 | 6.5 | |
2026.04 | 51.5 | 6.5 | 10.5 | 9.5 | |
2026.04 | 31 | 73 | 72.5 | 73 | |
2026.04 | 23 | 6.5 | 9.5 | 8 | |
2026.04 | 17 | 82.5 | 82 | 82 | |
2026.04 | 14.5 | 79.5 | 76.5 | 77 | |
2026.04 | 13 | 23 | 27.5 | 24 | |
2026.04 | 7.5 | 70.5 | 77 | 79 | |
2026.04 | 5.5 | 49.5 | 59 | 48 | |
2026.04 | 4.5 | 68.5 | 73 | 72.5 | |
2026.04 | 4.5 | 17 | 23 | 23 | |
2026.04 | 1 | 15 | 24 | 20.5 | |
2026.04 | 1 | 16.5 | 23 | 19.5 |