ImgCDL Generation on Formalgeo7k v2 (test)
97RecallMLLM Interpreter
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| MLLM InterpreterTraining Dataset=Original Formalgeo7k v22026.01 | 97 | 97 | |
| MLLM InterpreterTraining Dataset=Formalgeo-Rec-CoT2026.01 | 97 | 96.9 | |
| Diagram Formalizer2026.01 | 92.9 | — | |
| FgeoParser (Diag.)Input type=Diagram2026.01 | 77.5 | — |