B-PAC Reasoning: Safety & Efficiency

• B-PAC reasoning is an online decision-making framework that combines inverse propensity scoring, betting martingales, and anytime-valid PAC guarantees to ensure safety and efficiency.
• It dynamically adjusts the use of high-cost models based on a statistical betting process that monitors uncertainty via thresholding to control risk.
• Empirical results demonstrate that B-PAC meets stringent performance guarantees and substantially reduces expensive model invocations in non-stationary environments.

Betting Probably Approximately Correct (B-PAC) reasoning refers to a class of online decision-making frameworks that certify performance to within a user-specified tolerance (ε) with high probability (1−α), while optimally minimizing the invocation of an expensive, high-accuracy “thinking model.” The B-PAC paradigm integrates sequential importance sampling, statistical betting martingales, and anytime-valid PAC (Probably Approximately Correct) guarantees. It addresses scenarios where only partial feedback on errors is available and the system must remain robust to non-stationary query streams, yielding practical and theoretically-sound online reasoning mechanisms for large reasoning models and boundedly rational agents (Yu et al., 30 Jan 2026, Oesterheld et al., 2023).

1. Problem Setting: Online Reasoning under Partial Feedback

B-PAC reasoning is motivated by the deployment of two black-box models: a high-accuracy, high-cost “thinking model” $f:\mathcal{X}\to\mathcal{Y}$, and a low-cost, lower-accuracy “non-thinking model” $f':\mathcal{X}\to\mathcal{Y}$. For each time $t$, a query $X_t$ is drawn from a possibly non-stationary stream. The output $f(X_t)$ is available only when the expensive model is invoked. The decision $f_t(X_t)\in\{f'(X_t),f(X_t)\}$ is determined online by a composite policy.

Crucially, the true response $Y_t$ is never directly observed; performance loss is measured relative to $f(X_t)$ as $\ell(f_t(X),f(X)) \in [0,1]$, where $\ell$ is a loss function. The population risk at time $f':\mathcal{X}\to\mathcal{Y}$0 under a thresholding policy is defined as

$f':\mathcal{X}\to\mathcal{Y}$1

The key objective is to guarantee, with high probability $f':\mathcal{X}\to\mathcal{Y}$2, that $f':\mathcal{X}\to\mathcal{Y}$3 for all $f':\mathcal{X}\to\mathcal{Y}$4 while minimizing invocations of the expensive model.

2. B-PAC Objective: Simultaneous Safety and Efficiency

The dual mandate of B-PAC reasoning is:

• Safety: Enforce the uniform bound $f':\mathcal{X}\to\mathcal{Y}$5 at all times $f':\mathcal{X}\to\mathcal{Y}$6 with probability $f':\mathcal{X}\to\mathcal{Y}$7 (the “anytime (ε,α)-PAC efficiency guarantee”).
• Efficiency: Minimize the cumulative fraction of queries routed to $f':\mathcal{X}\to\mathcal{Y}$8, measured as

$f':\mathcal{X}\to\mathcal{Y}$9

or the equivalent token-level savings.

To achieve both objectives, B-PAC dynamically adapts a threshold $t$0 on a scalar uncertainty score $t$1 for $t$2. If $t$3, $t$4 is used; otherwise, $t$5 is invoked. Raising $t$6 expands the usage of $t$7, but only when statistical evidence, quantified via a betting process, suffices to certify the performance loss remains within $t$8 (Yu et al., 30 Jan 2026).

3. Core Methodology: IPS Risk Estimation and Betting Martingales

The system must estimate the risk of delegating to $t$9 under selective feedback. Since $X_t$0 is observed only when $X_t$1 is called, B-PAC employs an inverse propensity scoring (IPS) estimator to correct selection bias. For any threshold $X_t$2, the estimator is:

$X_t$3

where $X_t$4 is the sampling probability (which depends on $X_t$5 and previous thresholds), $X_t$6 indicates whether $X_t$7 was called, and $X_t$8 is the minimal exploration rate.

A “test supermartingale” is constructed as a wealth process $X_t$9. At each round, a nonnegative, predictable bet $f(X_t)$0 is placed, and

$f(X_t)$1

with $f(X_t)$2. Under the null hypothesis that the true risk at threshold $f(X_t)$3 exceeds $f(X_t)$4, $f(X_t)$5 forms a supermartingale, ensuring anytime-valid control via Ville’s inequality (Yu et al., 30 Jan 2026).

4. Thresholding Algorithm and Theoretical Guarantees

A finite grid of candidate thresholds $f(X_t)$6 is maintained. At each round $f(X_t)$7:

