TextCDL Generation on Formalgeo7k v2 (test)
99.1Recall
MLLM Interpreter
Updated 3d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.01 | 99.1 | 99.1 | |
2026.01 | 98.2 | 98.3 | |
2026.01 | 96.5 | - | |
2026.01 | 92.7 | 92.1 | |
2026.01 | 91 | 90.3 | |
2026.01 | 90.3 | - | |
2026.01 | 87 | - |
MLLM Interpreter
| Method | Links | ||
|---|---|---|---|
2026.01 | 99.1 | 99.1 | |
2026.01 | 98.2 | 98.3 | |
2026.01 | 96.5 | - | |
2026.01 | 92.7 | 92.1 | |
2026.01 | 91 | 90.3 | |
2026.01 | 90.3 | - | |
2026.01 | 87 | - |