mlsanityData to 14 Oct 2026

Even GPT-5.2 Can't Count to Five: The Case for Zero-Error Horizons in Trustworthy LLMs

arXiv 2601.15714 ↗First posted 22 Jan 2026cs.LG cs.AI cs.CLcited by 1

Not on the map. Why?

Abstract (arXiv)

We propose Zero-Error Horizon (ZEH) for trustworthy LLMs, which represents the maximum range that a model can solve without any errors. While ZEH itself is simple, we demonstrate that evaluating the ZEH of state-of-the-art LLMs yields abundant insights. For example, by evaluating the ZEH of GPT-5.2, we found that GPT-5.2 cannot even compute the parity of a short string like 11000, and GPT-5.2 cannot determine whether the parentheses in ((((()))))) are balanced. This is surprising given the excellent capabilities of GPT-5.2. The fact that LLMs make mistakes on such simple problems serves as an important lesson when applying LLMs to safety-critical domains. By applying ZEH to Qwen2.5 and conducting detailed analysis, we found that while ZEH correlates with accuracy, the detailed behaviors differ, and ZEH provides clues about the emergence of algorithmic capabilities. Finally, while computing ZEH incurs significant computational cost, we discuss how to mitigate this cost by achieving up to one order of magnitude speedup using tree structures and online softmax.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 63 of its 69 references that are in the map. First posted on arXiv 22 Jan 2026.

Builds on

63 of 69 references.

References · 63

  1. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  2. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
  3. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  4. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  5. 2018GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understandingcited by 4,899
  6. 2022FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awarenesscited by 3,673
  7. 2021TruthfulQA: Measuring How Models Mimic Human Falsehoodscited by 2,975
  8. 2023FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioningcited by 2,598
  9. 2022Survey of Hallucination in Natural Language Generationcited by 2,075
  10. 2022Language Models (Mostly) Know What They Knowcited by 1,856
  11. 2019SuperGlue: Learning Feature Matching with Graph Neural Networkscited by 1,443
  12. 2023FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generationcited by 1,282
38 more
  1. 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
  2. 2022When Not to Trust Language Models: Investigating Effectiveness of Parametric and Non-Parametric Memoriescited by 1,128
  3. 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
  4. 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
  5. 2024Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Headscited by 843
  6. 2023Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generationcited by 819
  7. 2023SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Modelscited by 810
  8. 2023Enabling Large Language Models to Generate Text with Citationscited by 595
  9. 2024FlashAttention-3: Fast and Accurate Attention with Asynchrony and Low-precisioncited by 519
  10. 2025The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Searchcited by 422
  11. 2024Measuring short-form factuality in large language modelscited by 373
  12. 2023SpecInfer: Accelerating Generative Large Language Model Serving with Tree-based Speculative Inference and Verificationcited by 365
  13. 2023HaluEval: A Large-Scale Hallucination Evaluation Benchmark for Large Language Modelscited by 341
  14. 2024Break the Sequential Dependency of LLM Inference Using Lookahead Decodingcited by 298
  15. 2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decompositioncited by 287
  16. 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 234
  17. 2025Why Language Models Hallucinatecited by 220
  18. 2023Embers of Autoregression: Understanding Large Language Models Through the Problem They are Trained to Solvecited by 178
  19. 2025Agentic Reinforced Policy Optimizationcited by 172
  20. 2024PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competitioncited by 165
  21. 2024Long-form factuality in large language modelscited by 155
  22. 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correctioncited by 154
  23. 2023Accelerating LLM Inference with Staged Speculative Decodingcited by 151
  24. 2021Investigating the Limitations of Transformers with Simple Arithmetic Taskscited by 139
  25. 2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Provingcited by 133
  26. 2023Teaching Arithmetic to Small Transformerscited by 123
  27. 2015Neural GPUs Learn Algorithmscited by 121
  28. 2024VERISCORE: Evaluating the factuality of verifiable claims in long-form text generationcited by 117
  29. 2023Calibrated Language Models Must Hallucinatecited by 115
  30. 2023Generating Benchmarks for Factuality Evaluation of Language Modelscited by 105
  31. 2023ExpertQA: Expert-Curated Questions and Attributed Answerscited by 97
  32. 2024Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristicscited by 97
  33. 2023Factcheck-Bench: Fine-Grained Evaluation Benchmark for Automatic Fact-checkerscited by 87
  34. 2025From AI for Science to Agentic Science: A Survey on Autonomous Scientific Discoverycited by 77
  35. 2024Hydragen: High-Throughput LLM Inference with Shared Prefixescited by 73
  36. 2018Neural Arithmetic Logic Unitscited by 70
  37. 2023FELM: Benchmarking Factuality Evaluation of Large Language Modelscited by 66
  38. 2024Factuality of Large Language Models: A Surveycited by 66

50 most cited of 63 All 63 (JSON)

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.