Research map / Reinforcement learning / RL from feedback
Is Best-of-N the Best of Them? Coverage, Scaling, and Optimality in Inference-Time Alignment
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Formalizes inference-time alignment as a sample-and-evaluate problem, proves Best-of-N is suboptimal under average coverage, and proposes InferenceTimePessimism (chi-square-regularized rejection sampling at inference time) that is regret-optimal and scaling-monotonic.
Problem
Best-of-N sampling at inference time improves a pre-trained policy's responses but degrades due to reward overoptimization as N grows; the paper asks how well inference-time alignment can perform given an imperfect reward model and how much compute is needed.
Approach
Replace the single-parameter Best-of-N with a chi-square-regularized target distribution pi(y|x) proportional to pi_ref(y|x) times relu((r_hat - lambda)/beta), sampled at inference time via rejection sampling with an estimated normalizer, implementing pessimism in the face of uncertainty and separating compute (N) from regularization (beta).
Key results
- InferenceTimePessimism's accuracy increases monotonically with N on GSM8K while Best-of-N dips at large N due to reward overoptimization.
- With N=2^13, InferenceTimePessimism tends to have higher average accuracy lift than BoN across tasks, e.g., Mistral-7B on GSM8K with OASST reward: 4.15 vs -12.10 percent lift.
- Theory: BoN regret scales as sqrt(N*eps) for large N (degrades), while InferenceTimePessimism achieves sqrt(C*eps) regret, matching a lower bound.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with OASST reward model · GSM8K | % lift in accuracy over base policy: -5.61 ± 1.13 -> 0.87 ± 0.94 | Helped |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with GEMMA-RM reward model · GSM8K | % lift in accuracy over base policy: 4.10 ± 1.08 -> 5.61 ± 0.92 | Helped |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with LLAMA-RM reward model · GSM8K | % lift in accuracy over base policy: 12.12 ± 0.95 -> 12.03 ± 0.90 | No clear effect |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with ARMO-RM reward model · GSM8K | % lift in accuracy over base policy: 13.12 ± 0.96 -> 12.44 ± 0.88 | Hurt |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with OASST reward model · MMLU | % lift in accuracy over base policy: -5.61 ± 5.50 -> -0.71 ± 4.76 | Helped |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with GEMMA-RM reward model · MMLU | % lift in accuracy over base policy: 7.57 ± 6.05 -> 14.29 ± 5.24 | Helped |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with LLAMA-RM reward model · MMLU | % lift in accuracy over base policy: 25.41 ± 6.10 -> 24.48 ± 5.55 | No clear effect |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with ARMO-RM reward model · MMLU | % lift in accuracy over base policy: 16.20 ± 6.42 -> 21.12 ± 5.58 | Helped |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with OASST reward model · MATH | % lift in accuracy over base policy: 3.32 ± 3.98 -> 3.41 ± 3.84 | No clear effect |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with GEMMA-RM reward model · MATH | % lift in accuracy over base policy: 15.36 ± 4.27 -> 18.36 ± 4.02 | No clear effect |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with LLAMA-RM reward model · MATH | % lift in accuracy over base policy: 41.74 ± 4.35 -> 41.47 ± 4.30 | No clear effect |
| Use InferenceTimePessimism instead of BoN | Phi-3-Mini with ARMO-RM reward model · MATH | % lift in accuracy over base policy: 21.72 ± 4.19 -> 26.72 ± 3.98 | Helped |
Surprising findings
- Best-of-N with a tuned N performs similarly to InferenceTimePessimism on binary-reward tasks, since coverage measures coincide there.
- KL-regularized rejection sampling requires exponentially many samples in Rmax/beta, unlike the chi-square approach.
Limitations
- Experiments use binary correctness rewards, where BoN and the proposed method perform similarly, so the advantage is not clearly shown in realistic settings.
- Requires tuning beta, and defaults to BoN when rejection sampling accepts no responses for small N.
- Analysis is worst-case over the reward model error and abstracts away reward training.
Experimental setup
Datasets: GSM8K MMLU MATH AlpacaEval-2.0
Benchmarks: GSM8K MMLU MATH AlpacaEval-2.0
Metrics: accuracy lift over base policy win rate
Baselines: Best-of-N
Builds on: best-of-n sampling chi-PO approximate rejection sampling KL-regularized RLHF
Closest papers by meaning
- On the Limits of Test-Time Compute: Sequential Reward Filtering for Better Inference (ICML 2026 · similarity 0.92)
- Inference-Time Reward Hacking in Large Language Models (NeurIPS 2025 · similarity 0.92)
- Inference-time Alignment in Continuous Space (NeurIPS 2025 · similarity 0.91)
- Compute Aligned Training: Optimizing for Test Time Inference (NeurIPS 2026 · similarity 0.91)
- Fast Best-of-N Decoding via Speculative Rejection (NeurIPS 2024 · similarity 0.91)
- Tail Competition Explains Scaling in Best-of-N Sampling for Verifiable Problems (NeurIPS 2026 · similarity 0.90)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.