1. Compute $f(X_t)$8 and $f(X_t)$9.
2. With probability $f_t(X_t)\in\{f'(X_t),f(X_t)\}$0 (determined by comparison to $f_t(X_t)\in\{f'(X_t),f(X_t)\}$1 and the exploration parameter $f_t(X_t)\in\{f'(X_t),f(X_t)\}$2), decide whether to call $f_t(X_t)\in\{f'(X_t),f(X_t)\}$3 (i.e., $f_t(X_t)\in\{f'(X_t),f(X_t)\}$4).
3. Update IPS estimator $f_t(X_t)\in\{f'(X_t),f(X_t)\}$5, betting fraction $f_t(X_t)\in\{f'(X_t),f(X_t)\}$6, and wealth $f_t(X_t)\in\{f'(X_t),f(X_t)\}$7 for each $f_t(X_t)\in\{f'(X_t),f(X_t)\}$8.
4. Set $f_t(X_t)\in\{f'(X_t),f(X_t)\}$9 to the largest $Y_t$0 for which $Y_t$1 for all $Y_t$2; otherwise, set $Y_t$3.

The principal safety guarantee is: with probability $Y_t$4, for all $Y_t$5, $Y_t$6 under i.i.d. queries or certain non-stationary regimes. The adaptive betting strategy, based on online convex optimization (using a projected fraction $Y_t$7 incorporating a second-order Taylor surrogate), ensures logarithmic regret $Y_t$8 to the best fixed threshold, enabling rapid convergence to optimal efficiency (Yu et al., 30 Jan 2026).

5. Connections to Bounded Inductive Rationality and Hypothesis Betting

B-PAC style reasoning generalizes to settings explored in the theory of bounded inductive rationality (Oesterheld et al., 2023). In this broader context, boundedly rational inductive agents (BRIAs) sequentially choose among a finite set of options $Y_t$9 each round, using an internal “betting” process over a countable family of hypotheses $f(X_t)$0 with computable recommendations and reward promises. BRIAs maintain a policy that never overestimates rewards and test each hypothesis infinitely often. The agent’s “wealth” for each hypothesis is updated via allowance schedules and observed payoffs. Coverage of hypotheses via statistical tests ensures that if any hypothesis promises consistently higher rewards, it is followed sufficiently often.

The general PAC-like guarantee in this setting asserts that, when a valid, high-reward hypothesis exists, the agent’s empirical mean reward converges with high probability to within $f(X_t)$1 of the best-expected reward, provided payoffs along the hypothesis’ trajectory are sufficiently random (e.g., van-Mises–Wald–Church or Schnorr randomness). In repeated games, pairs of BRIAs can implement any strictly individually rational correlated equilibrium, with empirical plays converging accordingly (Oesterheld et al., 2023).

6. Implementation and Empirical Results

B-PAC reasoning incurs negligible computational overhead compared to large model inference: $f(X_t)$2 per-round updates for a threshold grid of $f(X_t)$3 is typical. Exploration probabilities $f(X_t)$4 are managed by a two-stage schedule: a warm-up phase with $f(X_t)$5 for the initial $f(X_t)$6 rounds, then $f(X_t)$7 for steady-state operation. Asynchronous or sharded implementations of the betting martingale allow for high-throughput deployment (Yu et al., 30 Jan 2026).

Empirical benchmarks on MATH, MMLU-Pro, BIG-Bench Hard (BBH), and Magpie demonstrate substantial computational savings with stringent safety. For example, on Magpie with parameters $f(X_t)$8, $f(X_t)$9, B-PAC maintains empirical loss $\ell(f_t(X),f(X)) \in [0,1]$0 throughout, invokes the expensive model on only $\ell(f_t(X),f(X)) \in [0,1]$1 of queries, and reserves $\ell(f_t(X),f(X)) \in [0,1]$2 of tokens for it, outperforming offline PAC thresholds and ablation baselines that either violate safety or are overly conservative. Under non-stationary drifts, B-PAC adaptively tightens the threshold to preserve the safety guarantee, in contrast to fixed offline PAC (Yu et al., 30 Jan 2026).

7. Comparative Analysis, Limitations, and Significance

B-PAC’s integration of IPS estimation, betting supermartingales, and dynamic thresholding provides anytime-valid, model-agnostic, online control of reasoning risks—substantially generalizing classical PAC approaches and outperforming heuristic routing or simple union-bound-based methods. Naive estimators tend to violate safety or incur prohibitive expert-call rates ($\ell(f_t(X),f(X)) \in [0,1]$3). Classical Hoeffding-style methods are conservative, achieving safety at the expense of efficiency. Heuristic policies such as Chain-of-Draft or NoThinking do not reliably control loss.

A plausible implication is that B-PAC offers a broadly applicable, robust strategy for AI reasoning architectures under uncertainty and limited feedback, and connects deeply to theories of inductive rationality in both single-agent and multi-agent settings. The folk-theorem for BRIAs reinforces that B-PAC-type “betting” approaches are not artifacts of black-box model selection, but arise naturally in settings where optimality and bounded rationality must be simultaneously addressed (Oesterheld et al., 2023).