When does a scaling result justify a different allocation? A critical review of resource-allocation evidence for AI systems
Organizations: Kenan-Flagler Business School University of North Carolina at Chapel Hill, Chapel Hill, NC, USA
Abstract
AI scaling studies increasingly evaluate systems that combine a pretrained model with retrieval, search, verification, tools, and interaction. Yet a higher score under a larger budget does not by itself show where additional resources are best spent. This critical integrative review asks when a reported scaling result supports a resource-allocation decision. It compares evidence across pretraining, test-time computation, retrieval, and agent evaluation, distinguishing the performance of a tested procedure from the best performance achievable under a resource limit. The synthesis shows that three mismatches recur across this evidence: success counted before an answer is chosen, information a deployed system will not have, and costs left out of the comparison. A capability surface expresses performance as a function of budgets, mechanisms, and available information. Worked analytical examples show how the evaluation metric, deployment volume, selection rule, and stopping policy can alter an allocation conclusion. A resource envelope provides a structured record of the task, development and run-time resources, information access, and procedure behind a reported score. Its application to a published comparison illustrates which conclusions the evidence supports and which deployment questions remain unresolved. The resulting framework specifies the comparisons needed to choose among feasible systems and motivates experiments on the transfer of allocation rules across tasks and operating conditions. It does not propose a universal scaling law or infer general intelligence from benchmark gains.
Figures & tables
| Element | This review |
|---|---|
| Search window | Closed 9 September 2026. |
| Sources | arXiv, conference proceedings, OpenReview, the ACL Anthology, and publisher records. |
| Search method | Foundational scaling and evaluation papers, their citations followed in both directions, and targeted searches on scaling laws, the training–inference split, test-time computation, retrieval and datastore scaling, verification and repeated sampling, agent coordination, metareasoning, and resource-aware evaluation. Narrower searches on distillation, quantization, speculative decoding, and serving. |
| Included | A study that varied a resource or mechanism, analyzed a computational or information constraint, or stated an evaluation principle needed to interpret such variation. |
| Included with a limited role | Methods papers where a mechanism needed explaining. Compression and serving methods, for their effect on what a budget can buy. |
| Excluded | Application surveys with no transferable argument about allocation. |
| Prior contribution | Established focus | What this review adds |
|---|---|---|
| Metareasoning and anytime algorithms | Value of computation; stopping and quality–time trade-offs | Uses these principles to assess which allocation conclusions the reviewed experiments support. |
| Training–inference allocation | Model size, training duration, serving demand, and inference effort | Asks that a training option and an inference option be scored on the answer actually returned and costed over the whole system, verifier and index included. |
| Retrieval and datastore scaling | Effects of external memory on loss and task accuracy | Separates new information, re-access to seen information, and processing cost as distinct explanations of a gain. |
| Compound-system optimization | Selection and optimization of models, prompts, modules, and calls | Asks which configuration gains survive when both configurations are costed the same way and allowed the same information. |
| Reasoning and test-time surveys | Taxonomies of inference, learning, verification, efficiency, and agent architectures | States what each experimental design can and cannot show about where to spend. |
| Resource-aware agent evaluation | Cost–quality trade-offs, holdouts, and reproducibility | Records in one place what the agent was allowed, what it consumed, what it could see, and when it stopped. |
| Study | Main variation | Outcome and supported inference | Boundary or qualification |
|---|---|---|---|
| Hoffmann et al. (2022) | Parameters and training tokens | Loss-based compute allocation within the studied training regime | Does not optimize retrieval, selectors, or deployment demand. |
| Sardana et al. (2024) | Training duration, size, and serving demand | Inference-aware development changes the cost-optimal model choice | Depends on loss fits, serving assumptions, and the cost model. |
| Snell et al. (2025) | Search, revisions, and prompt difficulty | Allocation among tested inference strategies can improve compute efficiency | Difficulty estimation, trained proposer/verifier, and task regime matter. |
| Wu et al. (2025) | Model size and inference algorithm | Smaller models with suitable sampling or search can improve tested cost–accuracy trade-offs | Mathematical reasoning results and FLOP accounting do not establish universal model substitution. |
| Chen et al. (2024) | Call count under voting and filtering | More calls can help some queries and hurt others, producing non-monotone aggregate returns | A procedure’s performance curve is distinct from the attainable frontier over an expanding feasible set. |
| Brown et al. (2024) | Number of generated candidates | Coverage continues improving in settings where practical selection is weaker | Pass@ requires a success criterion; coverage is not returned-answer accuracy. |
| Study or family | What the evidence establishes | What is needed for an allocation claim |
|---|---|---|
| RAG, RETRO, Atlas | External evidence can be integrated through distinct retrieval and training mechanisms | Match corpus access, reader-model training, and context costs before comparing scale. |
| Shao et al. (2024) | Larger datastores improve measured outcomes in the studied retrieval systems | Extend training-compute comparisons with index, serving, storage, and update costs. |
| Fang et al. (2025) | Reaccessing pretraining data can improve task accuracy after decontamination | Keep pretraining-equivalent gains separate from full-system cost savings. |
| Singh et al. (2026) | Reuse and held-out retrieval differ; scale interactions vary by outcome | Interpret perplexity and accuracy separately and incorporate the reported cost components. |
| Study | Relevant system intervention | Limit on the allocation conclusion |
|---|---|---|
| Lightman et al. (2024) | Learned process verification | Supervision and verifier development are resources, not free annotations. |
| Setlur et al. (2025) | Verifier-based versus verifier-free learning and inference | The separation depends on policy and reward assumptions, supervision, and joint training–inference scaling. |
| Huang et al. (2025) | Best-of- and pessimistic reward-guided selection | Coverage and reward-model error govern scaling; increasing can amplify reward hacking. |
| Chen et al. (2025) | Model choice across compound-system modules | The optimized object is a bounded module configuration under its scoring assumptions. |
| Shen et al. (2025) | Longer interaction and curriculum-based training | Added observations and changed training must be distinguished from internal thinking. |
| Kim et al. (2025) | Agent architecture, model, and task configuration | More agents can help or hurt under a particular coordination rule; cost coverage varies by experiment. |
| Task demand | Candidate bottleneck | Discriminating intervention | Primary measurement |
|---|---|---|---|
| Predictive competence | Insufficient training or distributional coverage | Vary model/data under a fixed recipe; separately vary acquisition | Held-out loss and task transfer, each named |
| Discovery | Poor proposals, weak selection, or expensive checking | Cross generator and verifier budgets; vary access to valid feedback | Coverage, returned-answer accuracy, and validation cost |
| Causal inference | Missing identifying information | Compare observations, justified assumptions, and interventions | Error on identified targets; sensitivity to assumptions |
| Sequential composition | Insufficient sequential computation or accessible state | Cross task depth with model depth, reasoning steps, and memory | Success versus task complexity and consumed resources |
| Configuration | Perplexity | Accuracy | ||
|---|---|---|---|---|
| Small, no retrieval | 0.35 | 0.65 | 2.857 | 0 |
| Small, retrieval | 0.45 | 0.55 | 2.222 | 0 |
| Large, no retrieval | 0.49 | 0.51 | 2.041 | 0 |
| Large, retrieval | 0.55 | 0.45 | 1.818 | 1 |
| Field | Information to record | Why it changes interpretation |
|---|---|---|
| Task and outcome | Task/version, sampling, split, metric, answer-extraction rule, aggregation, uncertainty | Distinguishes loss, coverage, returned-answer accuracy, cumulative success, and conditional reliability. |
| Development | Model/checkpoint; training and post-training; data provenance; index and verifier construction; configuration-search budget | Exposes costs and information incorporated before evaluation, including discarded trials where relevant. |
| Run-time allowance | Per-query and global caps for tokens, time, calls, samples, and environment steps | Describes what was permitted, not necessarily what was consumed. |
| Run-time consumption | Input/output/reasoning tokens where available; actual calls; latency distribution; memory; hardware or API price/date | Distinguishes actual expense from allowance and makes proxies auditable. |
| Information access | Corpus version and overlap; tools; environment observations; resets; labels; human, oracle, or learned feedback | Reveals whether two systems solve the task with comparable evidence and assistance. |
| Mechanism | Prompts, retriever, search, branching, coordination, state, verifier, and model-routing rules | Identifies the procedure conditional on which a scaling curve was measured. |
| Field | What the study reports | Where |
|---|---|---|
| Task and outcome | MATH, 500-question test split (12k train), PaLM 2-S* base model. Outcome: accuracy of the single returned answer, reported by five difficulty bins defined from the base model’s pass@1 over 2,048 samples. Uncertainty intervals: not reported in the inspected sections. | §3.2, §4 |
| Development | A process reward model (PRM) fine-tuned from the base model on Monte Carlo rollout labels (16 samples per question, 16 rollouts per step; no human process labels). A revision model trained by supervised fine-tuning (SFT) on multi-turn data constructed post hoc from 64 parallel samples per question. Compute for either: not reported. Strategy selection uses validation data. | §3.2, §5.1, §6.1; Apps. F, L |
| Run-time allowance | A generation budget of samples or revisions (up to 256 in search experiments; 128 in the sequential/parallel sweep); beam search capped at 40 expansion rounds; lookahead depth . In §7, a FLOPs-matched budget at three inference loads, , where and are total inference and pretraining token counts. | §5.2, §6.2, §7 |
| Run-time consumption | Section 7 uses training FLOPs and inference FLOPs, the latter doubling to include verifier overhead; denotes parameters. The 2,048 samples per question used to estimate difficulty are explicitly not charged (“our experiments do not account for this cost”). Latency and monetary cost: not modeled. | §3.2, §5.2, §6.1, §7 |
| Information access | “Oracle difficulty” bins use ground-truth correctness on the test set; “model-predicted difficulty” uses the learned verifier on the same 2,048 samples. Strategy choice uses validation data. Few-shot prompts; no retrieval, tools, or environment. | §3.2, App. E |
| Mechanism | Proposer: few-shot prompted base model, or the fine-tuned revision model. Verifier: last-step PRM for search; a separately trained outcome reward model (ORM) for revisions. Search: best-of- weighted, beam search, lookahead search. Sequential versus parallel allocation of the generation budget. | §5.1, §5.2, §6; App. N |
AI Agent Evaluation
AI agent evaluation measures whether tool-using systems complete tasks reliably, safely, and efficiently across interactive settings.
See all 521 papers