OIBench: Benchmarking Strong Reasoning Models with Olympiad in Informatics
On the map: LLM reasoning → Test-time compute and efficient thinking
Abstract (arXiv)
As models become increasingly sophisticated, conventional algorithm benchmarks are increasingly saturated, underscoring the need for more challenging benchmarks to guide future improvements in algorithmic reasoning. This paper introduces OIBench, a high-quality, private, and challenging olympiad-level informatics dataset comprising 250 carefully curated original problems. We detail the construction methodology of the benchmark, ensuring a comprehensive assessment across various programming paradigms and complexities, and we demonstrate its contamination-resistant properties via experiments. We propose Time/Space Completion Curves for finer-grained efficiency analysis and enable direct human-model comparisons through high-level participant evaluations. Our experiments reveal that while open-source models lag behind closed-source counterparts, current SOTA models already outperform most human participants in both correctness and efficiency, while still being suboptimal compared to the canonical solutions. By releasing OIBench as a fully open-source resource (https://huggingface.co/datasets/AGI-Eval/OIBench), we hope this benchmark will contribute to advancing code reasoning capabilities for future LLMs.
Key facts. Cited by 6 papers in the map (data through 14 Oct 2026). Placed in Test-time compute and efficient thinking, one of 17 directions in LLM reasoning. Builds on 12 of its 60 references that are in the map. First posted on arXiv 12 Jun 2025.
Builds on
12 of 60 references.
References · 12
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,330
- 2024Qwen2.5 Technical Reportcited by 4,942
- 2024GPT-4o System Cardcited by 4,588
- 2021Program Synthesis with Large Language Modelscited by 3,637
- 2019Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelismcited by 1,868
- 2024OpenAI o1 System Cardcited by 1,244
- 2024Qwen2.5-Coder Technical Reportcited by 1,203
- 2024DeepSeek-V3 Technical Reportcited by 811
- 2025Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Modelscited by 293
- 2025SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolutioncited by 263
- 2024Adding Error Bars to Evals: A Statistical Approach to Language Model Evaluationscited by 148
Built on by
Citing papers per year: 2025: 4; 2026: 2.
6 papers.
- 2026LongCat-Flash-Thinking-2601 Technical Reportcited by 34
- 2025CATArena: Evaluating Evolutionary Capabilities of Code Agents via Iterative Tournamentscited by 5
- 2025PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoningcited by 4
- 2025Arbitrage: Efficient Reasoning via Advantage-Aware Speculationcited by 2
- 2025UniCode: Augmenting Evaluation for Code Reasoningcited by 1
- 2026Physics-R1: An Audited Olympiad Corpus and Released Verifiers for Visual Physics Reasoningcited by 0
- 2026Physics-R1: An Audited Olympiad Corpus and Released Verifiers for Visual Physics Reasoning13 May 2026
- 2026LongCat-Flash-Thinking-2601 Technical Report23 Jan 2026
- 2025Arbitrage: Efficient Reasoning via Advantage-Aware Speculation4 Dec 2025
- 2025CATArena: Evaluating Evolutionary Capabilities of Code Agents via Iterative Tournaments30 Oct 2025
- 2025UniCode: Augmenting Evaluation for Code Reasoning16 Oct 2025
- 2025PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning3 Oct 2025
Similar, not cited
Close in wording, no citation either way
- 2025LiveOIBench: Can Large Language Models Outperform Human Contestants in Informatics Olympiads?
- 2025Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models
- 2025OckBench: Measuring the Efficiency of LLM Reasoning
- 2025OJBench: A Competition Level Code Benchmark For Large Language Models
- 2025MorphoBench: A Benchmark with Difficulty Adaptive to Model Reasoning
- 2025Scaling Test-Time Compute to Achieve IOI Gold Medal with Open-Weight Models
- 2025ProBench: Benchmarking Large Language Models in Competitive Programming
- 2025The Ouroboros of Benchmarking: Reasoning Evaluation in an Era of Saturation