解决的问题 大模型在多步几何推理中经常跳过合法约束过渡。 目标用户 关注中间表示与推理稳定性的研究团队。 核心能力 中间结构实验 提示策略对比 数据集评测闭环 当前阶段 持续评估符号过渡质量与过程可靠性。 近期路线 把稳定结论反馈到主线评测与产品系统。