评测大模型在复杂关系推理中的逻辑规划能力,发现模型规模影响表现。
LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs
- 构建可调节难度的动态任务框架,控制对象、关系与链路深度。
- 三种任务测试生成、一致性检测和关系查询,大模型在复杂任务中表现下降。
- 揭示模型规模与架构决定推理能力,适合评估推理增强型模型。
我们提出LogiPlan,一个新型基准,用于评估大语言模型(LLMs)在复杂关系结构上的逻辑规划与推理能力。该能力对依赖模型生成和查询关系图的应用(如网络基础设施、知识库或业务流程模式)至关重要。该框架通过控制对象数量、关系数量及关系链最小深度,实现任务难度的动态调节,支持细粒度性能评估。LogiPlan包含三项互补任务:(1) 计划生成——构建满足特定结构约束的有效有向关系图;(2) 一致性检测——识别关系结构中的不一致;(3) 比较问题——判断给定图中查询关系的有效性。此外,通过提示模型验证并修正初始解,评估其自我修正能力。我们在DeepSeek R1、Gemini 2.0 Pro、Gemini 2 Flash Thinking、GPT-4.5、GPT-4o、Llama 3.1 405B、O3-mini、O1和Claude 3.7 Sonnet等前沿模型上进行评估,结果显示显著性能差距,且与模型规模和架构相关。分析表明,尽管近期推理增强模型在简单实例中表现良好,但在需深层逻辑规划的复杂配置下仍表现不佳。
原文摘要 · Abstract (English)
We introduce LogiPlan, a novel benchmark designed to evaluate the capabilities of large language models (LLMs) in logical planning and reasoning over complex relational structures. Logical relational reasoning is important for applications that may rely on LLMs to generate and query structured graphs of relations such as network infrastructure, knowledge bases, or business process schema. Our framework allows for dynamic variation of task complexity by controlling the number of objects, relations, and the minimum depth of relational chains, providing a fine-grained assessment of model performance across difficulty levels. LogiPlan encompasses three complementary tasks: (1) Plan Generation, where models must construct valid directed relational graphs meeting specified structural constraints; (2) Consistency Detection, testing models' ability to identify inconsistencies in relational structures; and (3) Comparison Question, evaluating models' capacity to determine the validity of queried relationships within a given graph. Additionally, we assess models' self-correction capabilities by prompting them to verify and refine their initial solutions. We evaluate state-of-the-art models including DeepSeek R1, Gemini 2.0 Pro, Gemini 2 Flash Thinking, GPT-4.5, GPT-4o, Llama 3.1 405B, O3-mini, O1, and Claude 3.7 Sonnet across these tasks, revealing significant performance gaps that correlate with model scale and architecture. Our analysis demonstrates that while recent reasoning-enhanced models show promising results on simpler instances, they struggle with more complex configurations requiring deeper logical planning.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。