SciCode-Verified: How Benchmark Defects Underestimated the Scientific-Coding Ability of Language Models
AuthorsSihan Hu, Lyuhan Huang, Youjin Deng, Kun Chen
Resources
A careful audit finds that flawed grading, rather than weak models, made language models look far worse at scientific coding than they really are.
Key results
Defects identified across all 65 SciCode test problems.
Defects that wrongly rejected correct, instruction-following solutions.
Share of main problems touched by score-suppressing defects.
Share of score-suppressing defects requiring physics or mathematics expertise to detect.
Main-problem accuracy on SciCode-Verified.
Subproblem accuracy on SciCode-Verified.
What the paper found
This paper argues that SciCode, a benchmark for research-level scientific coding, substantially underestimated language-model capability because its grading instrument was defective. An expert audit of all 65 test problems found 263 defects: 192 wrongly rejected correct, instruction-following solutions, affecting 91% of the main problems, and 78% of those score-suppressing defects required physics or mathematics expertise to identify. The corrected release, SciCode-Verified, repairs wrong or non-reproducible gold answers, over-tight numerical tolerances, unspecified conventions, contradictory specifications, and tests that depended on exact random-number or implementation choices; one structurally underdetermined problem was removed. Re-evaluating twelve frontier snapshots with the same pass@1 harness raised subproblem accuracy from 45–60% to 84–98% and main-problem accuracy from 9–27% to 69–92%. OpenAI’s GPT-5.5 reached 95.1% subproblem and 90.6% main-problem accuracy, while GPT-5.6 Sol reached 98.3% and 92.2%; comparable systems included Google’s Gemini 3.5 Flash, Anthropic’s Claude Opus 4.8, DeepSeek models, ByteDance’s Seed 2.1 Pro, and Kimi K3. The central conclusion is that apparent model stagnation—previously clustering near 60%—was largely benchmark-induced: cumulative subproblem dependencies and all-or-nothing main-problem scoring allowed one false failure to invalidate an otherwise correct scientific program.
Original abstract
SciCode is the standard measure of the scientific-coding ability of language models: research-level problems that demand both frontier scientific theory and its implementation as working numerical code. It is a component of the Artificial Analysis Intelligence Index and a standing evaluation in government and national-laboratory suites. Yet its scores have recently plateaued: the strongest 2026 models cluster tightly around 60\% subproblem accuracy, and a successor model ties its predecessor. We trace this stagnation to defects in the benchmark itself. A per-problem, domain-expert audit of all 65 test problems uncovers 263 defects; 192 of them, spread across 91\% of the main problems, cause correct, instruction-following solutions to be wrongly rejected---through non-reproducible gold answers, over-tight tolerances, or self-contradictory specifications. Critically, 78\% of these score-suppressing defects require specialized physics or mathematics knowledge to detect, not mere clerical proofreading. We corrected every confirmable defect to produce SciCode-Verified. The corrections add only the specifications a well-posed problem requires, repair grading, and tighten the tests that were too lenient; every change is recorded with its justification and independently re-checked by a second domain expert. We re-evaluate twelve frontier model snapshots on the corrected benchmark and find a substantial recovery: subproblem accuracy rises from 45--60\% to 84--98\%, and main-problem accuracy from 9--27\% to 69--92\%. State-of-the-art models are far more proficient in scientific coding than SciCode has suggested---the bottleneck was not model capability, but the quality of the evaluation instrument. We release SciCode-Verified with its complete audit trail as the corrected public standard.
Read the original paperMore in AI Benchmarks
Browse all 45 papers →Argo-Bench: Evaluating Data Agents on Enterprise-Scale Workflows
Gabriel Tomitsuka, Arman Raayatsanati, Emma Xing, Duke Gand, Joseph J Ma
Argo-Bench stress-tests AI data agents on realistic enterprise-scale workflows where success depends not just on writing SQL, but on correctly investigating data and taking actions with real consequences.
EnigmaForge: The Question Is Hidden in the Story
Daniel Eisner
EnigmaForge tests whether AI can discover and solve a hidden puzzle in a story, revealing reasoning abilities that ordinary question-answering benchmarks may miss.
Video-Index: A Curated Meta-Benchmark for Video Understanding
Enxin Song, Yinuo Xu, Shusheng Yang, Wenhao Chai, Jiatao Gu
Video-Index stress-tests video benchmarks for shortcuts and provides a curated set of harder, more trustworthy evaluation items.