LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models

TL;DR

LogicGame is a new benchmark designed to evaluate large language models' ability to understand, execute, and plan based on complex rules through simulated games, providing a detailed assessment of their logical reasoning skills.

Contribution

The paper introduces LogicGame, a comprehensive benchmark that isolates rule-based reasoning in LLMs using diverse, verifiable game scenarios with varying difficulty levels.

Findings

LLMs show notable shortcomings in rule-based reasoning.

LogicGame effectively distinguishes logical reasoning from knowledge-based responses.

Intermediate step verification enhances assessment accuracy.

Abstract

Large Language Models (LLMs) have demonstrated notable capabilities across various tasks, showcasing complex problem-solving abilities. Understanding and executing complex rules, along with multi-step planning, are fundamental to logical reasoning and critical for practical LLM agents and decision-making systems. However, evaluating LLMs as effective rule-based executors and planners remains underexplored. In this paper, we introduce LogicGame, a novel benchmark designed to evaluate the comprehensive rule understanding, execution, and planning capabilities of LLMs. Unlike traditional benchmarks, LogicGame provides diverse games that contain a series of rules with an initial state, requiring models to comprehend and apply predefined regulations to solve problems. We create simulated scenarios in which models execute or plan operations to achieve specific outcomes. These game scenarios are specifically designed to distinguish logical reasoning from mere knowledge by relying exclusively on predefined rules. This separation allows for a pure assessment of rule-based reasoning capabilities. The evaluation considers not only final outcomes but also intermediate steps, providing a comprehensive assessment of model performance. Moreover, these intermediate steps are deterministic and can be automatically verified. LogicGame defines game scenarios with varying difficulty levels, from simple rule applications to complex reasoning chains, in order to offer a precise evaluation of model performance on rule understanding and multi-step execution. Utilizing LogicGame, we test various LLMs and identify notable shortcomings in their rule-based logical reasoning abilities.