arXiv:2412.08972cs.CLcs.AI2024-12被引 25

测试大模型在真实规则场景下的推理能力,发现其常混淆规则且算术错误频发。

RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios

  • 构建三个真实领域规则任务,要求长上下文理解与逻辑计算
  • 模型正确识别规则后仍常出现数学计算错误,整体表现较差
  • 外接工具可显著提升性能,适合研究真实场景下AI可靠性

本文提出RuleArena,一个新型且具有挑战性的基准,用于评估大语言模型(LLMs)在真实世界场景中遵循复杂规则的推理能力。涵盖航空行李费、NBA交易和税务法规三个实际领域,该基准考察模型处理需要长上下文理解、逻辑推理和精确数学计算的自然语言指令的能力。与传统基于规则的推理基准不同,RuleArena具备两个关键特性:(1) 超越标准一阶逻辑表示;(2) 基于真实、实用场景,提供对LLMs在现实应用中适用性和可靠性的深入洞察。实验结果揭示了模型的多项显著局限:(1) 难以识别并应用正确规则,常被相似但不同的法规混淆;(2) 即使正确识别规则,也无法持续进行准确的数学计算;(3) 整体表现不佳。此外,当为模型提供外部工具进行精确数学和逻辑运算时,性能显著提升。这些结果凸显了提升LLMs在真实应用中规则引导推理能力的重大挑战与潜在研究方向。代码与数据已公开于https://github.com/skyriver-2000/RuleArena。

原文摘要 · Abstract (English)

This paper introduces RuleArena, a novel and challenging benchmark designed to evaluate the ability of large language models (LLMs) to follow complex, real-world rules in reasoning. Covering three practical domains -- airline baggage fees, NBA transactions, and tax regulations -- RuleArena assesses LLMs' proficiency in handling intricate natural language instructions that demand long-context understanding, logical reasoning, and accurate mathematical computation. Two key attributes distinguish RuleArena from traditional rule-based reasoning benchmarks: (1) it extends beyond standard first-order logic representations, and (2) it is grounded in authentic, practical scenarios, providing insights into the suitability and reliability of LLMs for real-world applications. Our findings reveal several notable limitations in LLMs: (1) they struggle to identify and apply the appropriate rules, frequently becoming confused by similar but distinct regulations, (2) they cannot consistently perform accurate mathematical computations, even when they correctly identify the relevant rules, and (3) in general, they perform poorly in the benchmark. We also observe a significant performance boost when LLMs are provided with external tools for oracle math and logic operations. These results highlight significant challenges and promising research directions in advancing LLMs' rule-guided reasoning capabilities in real-life applications. Our codes and data are publicly available on https://github.com/skyriver-2000/RuleArena.

规则推理大模型评测真实场景数学计算

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