MastermindEval: A Simple But Scalable Reasoning Benchmark
Jonas Golde, Patrick Haller, Fabio Barth, Alan Akbik
TL;DR
MastermindEval presents a simple, scalable benchmark for evaluating deductive reasoning in large language models by simulating Mastermind-like puzzles. It introduces two primary evaluation paradigms—agentic play and deductive reasoning—plus a multiple-choice variant, all supported by an open-source framework. Empirical results across open-source and proprietary models show that while model size improves performance, multi-step deduction remains challenging as task complexity increases, and test-time compute adjusts with task demands. The work provides a principled, extensible way to separate genuine reasoning from mere strategic play, and highlights directions for reasoning-focused model training and evaluation.
Abstract
Recent advancements in large language models (LLMs) have led to remarkable performance across a wide range of language understanding and mathematical tasks. As a result, increasing attention has been given to assessing the true reasoning capabilities of LLMs, driving research into commonsense, numerical, logical, and qualitative reasoning. However, with the rapid progress of reasoning-focused models such as OpenAI's o1 and DeepSeek's R1, there has been a growing demand for reasoning benchmarks that can keep pace with ongoing model developments. In this paper, we introduce MastermindEval, a simple, scalable, and interpretable deductive reasoning benchmark inspired by the board game Mastermind. Our benchmark supports two evaluation paradigms: (1) agentic evaluation, in which the model autonomously plays the game, and (2) deductive reasoning evaluation, in which the model is given a pre-played game state with only one possible valid code to infer. In our experimental results we (1) find that even easy Mastermind instances are difficult for current models and (2) demonstrate that the benchmark is scalable to possibly more advanced models in the future Furthermore, we investigate possible reasons why models cannot deduce the final solution and find that current models are limited in deducing the concealed code as the number of statement to combine information from is increasing.
