Imagine you're a basketball coach running tryouts. You need to pick five players from forty. The naive approach: rank everyone by individual talent, take the top five. But you end up with five point guards and nobody who can rebound. The smart approach: pick the five-person combination most likely to win a game together. That's what this paper does for large language model reasoning — it selects candidate solutions as a portfolio, not a leaderboard. The committed claim: directly optimizing pass@k over a pruned solution pool outperforms both quality-only and diversity-only pruning strategies across eight open-weight reasoning models. The key insight is that pass@k is itself a joint objective — it rewards individual correctness AND penalizes redundancy in a single formula, so you don't need separate quality and diversity modules fighting each other through ad-hoc hyperparameters. The test-time scaling context matters. Models like DeepSeek-R1 and QwQ generate many candidate reasoning chains ("thoughts") in parallel, hoping at least one lands on the right answer. Running all of them to completion is expensive. Pruning after a short prefix saves compute, but existing methods split into two camps: score-each-candidate-independently (quality) or pick-dissimilar-prefixes (diversity). These map cleanly onto the exploration-exploitation tradeoff, yet nobody had optimized the joint objective directly. The architecture is lightweight. After generating short prefixes, the method estimates per-prefix correctness probabilities and pairwise independence structure, then selects the subset maximizing the probability that at least one member is correct when completed. This is a combinatorial selection problem — the authors use a greedy approximation leveraging submodularity of the pass@k objective. No retraining, no learned verifiers, no heavyweight inference overhead. It sits on top of any reasoning model as a plug-in pruning layer. Results span eight models and multiple benchmarks. The gains are "particularly pronounced when the pruning procedure keeps a moderate number of partial solutions" — the regime where the quality-diversity tradeoff actually bites. At extremes (keep one, or keep almost all), every method converges. The sweet spot is the middle, where portfolio selection matters most. The paper reports consistent wins over both quality-based (e.g., process reward models) and diversity-based (e.g., embedding-distance selection) baselines. Integrity is solid but not ironclad. Eight open-weight models is a wide sweep, but the benchmarks and how they were chosen aren't pre-registered. The correctness-probability estimator is itself a model — its accuracy is load-bearing but not independently validated beyond the reported experiments. The paper doesn't release code at submission time (not stated), and the baselines are current but not exhaustively enumerated. The key question: does the greedy approximation's quality degrade gracefully as the candidate pool grows, or does it quietly plateau? The practical upside is real: if you're running test-time compute scaling on reasoning tasks, this gives you a principled pruning criterion that doesn't require separately tuning quality and diversity weights. The limitation is that pass@k optimization assumes you can estimate per-prefix correctness well enough for the combinatorial selection to be meaningful — garbage-in on the probability estimates means garbage-out on the portfolio.
