GeoReform：多模态几何问题解决的反射形式化演化

多模态大语言模型 (MLLM) 通常难以识别和使用图表中的几何关系。最近的方法通过将几何实体、关系和约束转换为显式文本表示以供模型进行推理来解决这一挑战。然而，有效的形式化非常重要：在 Geometry3K 上，结构注入修复了 28 个错误，但在 200 个示例中引入了 13 个新错误。冗余关系可能会分散模型的注意力，而对图元素的模糊引用可能会导致模型错误地应用约束。这表明关键的挑战不仅仅是提取更多的几何事实，而是将它们组织成支持下游推理的表示形式。为了充分利用形式化的力量，我们进一步提出了 GeoReform，一种反射式形式化演化框架，它将形式化视为可优化的策略而不是固定的解析器输出。 GeoReform 执行完整的推理管道，收集失败的部署，诊断当前表示中的缺陷，并改变策略以更好地选择， 地面、分组和呈现几何实体、关系、约束和目标。在 Geometry3K 上，GeoReform 将 Qwen3VL-2B 的精度从 42.0% 提高到 56.0%。跨几何推理基准的广泛实验和分析表明，有效的形式化对于改进多模态几何推理至关重要。