摘要
视觉语言模型在解决几何问题时准确率虽提升，但其中间状态仍隐含且不可验证。现有基于渲染像素或一次性脚本的方法无法提供精确的几何保证。本文提出 Draw2Think 框架，将几何推理重构为与 GeoGebra 约束引擎的智能体交互。通过“提议 - 绘图 - 验证”循环，该框架将假设外化至可执行画布，测量精确几何量并反馈结构化观察结果，使后续推理基于经校验的状态。实验表明，该方法显著提升了构建忠实度、结果准确性及渲染得分。
AI 推荐理由
论文核心在于通过约束引擎交互增强几何推理，解决潜在状态不可验证问题。
研究机构
National University of Singapore, Singapore
Centre for Frontier AI Research, Agency for Science, Technology and Research, Singapore
Institute of High Performance Computing, Agency for Science, Technology and Research, Singapore
论文信息