Generative Evaluation of Complex Reasoning in Large Language Models
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
With powerful large language models (LLMs) demonstrating superhuman reasoning capabilities, a critical question arises: Do LLMs genuinely reason, or do they merely recall answers from their extensive, web-scraped training datasets? Publicly released benchmarks inevitably become contaminated once incorporated into subsequent LLM training sets, undermining their reliability as faithful assessments. To address this, we introduce KUMO, a generative evaluation framework designed specifically for assessing reasoning in LLMs. KUMO synergistically combines LLMs with symbolic engines to dynamically produce diverse, multi-turn reasoning tasks that are partially observable and adjustable in difficulty. Through an automated pipeline, KUMO continuously generates novel tasks across open-ended domains, compelling models to demonstrate genuine generalization rather than memorization. We evaluated 23 state-of-the-art LLMs on 5,000 tasks across 100 domains created by KUMO, benchmarking their reasoning abilities against university students. Our findings reveal that many LLMs have outperformed university-level performance on easy reasoning tasks, and reasoning-scaled LLMs reach university-level performance on complex reasoning challenges. Moreover, LLM performance on KUMO tasks correlates strongly with results on newly released real-world reasoning benchmarks, underscoring KUMO's value as a robust, enduring assessment tool for genuine LLM reasoning capabilities.
Key facts. Cited by 6 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 28 of its 46 references that are in the map. First posted on arXiv 3 Apr 2025.
Builds on
28 of 46 references.
Closest ancestors · 4
Same direction, newest first
- 2024MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs20 Jun
- 2024LINGOLY: A Benchmark of Olympiad-Level Linguistic Reasoning Puzzles in Low-Resource and Extinct Languages10 Jun
- 2023DyVal: Dynamic Evaluation of Large Language Models for Reasoning Tasks29 Sep
- 2022FOLIO: Natural Language Reasoning with First-Order Logic2 Sep
Other references · 24
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,146
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 1,906
- 2023AGIEval: A Human-Centric Benchmark for Evaluating Foundation Modelscited by 701
- 2020Generative Language Modeling for Automated Theorem Provingcited by 379
- 2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofscited by 278
- 2024LiveBench: A Challenging, Contamination-Limited LLM Benchmarkcited by 242
- 2024Leak, Cheat, Repeat: Data Contamination and Evaluation Malpractices in Closed-Source LLMscited by 224
- 2020Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via Alternate Meta-learningcited by 216
- 2020ReClor: A Reading Comprehension Dataset Requiring Logical Reasoningcited by 211
- 2024A Careful Examination of Large Language Model Performance on Grade School Arithmeticcited by 188
12 more
- 2019CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Textcited by 155
- 2024O1 Replication Journey: A Strategic Progress Report -- Part 1cited by 140
- 2024Evaluation of OpenAI o1: Opportunities and Challenges of AGIcited by 127
- 2024Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Modelscited by 119
- 2025Competitive Programming with Large Reasoning Modelscited by 115
- 2019Learning to Prove Theorems via Interacting with Proof Assistantscited by 107
- 2022Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Proverscited by 97
- 2023Can we trust the evaluation on ChatGPT?cited by 63
- 2024A Comparative Study on Reasoning Patterns of OpenAI's o1 Modelcited by 62
- 2021From LSAT: The Progress and Challenges of Complex Reasoningcited by 43
- 2023Data Contamination Through the Lens of Timecited by 39
- 2024Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agentscited by 39
Built on by
Citing papers per year: 2025: 3; 2026: 3.
6 papers.
- 2025HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Gamescited by 6
- 2025Flying Pigs, FaR and Beyond: Evaluating LLM Reasoning in Counterfactual Worldscited by 2
- 2025UniCode: Augmenting Evaluation for Code Reasoningcited by 1
- 2026AEGIS: Exploring the Limit of World Knowledge Capabilities for Unified Mulitmodal Modelscited by 1
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluationcited by 1
- 2026A visual large language foundational model for medical image recognition using clinician-contributed online resourcescited by 0
- 2026A visual large language foundational model for medical image recognition using clinician-contributed online resources7 Sep 2026
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluation3 Sep 2026
- 2026AEGIS: Exploring the Limit of World Knowledge Capabilities for Unified Mulitmodal Models2 Jan 2026
- 2025UniCode: Augmenting Evaluation for Code Reasoning16 Oct 2025
- 2025HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games14 Oct 2025
- 2025Flying Pigs, FaR and Beyond: Evaluating LLM Reasoning in Counterfactual Worlds28 May 2025
Similar, not cited
Close in wording, no citation either way
- 2025Advancing Reasoning in Large Language Models: Promising Methods and Approaches
- 2025Beyond Chains of Thought: Benchmarking Latent-Space Reasoning Abilities in Large Language Models
- 2024Beyond Accuracy: Evaluating the Reasoning Behavior of Large Language Models -- A Survey
- 2024On Memorization of Large Language Models in Logical Reasoning
- 2026ReEfBench: Quantifying the Reasoning Efficiency of LLMs
- 2024CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
- 2023Chain-of-Thought Hub: A Continuous Effort to Measure Large Language Models' Reasoning Performance
- 2025Towards Reasoning Ability of Small Language Models