2025
Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver
ICASSP 2025accepted
Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems, which require both linguistic and visual signals. As the vision encoders of most MLLMs are trained on natural scenes, they often struggle to understand geometric diagrams, performing no better in geo…