arXiv:2511.19078cs.CLcs.AI2025-11被引 2

用动态图结构增强大模型的多步推理能力

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

  • 将推理过程建模为可演化的异构图,节点表示条件、定理和结论
  • 在多个问答数据集上显著优于基线方法,提升多步推理准确率
  • 适合需要可解释性推理的数学证明与复杂问题求解场景

大语言模型在自然语言理解与生成方面展现出强大能力,包括多步推理(如数学证明)。然而,现有方法往往缺乏显式且动态的机制来结构化表示和演化中间推理状态,限制了其进行上下文感知的定理选择与迭代结论生成的能力。为此,我们提出GraphMind,一种新颖的基于动态图的框架,将图神经网络(GNN)与大语言模型结合,用于多步推理中迭代选择定理并生成中间结论。该方法将推理过程建模为异构演化图,其中节点代表条件、定理和结论,边表示节点间的逻辑依赖关系。通过使用GNN编码当前推理状态,并利用语义匹配进行定理选择,框架实现了上下文感知、可解释且结构化的闭环推理。在多个问答(QA)数据集上的实验表明,GraphMind consistently取得性能提升,显著优于现有基线方法,验证了该方法的有效性与泛化能力。

原文摘要 · Abstract (English)

Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, including multi-step reasoning such as mathematical proving. However, existing approaches often lack an explicit and dynamic mechanism to structurally represent and evolve intermediate reasoning states, which limits their ability to perform context-aware theorem selection and iterative conclusion generation. To address these challenges, we propose GraphMind, a novel dynamic graph-based framework that integrates the graph neural network (GNN) with LLMs to iteratively select theorems and generate intermediate conclusions for multi-step reasoning. Our method models the reasoning process as a heterogeneous evolving graph, where nodes represent conditions, theorems, and conclusions, while edges capture logical dependencies between nodes. By encoding the current reasoning state with GNN and leveraging semantic matching for theorem selection, our framework enables context-aware, interpretable, and structured reasoning in a closed-loop manner. Experiments on various question-answering (QA) datasets demonstrate that our proposed GraphMind method achieves consistent performance improvements and significantly outperforms existing baselines in multi-step reasoning, validating the effectiveness and generalizability of our approach.

多步推理图神经网络大模型

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。