FrontierCS: Evolving Challenges for Evolving Intelligence
Not on the map. Why?
Abstract (arXiv)
We introduce FrontierCS, a benchmark of 156 open-ended problems across diverse areas of computer science, designed and reviewed by experts, including CS PhDs and top-tier competitive programming participants and problem setters. Unlike existing benchmarks that focus on tasks with known optimal solutions, FrontierCS targets problems where the optimal solution is unknown, but the quality of a solution can be objectively evaluated. Models solve these tasks by implementing executable programs rather than outputting a direct answer. FrontierCS includes algorithmic problems, which are often NP-hard variants of competitive programming problems with objective partial scoring, and research problems with the same property. For each problem we provide an expert reference solution and an automatic evaluator. Combining open-ended design, measurable progress, and expert curation, FrontierCS provides a benchmark at the frontier of computer-science difficulty. Empirically, we find that frontier reasoning models still lag far behind human experts on both the algorithmic and research tracks, that increasing reasoning budgets alone does not close this gap, and that models often over-optimize for generating merely workable code instead of discovering high-quality algorithms and system designs.
Key facts. Cited by 23 papers in the map (data through 14 Oct 2026). Builds on 34 of its 51 references that are in the map. First posted on arXiv 17 Dec 2025.
Builds on
34 of 51 references.
References · 34
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2021Evaluating Large Language Models Trained on Codecited by 8,320
- 2023Let's Verify Step by Stepcited by 3,789
- 2021Program Synthesis with Large Language Modelscited by 3,637
- 2023SWE-bench: Can Language Models Resolve Real-World GitHub Issues?cited by 3,373
- 2022Self-Instruct: Aligning Language Models with Self-Generated Instructionscited by 2,724
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
- 2022Competition-Level Code Generation with AlphaCodecited by 1,462
- 2023Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generationcited by 1,391
- 2025AlphaEvolve: A coding agent for scientific and algorithmic discoverycited by 867
- 2025DeepSeek-V3.2: Pushing the Frontier of Open Large Language Modelscited by 815
- 2024BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructionscited by 546
22 more
- 2025GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learningcited by 542
- 2025Absolute Zero: Reinforced Self-play Reasoning with Zero Datacited by 344
- 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 243
- 2025KernelBench: Can LLMs Write Efficient GPU Kernels?cited by 225
- 2025CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratingscited by 115
- 2025SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learningcited by 100
- 2023NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classescited by 79
- 2025CyberGym: Evaluating AI Agents' Real-World Cybersecurity Capabilities at Scalecited by 78
- 2025LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMscited by 70
- 2025MLR-Bench: Evaluating AI Agents on Open-Ended Machine Learning Researchcited by 64
- 2025LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?cited by 55
- 2025Barbarians at the Gate: How AI is Upending Systems Researchcited by 54
- 2025SeRL: Self-Play Reinforcement Learning for Large Language Models with Limited Datacited by 51
- 2025ALE-Bench: A Benchmark for Long-Horizon Objective-Driven Algorithm Engineeringcited by 39
- 2025HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimizationcited by 21
- 2025ELABORATION: A Comprehensive Benchmark on Human-LLM Competitive Programmingcited by 16
- 2025Post-Training Large Language Models via Reinforcement Learning from Self-Feedbackcited by 15
- 2025OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problemscited by 12
- 2025AutoCode: LLMs as Problem Setters for Competitive Programmingcited by 11
- 2025NP-Engine: Empowering Optimization Reasoning in Large Language Models with Verifiable Synthetic NP Problemscited by 11
- 2025MetaMuse: Algorithm Generation via Creative Ideationcited by 4
- 2025Automated Discovery of Test Oracles for Database Management Systems Using LLMscited by 2
Built on by
Citing papers per year: 2026: 23.
23 papers.
Sort:
By area:
- 2026AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimizationcited by 60
- 2026EvoX: Meta-Evolution for Automated Discoverycited by 60
- 2026CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discoverycited by 52
- 2026MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AIcited by 17
- 2026AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?cited by 13
- 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verificationcited by 9
- 2026Combee: Scaling Prompt Learning for Self-Improving Language Model Agentscited by 9
- 2026When Does Continual Learning Require Learningcited by 7
- 2026Scaling Discovery through Test-Time Communicationcited by 7
- 2026LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Searchcited by 6
- 2026DeployBench: Benchmarking LLM Agents for Research Artifact Deploymentcited by 6
- 2026Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Taskscited by 6
11 more
- 2026FrontierSmith: Synthesizing Open-Ended Coding Problems at Scalecited by 3
- 2026Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skillscited by 2
- 2026When Agents Slow Down: Understanding LLM Agents' Test-Time Strategies via Elo-per-token Analysiscited by 2
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluationcited by 1
- 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch Agentscited by 1
- 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMscited by 0
- 2026EasyPPO: Stabilizing the Critic Is Keycited by 0
- 2026AREX-2: Advancing Self-Improving Agents through Long-Horizon Reflective Taskscited by 0
- 2026LabBook: Harnessing Experimental History for Efficient LLM-Driven Discoverycited by 0
- 2026FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolutioncited by 0
- 2026Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveriescited by 0
- 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch Agents5 Oct 2026
- 2026Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveries5 Oct 2026
- 2026FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolution2 Oct 2026
- 2026LabBook: Harnessing Experimental History for Efficient LLM-Driven Discovery30 Sep 2026
- 2026AREX-2: Advancing Self-Improving Agents through Long-Horizon Reflective Tasks29 Sep 2026
- 2026EasyPPO: Stabilizing the Critic Is Key29 Sep 2026
- 2026Scaling Discovery through Test-Time Communication17 Sep 2026
- 2026When Agents Slow Down: Understanding LLM Agents' Test-Time Strategies via Elo-per-token Analysis14 Sep 2026
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluation3 Sep 2026
- 2026Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skills2 Sep 2026
- 2026When Does Continual Learning Require Learning8 Jul 2026
- 2026Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Tasks27 Jun 2026
11 more
- 2026DeployBench: Benchmarking LLM Agents for Research Artifact Deployment3 Jun 2026
- 2026AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?3 Jun 2026
- 2026FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale14 May 2026
- 2026LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Search10 May 2026
- 2026MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI9 May 2026
- 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs8 May 2026
- 2026Combee: Scaling Prompt Learning for Self-Improving Language Model Agents5 Apr 2026
- 2026CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discovery2 Apr 2026
- 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification16 Mar 2026
- 2026EvoX: Meta-Evolution for Automated Discovery26 Feb 2026
- 2026AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization23 Feb 2026
- 2026CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discoverycited by 52
- 2026Combee: Scaling Prompt Learning for Self-Improving Language Model Agentscited by 9
- 2026Scaling Discovery through Test-Time Communicationcited by 7
- 2026DeployBench: Benchmarking LLM Agents for Research Artifact Deploymentcited by 6
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluationcited by 1
- 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch Agentscited by 1
- 2026AREX-2: Advancing Self-Improving Agents through Long-Horizon Reflective Taskscited by 0
- 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch Agents5 Oct 2026
- 2026AREX-2: Advancing Self-Improving Agents through Long-Horizon Reflective Tasks29 Sep 2026
- 2026Scaling Discovery through Test-Time Communication17 Sep 2026
- 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluation3 Sep 2026
- 2026DeployBench: Benchmarking LLM Agents for Research Artifact Deployment3 Jun 2026
- 2026Combee: Scaling Prompt Learning for Self-Improving Language Model Agents5 Apr 2026
- 2026CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discovery2 Apr 2026
- 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verificationcited by 9
- 2026When Agents Slow Down: Understanding LLM Agents' Test-Time Strategies via Elo-per-token Analysiscited by 2
- 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMscited by 0
- 2026Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveriescited by 0
- 2026Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveries5 Oct 2026
- 2026When Agents Slow Down: Understanding LLM Agents' Test-Time Strategies via Elo-per-token Analysis14 Sep 2026
- 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs8 May 2026
- 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification16 Mar 2026
- 2026When Does Continual Learning Require Learningcited by 7
- 2026When Does Continual Learning Require Learning8 Jul 2026
- 2026AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimizationcited by 60
- 2026EvoX: Meta-Evolution for Automated Discoverycited by 60
- 2026MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AIcited by 17
- 2026AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?cited by 13
- 2026LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Searchcited by 6
- 2026Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Taskscited by 6
- 2026FrontierSmith: Synthesizing Open-Ended Coding Problems at Scalecited by 3
- 2026Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skillscited by 2
- 2026EasyPPO: Stabilizing the Critic Is Keycited by 0
- 2026LabBook: Harnessing Experimental History for Efficient LLM-Driven Discoverycited by 0
- 2026FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolutioncited by 0
- 2026FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolution2 Oct 2026
- 2026LabBook: Harnessing Experimental History for Efficient LLM-Driven Discovery30 Sep 2026
- 2026EasyPPO: Stabilizing the Critic Is Key29 Sep 2026
- 2026Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skills2 Sep 2026
- 2026Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Tasks27 Jun 2026
- 2026AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?3 Jun 2026
- 2026FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale14 May 2026
- 2026LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Search10 May 2026
- 2026MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI9 May 2026
- 2026EvoX: Meta-Evolution for Automated Discovery26 Feb 2026
- 2026AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization23 Feb 2026
Similar, not cited
Close in wording, no citation either way
- 2025FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming
- 2026FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization
- 2026FrontierScience: Evaluating AI's Ability to Perform Expert-Level Scientific Tasks
- 2026Capable yet Parsimonious: Extracting and Characterizing Hidden Chain-of-Thought in Frontier Models
- 2025FrontierCO: Real-World and Large-Scale Evaluation of Machine Learning Solvers for Combinatorial Optimization
- 2025Evaluating Frontier LLMs on PhD-Level Mathematical Reasoning: A Benchmark on a Textbook in Theoretical Computer Science about Randomized Algorithms
- 2026Frontier-Eng: Benchmarking Self-Evolving Agents on Real-World Engineering Tasks with Generative Optimization
- 2026Simple Baselines are Competitive with Code Evolution