形式化任务约束

几何约束智能体用于空间推理

Geometrically-Constrained Agent for Spatial Reasoning

把 VLM 从「直接输出几何答案」改为「先形式化出参考系与目标约束、再在约束内调用几何工具」，这一免训练的约束式智能体范式可直接迁移到视觉空间问答、具身导航与 3D 场景理解中的几何推理管线。