★ 3
研究提出统一几何状态下的密集神经符号推理
论文提出密集神经符号耦合框架，让神经引导与符号执行共享类型化状态，在每步搜索中通过可执行动作通信。实例化为OmniGeo统一求解平面、解析与立体几何，配合Claude Sonnet 4.6在FormalGeo7K等基准达90.8%宏平均，并解出IMO-AG-30中的21/30题。
arXiv cs.AI27 天前
#几何推理
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
CADForge：单视图CAD重建的智能体框架
论文提出CADForge，一种智能体框架，将单视图图像逐步转换为可执行CadQuery程序。它把物体分解为CAD语义组件，进行显式几何推理，识别约束并转化为建模参数，配合审查智能体迭代优化。在多种单部件与多部件物体上，重建保真度与感知质量均优于现有基线。
arXiv cs.AI27 天前
★ 2
从符号感知到逻辑演绎：引导语言模型进行几何推理
论文提出一种引导纯 LLM 进行平面几何推理的框架，集成几何视觉解析器将图形转为符号形式，并配合符号求解器执行形式化演绎，从而减少幻觉并提升可解释性。作者基于 2025 年中国中考难题构建新基准，实验显示该方法性能可与 Gemini 2.5 Pro 媲美，同时给出更清晰、类人的解题过程。
arXiv cs.AI53 天前