解決的問題 大型模型在多步幾何推理中常跳過合法約束過渡。 目標用戶 關注中間表示與推理穩定性的研究團隊。 核心能力 中間結構實驗 提示策略對比 數據集評測閉環 當前階段 持續評估符號過渡品質與過程可靠性。 近期路線 把穩定結論回饋到主線評測與產品系統。