LLM inference often generates a batch of candidates for a prompt and selects one via strategies like majority voting or Best-of- N (BoN). For difficult tasks, this single-shot selection often underperforms. Consequently, evaluations commonly report Pass@k: the agent may submit up to k responses, and only the best of them is used when computing regret. Motivated by this, we study inference scaling in the more general Pass@k inference setting, and prove that neither majority voting nor BoN exhibits the desirable scaling with k and the sampling budget N. Combining the advantages of majority voting and BoN, we propose a new inference strategy called Best-of-Majority (BoM), with a pivotal step that restricts the candidates to the responses with high frequency in the N samples before selecting the top-k rewards. We prove that when the sampling budget is N=Ω~(C∗), the regret of BoM is O(εopt+εRM2C∗/k), where C∗ is the coverage coefficient, εRM is the estimation error of the reward model, and εopt is the estimation error of reward at the optimal response. We further establish a matching lower bound, certifying that our algorithm is minimax optimal. Beyond optimality, BoM has a key advantage: unlike majority voting and BoN, its performance does not degrade when increasing N. Experimental results of inference on math problems show BoM outperforming both majority voting and BoN.
Figures & tables
Algorithm
Worst-case regret
Scaling-monotonic
Optimal k -scaling
Majority voting
Ω(1) (Theorem 4.1 )
No
No
Best-of- N
Ω(min{1,ϵRM2N/k}) (Theorem 4.2
No
Unknown
Best-of-Majority (Ours)
O(ϵopt+ϵRM2C∗/k) (Theorem 5.1 )
Yes
Yes
Lower Bound
Ω(ϵopt+ϵRM2C∗/k) (Theorem 6.1 )
-
-
Table 1: Comparison of Pass@ k inference strategies. Our algorithm BoM is the first minimax-optimal Pass@ k inference strategy. Compared with majority voting and BoN, BoM is scaling-monotonic, indicating that the optimal performance can be achieved with large sampling budget N , making it preferable when scaling up N to achieve better performance. Additionally, the term O(ϵRM2C∗/k) in the regret of BoM scales optimally with k , while majority voting suffers from constant regret. BoN lacks the regret upper bound in the Pass@ k inference problem.
Figure 1: The results with different k . BoM consistently outperforms the baselines on MATH-500 for all k and on AIME24, GSM8K when k is small, and matches the performance of baselines in other settings.
Figure 2: The results with fixed k and different N . When N increases, the performance of BoN is likely to decrease over all the k . The performance of Majority voting remains at a low level. Among them, BoM has a more consistent performance and outperforms baselines with larger N .
Pass@ k
1
2
3
5
10
α=0 (BoN)
83.6
87.2
88.8
89.2
90
α=0.003
86
88.8
89
89.2
90
α=0.005
86.8
89.2
89.6
89.8
90.2
α=0.007
86.6
89
89.6
89.8
90.2
α=0.011
86.6
88.8
89.4
89.4
89.6
α=0.015
87.4
88.8
89.4
89.4
89.8
Table 2: Ablation study of α of BoM in MATH500, Qwen3-4B
Appendix figures & tables4 assets
Supplementary material from the paper’s appendix.
Appendix
Pass@ k
1
2
3
5
10
α=0 (BoN)
53.3
60
63.3
70
73.3
α=0.003
56.7
66.7
70
73.3
73.3
α=0.005
53.3
66.7
70
70
70
α=0.007
56.7
70
70
70
70
α=0.011
50
63.3
63.3
63.3
63.3
α=0.015
50
60
60
60
60
Appendix
Table 3: Ablation study of α of BoM in AIME24, Qwen3-4B
Pass@ k
1
2
3
5
10
α=0 (BoN)
83.58
88.56
91.50
92.38
93.26
α=0.003
85.34
90.32
92.38
92.67
92.67
α=0.005
85.34
90.03
92.08
92.38
92.38
α=0.007
85.92
90.62
92.08
92.08
92.08
α=0.011
86.22
90.32
91.50
91.50
91.50
α=0.015
86.22
90.32
91.20
91.20
91.20
Appendix
Table 4: Ablation study of α of BoM in GSM8k, Qwen3-4B
Figure 3: The results of different k with N=500 using InternLM2-reward, Qwen3-4B-Instruct .
Figure 4: The results of different k with N=500 on Qwen2.5-1.5B.
Majority voting over multiple LLM attempts improves mathematical reasoning, but correlated errors limit the effective sample size. A natural fix is to assign different reasoning strategies to different voters. The approach, Diverse Prompt Mixer, is tested on the AIMO 3 competition: 3 models, 23+ experiments, 50 IMO-level problems, one H100 80 GB, 5-hour limit. Every prompt-level intervention fails. High-temperature sampling already decorrelates errors; weaker strategies reduce accuracy more than they reduce correlation. Across an 8-point capability gap at equal N=8 and every optimization tested, model capability dominates. The gap between the best majority-vote score (42/50) and pass@20 (~45.5) is selection loss, not prompt loss. A verifier-based selector could close it. Prompt engineering cannot.
Test-time scaling can improve LLM reasoning, but existing approaches typically adapt generation or apply answer selection after a predetermined generation schedule. We study within-instance allocation: under a hard per-instance prompt-plus-completion token cap, when should inference stop, generate another candidate, or spend residual tokens adjudicating candidates already observed? BOSS is a training-free policy for this three-way decision, with worst-case budget checks before every generation and judge call. Its key contribution is online generation-adjudication allocation under one shared token ledger. Across two Llama-3.1 models and four reasoning benchmarks, BOSS attains the highest accuracy in 22 of 24 model-task-budget cells under the common hard cap. At Llama-3.1-8B and B=4k, it reaches 60.5 macro-average accuracy versus 58.6 for Adaptive-Consistency, 59.1 for TALE-EP, and 58.9 for fixed-schedule League. On identical Stage-I candidate pools, randomized A/B judging with repeated voting improves plurality from 58.4 to 60.3, with the full BOSS selector reaching 60.5. Approximately matched-cost controls further characterize how the benefit of adjudication changes with available inference budget. Together, these results establish generation-adjudication allocation as a distinct design axis for reasoning under strict per-instance caps.
Yupeng Chang, Yahan Li, Chenlu Guo +3
School of Artificial Intelligence, Jilin University · Xingchen AGI Lab, China Telecom Artificial Intelligence (Beijing) Co., Ltd., China · Bilibili Inc., China +3
Best-of-N inference scaling (drawing N candidate answers from a language model and returning the one a reward model ranks highest) improves accuracy by an amount that varies across models, but predicting that amount in advance currently requires running the procedure end-to-end. Prior work links cheap statistics of a model's sampled outputs and validation-set correctness (how often samples agree, how diverse they are, how confident the model is, and where correct samples appear) to model behavior, but does not isolate which of these form a stable, compact predictor of best-of-N gain. We fit ridge predictors on features computed from a single labeled validation-set sampling pass, use bootstrap-Lasso as a stability analysis of the candidate feature set, and give a concentration analysis with an explicit linear-approximation residual. Across three base-model families, six post-training methods, and math and reasoning task domains, the stability analysis identifies a strict three-feature core spanning prompt-level agreement spread, label-assisted first-correct-sample position, and completion-length variance; a compact ridge predictor built from this core plus an entropy add-on reaches Spearman ρ=0.90 with actual best-of-N gain under a reward-model verifier. The intended use is labeled validation-set screening of candidate configurations before paying the full reward-model scoring cost.
Luyang Zhang, Jingyan Li
Carnegie Mellon University · Johns Hopkins University