REVIEW 3 major objections 3 minor 47 references
Reachability Is Not Realization: Tracing the Sources of LLM Benchmark Gains
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read A benchmark gain is not evidence of expanded capability unless the reachable set also grows; in DAPO/DART, deployed accuracy rose 14.7 points while oracle reachability fell 13.3 points.
desk verdict A real and useful evaluation distinction, with a fixed-probe ceiling that probably overstates how little RLVR expands reachability. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is the two-number question-level audit $(d_i, o_i(K))$. $d_i$ flags whether the deployment output is correct; $o_i(K)$ flags whether any of $K$ probe candidates is correct. Their aggregates $D$ and $O_K$ are called deployed performance and oracle reachability (or the reachable ceiling). The same pair is recorded for every question on both sides of a matched comparison, so a training run or inference intervention can be classified as changing realization, reachability, both, or neither. The audit is only defined relative to a stated protocol—question set, answer format, grading rule, temperature, probe, and budget—and the oracle label means correctness is used after
What would settle it
Run the DAPO/DART matched comparison (base vs trained, n=300, K=200, temperature 0.8) again with K=800 and a second temperature (e.g. 1.0) and an alternative prompt format. If the trained model's $O_K$ recovers to at least the base level under any of those probes, the 13.3-point reachability drop fails to generalize and the 'reachable ceiling' is probe-dependent. Also check whether the newly realized questions are exactly the base model's high-hit-rate bin (above 35% at K=200); a different propensity profile would falsify the concentration claim.
Extended reading notes
Core claim
The paper's central claim is that a benchmark gain is underdetermined: the same aggregate score change can come from expanding the set of questions a model can reach, or from making already-reachable answers appear more reliably. It makes the distinction operational by scoring every question twice: $d_i$ for whether the default deployment produces the correct answer, and $o_i(K)$ for whether any of $K$ candidates from a fixed probe is correct. Aggregated, these are deployed performance $D$ and oracle reachability $O_K$, and the comparison is only meaningful when base and trained checkpoints share question set, answer format, temperature, budget, and grader. The empirical payload is threefold
Load-bearing premise
The load-bearing premise is that $O_K$—sampling $K$ candidates at temperature 0.8 under a fixed format and grader—is the right operational definition of reachability; the paper itself concedes that an answer not found by a finite probe is unobserved, not impossible, so a flat or falling ceiling after RLVR could be a probe artifact if training shifts the sampling distribution (format collapse, output length changes, or reduced diversity).
Editorial extensions
If this is right
- A rising deployed score with a flat or falling $O_K$ is a realization gain, not a reachability expansion; capability claims should report both $D$ and $O_K$ under matched conditions.
- RLVR tends to realize questions the base model already sampled frequently, so training gains can be concentration effects rather than additions to the solvable set.
- Structured layer routing should not be credited with expanding what a model can answer unless it beats budget-matched random routes under the same scoring; answer-blind selection recovers almost none of the oracle headroom.
- Recognition-correct/generation-wrong failures can be causally localized to a single MLP block in some models, giving an intervention-level handle on where realized answers are lost.
- Whether RLVR raises or lowers the reachable ceiling depends on the recipe—math-only RLVR lowered oracle reachability in one OLMo lineage while SFT-containing variants raised it—so training-recipe controls are part of any reachability claim.
Reading between the lines
- Editorial extension: the finite-probe caveat opens a direct artifact check. Re-probe DAPO/DART with higher $K$, a different temperature, and a different prompt format; if the trained checkpoint's $O_K$ stops falling, the measured reachability contraction is an artifact of the probe's sampling distribution rather than a loss of solvable questions.
- Editorial extension: the routing result suggests the limiting factor for test-time scaling is candidate selection, not candidate generation; ordinary sampling already reproduces the gap without layer routing, so any new answer-blind selector should be compared against majority voting at equal budget.
- Editorial extension: the predefined failure set (recognizes correctly, generates wrong) can serve as a public benchmark for mechanistic interventions—if a proposed edit repairs a large fraction of that panel without breaking healthy questions, it has a concrete measure to beat.
- Editorial extension: benchmark designers could publish $D$ and $O_K$ as a standard two-number scorecard, making 'capability expansion' claims falsifiable and comparable across labs.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a question-level audit framework that distinguishes 'realized' answers (produced by the default deployment procedure) from 'reachable' answers (found by a fixed probe within a budget K). It then applies this framework to three settings: inference-time layer routing, MLP-block silencing, and RLVR training. The routing experiments report that random layer paths match or exceed structured oracle searches in 43 'clean' model–task cells, while answer-blind selectors recover little of the oracle gain. The MLP experiments localize a predefined recognition-correct/generation-wrong failure to a single MLP block in six cases, with component, specificity, and reciprocal controls. The RLVR experiments report that deployed accuracy rises while oracle reachability stays flat or falls, with DAPO as the sharpest case (+14.7 deployed points, -13.3 reachability points), and that newly realized questions were already base-reachable. The paper concludes that benchmark gains do not by themselves establish capability expansion, and that both realized performance and reachability should be reported.
Significance. If the empirical claims hold, the distinction between realization and reachability is a useful evaluation discipline and could change how benchmark gains are interpreted. The paper has real strengths: matched budgets and temperatures, random baselines for routing, predefined failure sets for MLP localization, reciprocal perturbation controls, and public code. The central caveat is that reachability is defined by a fixed finite probe, and several headline conclusions depend on treating that probe's success count as a faithful 'reachable ceiling' across checkpoints whose output distributions differ. This is an empirical audit rather than a derivation, and the main claims need to be robust to probe sensitivity before the reporting prescription is fully grounded.
major comments (3)
- [Setup; RLVR and Reachability (Fig. 6b, Tables 5-6)] The Setup explicitly says 'an answer not found by a finite probe is unobserved under that protocol, not impossible for the model,' yet the RLVR conclusion treats a drop in O_K as a drop in the reachable ceiling. For DAPO, Table 5 reports -13.3 points (40 fewer reachable questions), and Table 6 shows this persists at K=400. This is only valid if the fixed probe (temperature 0.8, base prompt, K<=400) has comparable sensitivity for base and trained checkpoints. RLVR is known to alter output format and diversity; Table 8 attributes 41-50% of the realization gain to prompt format, and Figure 2a elsewhere excludes 'format-collapse' cells. If DAPO's trained distribution collapses under the base-format probe, the -13.3 point drop may be a probe-sensitivity artifact rather than a contraction of solvable questions. Please provide candidate-output diagnostics (format, length, diversity) for the DAP
- [Figure 2a and Abstract] The Abstract claims random routes 'match or exceed structured search in all 43 model and task settings,' but Figure 2a reports '43 clean model–task cells; three format-collapse cells are excluded.' This is a post hoc exclusion, not 'all settings.' The paper never states the exclusion criterion or reports what happens in the excluded cells. Because the routing result is one of the paper's four contributions, the universal phrasing is misleading unless the exclusion rule is defined before the comparison and the excluded cells are shown. Please report the three excluded cells individually and restate the claim as 'all non-collapsed cells' or provide a pre-specified definition of 'clean.'
- [Tables 2, 5, 6, 7; Figure 6] Most headline tables and figures report point estimates without confidence intervals, and some of the supporting differences are small relative to the sample size. For example, Table 5's Qwen3.5 row has n=150 and a reachable-count change of -1; Table 6's SimpleRL row has n=150 and +1; these are within sampling noise. Yet the aggregate claim 'deployed performance rises while the reachable ceiling remains flat or falls' in 'five of six' matched evaluations depends on distinguishing zero from small nonzero changes. Please report paired bootstrap or McNemar confidence intervals for D, O_K, and their difference, and include the per-question transition matrices behind Figure 6a. This would also clarify whether the DAPO result is the only statistically secure divergence or whether the other cells support it.
minor comments (3)
- [Table 1] Table 1 mixes different budgets across rows, and the caption says the matched comparison is 'given in Figures 1 and 2.' For readability, add a budget column or use the same K across rows in the table; otherwise the row-to-row comparison is hard to interpret.
- [Setup (Recognition)] The 'recognition' auxiliary readout is defined as 'ranks the correct option under multiple-choice likelihood,' but the paper also uses tasks such as GSM8K and DART-Math that are not multiple-choice. State how recognition is operationalized for free-form generation tasks, or clarify that the MLP-localization census is restricted to multiple-choice tasks.
- [Figure 2a caption] The phrase 'clean model–task cells' appears without definition in the main text. Specify in the caption or Setup which cells are clean and why the three format-collapse cells are excluded.
Circularity Check
MLP repair rate is selected from the very failure set it then explains; the reachability/realization distinction itself is operational rather than derivationally circular.
-
fitted input called prediction
[Experiment / MLP Localization (Figure 4b, Table 3)]
"Magnitude pruning reproduced the same recognition-correct, generation-wrong pattern. Llama-3.1-8B showed a sharp 96.6% repair peak at layer 20, whereas Qwen2.5-7B showed a broader response across layers 12 and 16. ... Silencing the identified MLP block repaired the predefined failure more consistently than silencing attention in the same layer (Figure 5a; Table 3). MLP-block silencing repaired 67.6–92.0% of the evaluated failure set."
The layer identity is selected from the repair profile on the predefined failure set (the '96.6% repair peak at layer 20' defines which layer is 'identified'), and the same failure set is then used to report the repair percentage. This is selection-on-the-test-set: the headline 67.6–92.0% is the maximum over the searched layers used for identification, so the reported effect size is fitted to the data it is claimed to explain. The healthy-panel and reciprocal controls provide independent evidence of localization, but the specific repair magnitude is a selected statistic rather than an unbiased causal estimate.
full rationale
The central reachability/realization claim rests on an operational definition, not a derivation: reachability is explicitly protocol-relative ('an answer not found by a finite probe is unobserved under that protocol, not impossible for the model'), so flat or falling O_K is a statement about the measured probe, not about absolute model capability. The routing and RLVR comparisons are empirical and self-contained, with matched budgets and controls; answer-blind selectors are measured, not assumed to fail. The only notable circularity-like step is in the MLP localization analysis, where the layer whose silencing repairs the failure set is identified from that same failure set and then reported as repairing 68–92% of it. That inflates the effect magnitude by construction, though the specificity and reciprocal controls keep the localization claim partially independent. No equation reduces to a fitted parameter, and no load-bearing self-citation chain is present. Overall circularity is therefore partial and localized, not a collapse of the paper's main distinction.
Assumptions & free parameters
free parameters (5)
- candidate budget K =
8, 16, 64, 200, 400 depending on cell
- sampling temperature and subset size n =
temperature 0.8; n=150 or 300
- silenced MLP layer index =
L20 for Llama-3.2-3B; L29 for Gemma-4-12B; others per case
- top-32 directional unit set =
32 units per case
- alpha dose for directional perturbations =
2, 4, or 8 depending on case
assumptions (4)
- domain assumption The K-sample oracle maximum is treated as the 'reachable ceiling' for the fixed protocol.
- domain assumption The multiple-choice recognition readout (correct option ranked first under likelihood) indicates the model has the answer when direct generation fails.
- domain assumption Random routes with the same budget span the candidates structured search can find.
- domain assumption The n=150/300 question subsets are representative for each model-task cell.
Cite this review
Pith. "Pith review of Reachability Is Not Realization: Tracing the Sources of LLM Benchmark Gains." pith.science (2026). https://pith.science/paper/PMDL2TSU
@misc{pith2026260803219,
author = {Pith},
title = {Pith review of: Reachability Is Not Realization: Tracing the Sources of LLM Benchmark Gains},
year = {2026},
howpublished = {\url{https://pith.science/paper/PMDL2TSU}},
note = {Machine review of arXiv:2608.03219}
}
read the original abstract
Benchmark gains are often treated as evidence of greater LLM capability. Yet the same gain can reflect different changes in model behavior. A model may reach new answers, or produce answers that were already within reach. Aggregate scores do not distinguish these changes question by question. We establish a question-level audit under fixed budgets, temperatures, and answer formats. A question is realized when the default deployment procedure produces the correct answer. A question is reachable when a specified probe finds that answer within a fixed budget. We first test whether inference-time layer routing can expand reachability. Under a matched budget, random routes match or exceed structured search in all 43 model and task settings. Answer-blind procedures retain almost none of this gain, which instead requires access to the correct answer. We then ask why reachable answers sometimes fail to appear. Across six cases spanning 0.5B to 31B, silencing one identified MLP block repairs 68 to 92 percent of a predefined failure set. We next test whether training closes the gap by expanding reachability. In five of six matched evaluations, deployed performance rises while the reachable ceiling remains flat or falls. For DAPO, the deployed score rises by 14.7 points while the reachable ceiling falls by 13.3 points. Across the settings we audit, realization and reachability therefore do not always change together. Claims of capability expansion should report both realized performance and reachability under matched evaluation conditions. Code is available at https://github.com/LiZaiyuan0619/reachability-not-realization
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
Ahmed Heakl and Martin Gubri and Salman Khan and Sangdoo Yun and Seong Joon Oh , booktitle=. Dr. 2026 , url=
work page 2026
-
[2]
Skip a Layer or Loop It? Learning Program-of-Layers in LLMs , author=. 2026 , eprint=
work page 2026
-
[3]
Dynamic layer selection in decoder-only transformers , author=. 2024 , eprint=
work page 2024
-
[4]
Mixture-of-Depths: Dynamically allocating compute in transformer-based language models , author=. 2024 , eprint=
work page 2024
-
[5]
L ayer S kip: Enabling Early Exit Inference and Self-Speculative Decoding
Elhoushi, Mostafa and Shrivastava, Akshat and Liskovich, Diana and Hosmer, Basil and Wasti, Bram and Lai, Liangzhen and Mahmoud, Anas and Acun, Bilge and Agarwal, Saurabh and Roman, Ahmed and Aly, Ahmed and Chen, Beidi and Wu, Carole-Jean. L ayer S kip: Enabling Early Exit Inference and Self-Speculative Decoding. Proceedings of the 62nd Annual Meeting of ...
-
[6]
Filipe Laitenberger and Dawid Jan Kopiczko and Cees G. M. Snoek and Yuki M Asano , booktitle=. What Layers When: Learning to Skip Compute in. 2026 , url=
work page 2026
-
[7]
Router-Tuning: A Simple and Effective Approach for Dynamic Depth
He, Shwai and Ge, Tao and Sun, Guoheng and Tian, Bowei and Wang, Xiaoyang and Yu, Dong. Router-Tuning: A Simple and Effective Approach for Dynamic Depth. Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing. 2025. doi:10.18653/v1/2025.emnlp-main.99
-
[8]
arXiv preprint arXiv:2107.03374 , year=
Evaluating large language models trained on code , author=. arXiv preprint arXiv:2107.03374 , year=
Show all 47 references
-
[9]
The Eleventh International Conference on Learning Representations , year=
Self-Consistency Improves Chain of Thought Reasoning in Language Models , author=. The Eleventh International Conference on Learning Representations , year=
-
[10]
2026 , eprint=
When LLM Judge Scores Look Good but Best-of-N Decisions Fail , author=. 2026 , eprint=
2026
-
[11]
2026 , eprint=
ModeX: Evaluator-Free Best-of-N Selection for Open-Ended Generation , author=. 2026 , eprint=
2026
-
[12]
2026 , eprint=
LLMs as a Jury: Cross-Model Consensus Can Outperform Process Reward Models for LLM Reasoning , author=. 2026 , eprint=
2026
-
[13]
2026 , eprint=
Beyond Majority Voting: Efficient Best-Of-N with Radial Consensus Score , author=. 2026 , eprint=
2026
-
[14]
2026 , eprint=
Boosting Self-Consistency with Ranking , author=. 2026 , eprint=
2026
-
[15]
2026 , eprint=
KV-PRM: Efficient Process Reward Modeling via KV-Cache Transfer for Multi-Agent Test-Time Scaling , author=. 2026 , eprint=
2026
-
[16]
Bridging the Knowledge-Prediction Gap in
Yoonah Park and Haesung Pyun and Yohan Jo , booktitle=. Bridging the Knowledge-Prediction Gap in. 2026 , url=
2026
-
[17]
2026 , eprint=
Hallucination as Commitment Failure: Larger LLMs Misfire Despite Knowing the Answer , author=. 2026 , eprint=
2026
-
[18]
2026 , eprint=
From Early Encoding to Late Suppression: Interpreting LLMs on Character Counting Tasks , author=. 2026 , eprint=
2026
-
[19]
2026 , eprint=
Right Knowledge, Wrong Answer: Characterizing Parametric Temporal Conflict in Open-Weight Language Models , author=. 2026 , eprint=
2026
-
[20]
2026 , eprint=
MechELK: A Mechanistic Interpretability Framework for Eliciting Latent Knowledge in Large Language Models , author=. 2026 , eprint=
2026
-
[21]
2026 , eprint=
Wrong Before Right: Late Rescue and Interface Failure in Aligned Language Models , author=. 2026 , eprint=
2026
-
[22]
2026 , eprint=
PRISM Edit: One Vector for All Temporal Answers , author=. 2026 , eprint=
2026
-
[23]
From Reasoning to Answer: Empirical, Attention-Based and Mechanistic Insights into Distilled D eep S eek R1 Models
Zhang, Jue and Lin, Qingwei and Rajmohan, Saravan and Zhang, Dongmei. From Reasoning to Answer: Empirical, Attention-Based and Mechanistic Insights into Distilled D eep S eek R1 Models. Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing. 202...
2025 doi
-
[24]
2026 , eprint=
Multi-component Causal Tracing in Large Language Models , author=. 2026 , eprint=
2026
-
[25]
Does Reinforcement Learning Really Incentivize Reasoning Capacity in
Yang Yue and Zhiqi Chen and Rui Lu and Andrew Zhao and Zhaokai Wang and Yang Yue and Shiji Song and Gao Huang , booktitle=. Does Reinforcement Learning Really Incentivize Reasoning Capacity in. 2025 , url=
2025
-
[26]
2026 , eprint=
Understanding Diversity Collapse in RLVR via the Lens of Overtraining , author=. 2026 , eprint=
2026
-
[27]
2025 , eprint=
The Reasoning Boundary Paradox: How Reinforcement Learning Constrains Language Models , author=. 2025 , eprint=
2025
-
[28]
2025 , eprint=
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View , author=. 2025 , eprint=
2025
-
[29]
2026 , eprint=
Curriculum Reinforcement Learning Can Incentivize Reasoning Capacity in LLMs Beyond the Base Model , author=. 2026 , eprint=
2026
-
[30]
2026 , eprint=
Hard or Just Unreached? Diagnosing the Sampling Blind Spot in Math-Reasoning Difficulty Estimation , author=. 2026 , eprint=
2026
-
[31]
2025 , eprint=
Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs , author=. 2025 , eprint=
2025
-
[32]
2018 , eprint=
Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challenge , author=. 2018 , eprint=
2018
-
[33]
2021 , eprint=
Training Verifiers to Solve Math Word Problems , author=. 2021 , eprint=
2021
-
[34]
2019 , eprint=
PIQA: Reasoning about Physical Commonsense in Natural Language , author=. 2019 , eprint=
2019
-
[35]
2020 , eprint=
LogiQA: A Challenge Dataset for Machine Reading Comprehension with Logical Reasoning , author=. 2020 , eprint=
2020
-
[36]
2024 , eprint=
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving , author=. 2024 , eprint=
2024
-
[37]
arXiv preprint arXiv:2407.21783 , year=
The llama 3 herd of models , author=. arXiv preprint arXiv:2407.21783 , year=
-
[38]
2025 , eprint=
Qwen2.5 Technical Report , author=. 2025 , eprint=
2025
-
[39]
arXiv preprint arXiv:2607.02770 , year=
Gemma 4 technical report , author=. arXiv preprint arXiv:2607.02770 , year=
-
[40]
2025 , eprint=
SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild , author=. 2025 , eprint=
2025
-
[41]
Yu, Qiying and Zhang, Zheng and Zhu, Ruofei and Yuan, Yufeng and Zuo, Xiaochen and Yue, Yu and Dai, Weinan and Fan, Tiantian and Liu, Gaohong and Liu, Lingjun and others , journal=
-
[42]
2024 , eprint=
Large Language Monkeys: Scaling Inference Compute with Repeated Sampling , author=. 2024 , eprint=
2024
-
[43]
2024 , eprint=
Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters , author=. 2024 , eprint=
2024
-
[44]
Transformer Feed-Forward Layers Are Key-Value Memories
Geva, Mor and Schuster, Roei and Berant, Jonathan and Levy, Omer. Transformer Feed-Forward Layers Are Key-Value Memories. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. 2021. doi:10.18653/v1/2021.emnlp-main.446
2021 doi
-
[45]
Locating and Editing Factual Associations in GPT , url =
Meng, Kevin and Bau, David and Andonian, Alex and Belinkov, Yonatan , booktitle =. Locating and Editing Factual Associations in GPT , url =. doi:10.52202/068431-1262 , editor =
-
[46]
Proceedings of The 35th Uncertainty in Artificial Intelligence Conference , pages =
Random Search and Reproducibility for Neural Architecture Search , author =. Proceedings of The 35th Uncertainty in Artificial Intelligence Conference , pages =. 2020 , editor =
2020
-
[47]
arXiv preprint arXiv:2501.00656 , year=
2 OLMo 2 Furious , author=. arXiv preprint arXiv:2501.00656 , year=
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.