PulseAugur
实时 16:38:05
English(EN) Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

新方法通过符号接口提升LLM几何推理能力

研究人员开发了新方法来提高大型语言模型(LLM)在几何问题推理方面的能力。一种方法使用符号中介将物理模拟器的数值输出转换为LLM可以解释的格式,从而增强了几何语义。另一种方法Hilbert-Geo引入了一个形式语言框架和Parse2Reason技术来解决复杂的实体几何问题,在基准测试中表现优于当前领先的LLM。 AI

影响 这些进展可能使LLM能够处理更复杂的工程和空间推理任务,从而可能加速机器人和设计等领域的进步。

排序理由 两篇介绍LLM几何推理新方法的论文。

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Jo\~ao Pedro Gandarela, Thiago Rios, Stefan Menzel, Andr\'e Freitas ·

    符号中介作为LLM驱动的几何推理的语言-数字接口

    arXiv:2505.17607v3 Announce Type: replace Abstract: Large Language Models (LLMs) display reasoning capabilities over linguistic and symbolic objects but have limited capabilities to directly interpret the continuous numerical outputs of physics simulators, e.g., distances, curvat…

  2. arXiv cs.AI TIER_1 English(EN) · Ruoran Xu, Haoyu Cheng, Bin Dong, Qiufeng Wang ·

    Hilbert-Geo:通过神经符号推理解决固体几何问题

    arXiv:2605.16385v2 Announce Type: replace-cross Abstract: Geometric problem solving, as a typical multimodal reasoning problem, has attracted much attention and made great progress recently, however most of works focus on plane geometry while usually fail in solid geometry due to…