TextCDL Generation on Formalgeo7k v2 (test)
99.1RecallMLLM Interpreter
Evaluation results
| Method | Links | ||
|---|---|---|---|
| MLLM InterpreterTraining Dataset=Formalgeo-Rec-CoT2026.01 | 99.1 | 99.1 | |
| MLLM InterpreterTraining Dataset=Original Formalgeo7k v22026.01 | 98.2 | 98.3 | |
| FgeoParser (Text)Input type=Text2026.01 | 96.5 | — | |
| MLLM InterpreterTraining Dataset=Formalgeo-Rec-CoT2026.01 | 92.7 | 92.1 | |
| MLLM InterpreterTraining Dataset=Original Formalgeo7k v22026.01 | 91 | 90.3 | |
| Diagram Formalizer2026.01 | 90.3 | — | |
| FgeoParser (Diag.)Input type=Diagram2026.01 | 87 | — |