TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving

Understand

Geometric problem solving (GPS) requires precise multimodal understanding and rigorous, step-by-step logical reasoning.

• However, developing capable Multimodal Large Language Models (MLLMs) for GPS is heavily bottlenecked by the scarcity of high-quality, verifiable data.
• Existing data acquisition paradigms either suffer from modality incompleteness and unverified logical gaps ("leaps-of-faith"), or rely on formal engines that generate rigid, structurally homogeneous data, failing to produce high-difficulty problems or foster genuine natural-language reasoning.
• To overcome these limitations, we introduce TrustGeoGen, an autonomous and formalized geometric data generation engine.