GeoReform: Reflective Formalization Evolution for Multimodal Geometry Problem Solving
Multimodal large language models (MLLMs) often struggle to identify and use geometric relations in diagrams. Recent methods address this challenge by converting geometric entities, relations, and constraints into explicit textual representations for the model to reason over. However, effective formalization is highly non-trivial: on Geometry3K, structure injection fixes 28 errors but introduces…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
