More thinking isn't more evidence: test-time compute meets correlated error.
• 3 min read • By Will Schulz
Key findings
- For n sources with average pairwise error correlation ρ, the effective number of independent sources is n / (1 + (n − 1)ρ), which levels off at 1/ρ however large n grows.
- At an error correlation of ρ = 0.5, sixteen samples from the same model are worth fewer than two independent ones.
- Shen and Yao's DIA method beat full chain-of-thought in 12 of 14 settings while activating on about 17% of examples and using up to 47.2% fewer tokens than a multi-agent baseline, per their preprint.
- Routes of Reasoning reported a median 30.4% cut in generated tokens across four mixture-of-experts models by editing router scores at inference, with accuracy falling by no more than 0.5 percentage points.
- The correlated-error argument against stacking samples is classical ensemble theory, going back to Clemen and Winkler in 1985, restated for language models.

Test-time scaling rests on an appealing idea: if a model can think longer, or answer many times and vote, its answer should improve. Often it does. A June preprint from McFadyen and colleagues, testing up to 12 frontier models on seven benchmarks, argues that fixed-budget evaluations can increasingly understate frontier capability, and that benchmark scores should be reported as a function of inference compute. More compute buys real performance. The open question is what kind of information that compute produces.
A preprint posted on October 16 takes direct aim at the usual assumption. In Not All Test-Time Compute Is Evidence, Ming Shen and Tianjun Yao argue that extra computation from the same model does not behave like independent evidence, because its errors are correlated across repeated samples, across reasoning depth and in the model's evaluation of its own work. Their remedy, DIA, watches for disagreement between an intermediate answer and the final one, and only then sends the question to a panel of different models that solve it independently. They report that DIA beats full chain-of-thought in 12 of 14 settings across seven benchmarks and two base models, including a 7.00% gain on MuSiQue, while activating on about 17% of examples and using up to 47.2% fewer tokens than a multi-agent baseline.
The statistics behind this are old. For n sources with average pairwise error correlation ρ, the effective number of independent sources is n / (1 + (n − 1)ρ), which levels off at 1/ρ however large n grows. At ρ = 0.5, sixteen samples are worth fewer than two independent ones. We reached the same conclusion in our correlated-critique work, where our literature check found the core framing to be largely classical ensemble theory, going back to Clemen and Winkler in 1985, restated for language models. What is new is the setting. Reasoning models make the correlation easy to overlook, because their repeated attempts look so much like deliberation.
If decorrelation is the lever, then the useful questions change. Lifshitz and colleagues pointed this way in 2025 with multi-agent verification, treating the number of verifiers as its own scaling axis. Dughmi and colleagues add the economics in a May theory paper on search with costly verification, where checking a candidate is expensive enough that the order of checks matters. DIA's 17% activation rate belongs in the same category: spend independent compute only where a cheap signal says it is needed.
A paper from November 4 attacks the waste from the other end. Routes of Reasoning targets overthinking, where a model keeps verifying after it already has the answer. By editing expert router scores in mixture-of-experts models at inference, without any training, the authors report a median 30.4% cut in generated tokens across four models and four benchmarks, with accuracy never falling by more than 0.5 percentage points. If much of a model's re-checking adds little, that fits the correlation story, though the paper tests a different question.
These results need the usual caution. All are preprints, the numbers above come from their abstracts, and none has been independently replicated. Verification will have a visible presence at NeurIPS 2026 next month, in workshop titles such as "Who Verifies the Agents?" and "Can We Trust the Judge?". For anyone building on reasoning models today, the practical advice is already clear: before adding samples, ask how correlated they are.
Sources
- Not All Test-Time Compute Is Evidence: Model-Specific Bias in LLM Reasoning — arXiv:2610.23213, October 2026
- Routes of Reasoning: Reading and Reshaping Test-Time Compute in MoE Models — arXiv:2611.05919, November 2026
- How Inference Compute Shapes Frontier LLM Evaluation — arXiv:2606.17930, June 2026
- Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification — arXiv:2605.17609, May 2026
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers — arXiv:2502.20379, February 2025
- Announcing the NeurIPS 2026 Workshops — NeurIPS Blog, August 2026
Related research
- Research Desk • Machine LearningA model rewrote another model's weights. Read what it took away.An MIT agent edited 0.016% of a small Qwen model and its math scores jumped. Across weight editing in 2026, subtraction works and addition still lags.
- Publication • EvaluationA critic that shares the generator's prompt shares its errors: measured self-critique correlation
- Publication • Test-Time ComputeThurstone bounds Best-of-N: a 1927 identity, calibrated for modern verifiers
- Publication • Test-Time ComputeWhen more sampling hurts: verifier exploitability, not accuracy, bounds test-time compute
- Publication • Test-Time ComputeWhen the exploit is constructed: ranking collapses, counting survives
- Publication • Test-Time ComputeExploitability is a property of a verifier and its candidate pool, not the verifier alone
Learn the background
- Academy • Test-Time Compute & VerificationSpending compute at inference: sampling, Best-of-N and coverage
- Academy • Test-Time Compute & VerificationWhen the verifier is the bottleneck
- Academy • Test-Time Compute & VerificationMajority vote, self-consistency and correlated judges
- Research tool • In-browser · Python CLIverifier-budgetThe modelled Best-of-N sampling budget N*(ε) and the selection rule (argmax vs. consensus) from a verifier's measured exploitability, with an ε estimator for a labelled validation set. A model: real judges did not collapse by N = 32 in the lab's pre-registered test (findings 8.13).
- Research tool • In-browser · Python CLIverifier-panelHow much an LLM-judge panel is really worth: error correlation, effective panel size, the majority-vote ceiling — from two numbers or straight from a critics × items miss matrix — and a tail check before trusting a Φ-based ε.
