mlsanityData to 14 Oct 2026

FrontierCS: Evolving Challenges for Evolving Intelligence

arXiv 2512.15699 ↗First posted 17 Dec 2025cs.LG cs.SEcited by 23

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

  1. 2021Training Verifiers to Solve Math Word Problemscited by 10,109
  2. 2021Evaluating Large Language Models Trained on Codecited by 8,320
  3. 2023Let's Verify Step by Stepcited by 3,789
  4. 2021Program Synthesis with Large Language Modelscited by 3,637
  5. 2023SWE-bench: Can Language Models Resolve Real-World GitHub Issues?cited by 3,373
  6. 2022Self-Instruct: Aligning Language Models with Self-Generated Instructionscited by 2,724
  7. 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
  8. 2022Competition-Level Code Generation with AlphaCodecited by 1,462
  9. 2023Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generationcited by 1,391
  10. 2025AlphaEvolve: A coding agent for scientific and algorithmic discoverycited by 867
  11. 2025DeepSeek-V3.2: Pushing the Frontier of Open Large Language Modelscited by 815
  12. 2024BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructionscited by 546
22 more
  1. 2025GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learningcited by 542
  2. 2025Absolute Zero: Reinforced Self-play Reasoning with Zero Datacited by 344
  3. 2024FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIcited by 243
  4. 2025KernelBench: Can LLMs Write Efficient GPU Kernels?cited by 225
  5. 2025CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratingscited by 115
  6. 2025SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learningcited by 100
  7. 2023NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classescited by 79
  8. 2025CyberGym: Evaluating AI Agents' Real-World Cybersecurity Capabilities at Scalecited by 78
  9. 2025LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMscited by 70
  10. 2025MLR-Bench: Evaluating AI Agents on Open-Ended Machine Learning Researchcited by 64
  11. 2025LiveCodeBench Pro: How Do Olympiad Medalists Judge LLMs in Competitive Programming?cited by 55
  12. 2025Barbarians at the Gate: How AI is Upending Systems Researchcited by 54
  13. 2025SeRL: Self-Play Reinforcement Learning for Large Language Models with Limited Datacited by 51
  14. 2025ALE-Bench: A Benchmark for Long-Horizon Objective-Driven Algorithm Engineeringcited by 39
  15. 2025HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimizationcited by 21
  16. 2025ELABORATION: A Comprehensive Benchmark on Human-LLM Competitive Programmingcited by 16
  17. 2025Post-Training Large Language Models via Reinforcement Learning from Self-Feedbackcited by 15
  18. 2025OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problemscited by 12
  19. 2025AutoCode: LLMs as Problem Setters for Competitive Programmingcited by 11
  20. 2025NP-Engine: Empowering Optimization Reasoning in Large Language Models with Verifiable Synthetic NP Problemscited by 11
  21. 2025MetaMuse: Algorithm Generation via Creative Ideationcited by 4
  22. 2025Automated Discovery of Test Oracles for Database Management Systems Using LLMscited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 23.

23 papers.

Sort:

By area:

  1. 2026AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimizationcited by 60
  2. 2026EvoX: Meta-Evolution for Automated Discoverycited by 60
  3. 2026CORAL: Towards Autonomous Multi-Agent Evolution for Open-Ended Discoverycited by 52
  4. 2026MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AIcited by 17
  5. 2026AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?cited by 13
  6. 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verificationcited by 9
  7. 2026Combee: Scaling Prompt Learning for Self-Improving Language Model Agentscited by 9
  8. 2026When Does Continual Learning Require Learningcited by 7
  9. 2026Scaling Discovery through Test-Time Communicationcited by 7
  10. 2026LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Searchcited by 6
  11. 2026DeployBench: Benchmarking LLM Agents for Research Artifact Deploymentcited by 6
  12. 2026Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Taskscited by 6
11 more
  1. 2026FrontierSmith: Synthesizing Open-Ended Coding Problems at Scalecited by 3
  2. 2026Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skillscited by 2
  3. 2026When Agents Slow Down: Understanding LLM Agents' Test-Time Strategies via Elo-per-token Analysiscited by 2
  4. 2026Harbor Adapters and Harbor-Index: Infrastructure and a Curated Meta-Dataset for Large-Scale Agentic Evaluationcited by 1
  5. 2026Fork-and-Flush: Escaping Idea Basins in Autoresearch Agentscited by 1
  6. 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMscited by 0
  7. 2026EasyPPO: Stabilizing the Critic Is Keycited by 0
  8. 2026AREX-2: Advancing Self-Improving Agents through Long-Horizon Reflective Taskscited by 0
  9. 2026LabBook: Harnessing Experimental History for Efficient LLM-Driven Discoverycited by 0
  10. 2026FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolutioncited by 0
  11. 2026Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveriescited by 0

Similar, not cited

Close in wording, no citation either way

  1. 2025FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming
  2. 2026FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization
  3. 2026FrontierScience: Evaluating AI's Ability to Perform Expert-Level Scientific Tasks
  4. 2026Capable yet Parsimonious: Extracting and Characterizing Hidden Chain-of-Thought in Frontier Models
  5. 2025FrontierCO: Real-World and Large-Scale Evaluation of Machine Learning Solvers for Combinatorial Optimization
  6. 2025Evaluating Frontier LLMs on PhD-Level Mathematical Reasoning: A Benchmark on a Textbook in Theoretical Computer Science about Randomized Algorithms
  7. 2026Frontier-Eng: Benchmarking Self-Evolving Agents on Real-World Engineering Tasks with Generative Optimization
  8. 2026Simple Baselines are Competitive with Code Evolution