---
title: PASS@(k, T) Framework Evaluation
url: https://www.emergentmind.com/topics/pass-k-t-framework
type: topic
---

# PASS@(k, T) Framework Evaluation

The PASS@$(k, T)$ framework extends the classical Pass@$k$ metric for evaluating large language models (LLMs) and agentic AI systems by introducing a two-dimensional, user-centric measure of success under constrained sampling and interaction resources. While Pass@$k$ traditionally estimates the probability that at least one of $k$ sampled outputs solves a problem, PASS@$(k, T)$ generalizes this by jointly parameterizing: (1) the number of independent trajectories, samples, or candidate solutions ($k$), and (2) the number of interaction rounds, environment steps, or input perturbations ($T$) permitted per attempt. This framework enables precise quantification of both the efficiency with which a model can solve tasks via sampling (breadth) and its capability to leverage more complex, sequential, or compositional reasoning through deeper interaction (depth). As such, PASS@$(k, T)$ provides a principled basis for evaluating, optimizing, and analyzing LLMs, especially in settings involving tool use, agentic planning, or meta-variation over task instances [2505.12938, 2604.14877, 2408.05715].

## 1. Formal Definition and Core Metric

PASS@$(k, T)$ is defined as the probability that, after drawing $k$ independent trajectories—each of which may use up to $T$ rounds of interaction with the environment, tool API, or variant generation pipeline—at least one trajectory succeeds. Formally, for a given task $q$ and agent policy $\pi$, one has:
\[
\mathrm{PASS}@\bigl(k, T\bigr)(q, \pi) = \Pr\left[\exists\, i \in \{1, \dots, k\} : \mathrm{succ}(\tau_i) = 1\right]
\]
where each $\tau_i$ is a trajectory (solution attempt) generated under policy $\pi$ with $T$ allowed steps, and $\mathrm{succ}(\cdot)$ is an indicator for task success [2604.14877]. In empirical studies, PASS@$(k, T)$ is often estimated using $n \geq k$ rollouts as:
\[
\widehat{\mathrm{PASS}@}(k,T) = 1 - \frac{\binom{n - c_T}{k}}{\binom{n}{k}}
\]
with $c_T$ the number of successful trajectories observed. The metric interpolates between static reasoning ($T=0$, recovering classic Pass@$k$) and agentic multi-step problem solving ($T>0$).

## 2. Motivations and Theoretical Foundations

The introduction of the $T$ parameter addresses critical limitations of prior evaluation schemes. In classic code generation and math reasoning tasks, Pass@$k$ solely captures sampling reliability—how likely it is to obtain a valid solution by increasing the sample count $k$—but cannot differentiate between models that merely sample more diversely and those that genuinely solve harder or deeper problems via interaction [2505.12938, 2408.05715]. By incorporating $T$, PASS@$(k, T)$ enables rigorous disambiguation of:

- **Efficiency Gains** (sampling axis $k$): How rapidly does adding more attempts increase success probability?
- **Capability Boundary Expansion** (interaction axis $T$): Can the model solve problems that are otherwise unattainable without deeper interaction or multiple reasoning/tool-use rounds?

The framework formalizes these axes, allowing empirical separation of improvements due to increased search breadth versus genuine expansion of the solvable problem space. For example, in static tasks, RL often merely reallocates probability mass within existing strategies, leading to pass-rate convergence as $k$ grows; in contrast, on compositional or multi-stage tasks, increasing $T$ can unlock new capabilities not accessible through resampling alone, and RL can expand the boundary of solvable queries [2604.14877].

## 3. Probabilistic Models of Inconsistency and Variants

PASS@$(k, T)$ is leveraged not only for interaction depth but also for modeling intra-task variation—e.g., generating $T$ semantically equivalent variants of a challenge and soliciting solutions from each ("Variator" agents) [2505.12938]. A representative probabilistic model assumes the original task has per-sample success rate $p_o$, and each generated variant exhibits clipped uniform fluctuation:
\[
P_v = [p_o + W]_0^1, ~ W \sim \mathrm{Uniform}([-w, w])
\]
The expected variant pass rate $p_v$ is then a piecewise function of $p_o$ and $w$. Under i.i.d. variant draws, one obtains:
\[
\mathrm{PASS}@\,(k,T) = 1 - \prod_{j=1}^T (1-P_{v,j})^{k_j}
\]
where $k_j$ solutions are submitted per variant $j$ ($\sum_j k_j = k$). For $T = k$ and $k_j = 1$, this simplifies to $1 - (1-p_v)^k$ [2505.12938].

This model yields two core theoretical guarantees:
- **Exponential Lower Bound:** $\mathrm{PASS}@\, (T,T) \geq 1 - (1-w/4)^T$.
- **Regret Bound:** The difference between optimized variant-based and repeat-based strategies vanishes exponentially with $T$.

These results clarify that, by embracing and structuring over the natural inconsistency of LLM responses, aggregate performance on Pass@$k$ can be robustly and predictably increased.

## 4. Empirical Estimation and Optimization Strategies

In practice, PASS@$(k, T)$ can be estimated or optimized using:

- **Hypergeometric estimation** for tasks with finite rollouts or candidate pools [2604.14877, 2408.05715].
- **Unbiased estimators** for full or partial groupings, as in code evaluation or RLVR. For binary rewards, the estimator is
\[
\mathrm{PASS@k} = 1 - \frac{\binom{n-c}{k}}{\binom{n}{k}}
\]
with $c$ the count of correct solutions [2505.15201, 2508.10751].
- **Direct policy optimization:** Using tailored per-sample reward transformations, such as those in Pass-at-$k$ Policy Optimization (PKPO), which admit analytic, unbiased, and low-variance gradient estimators for both binary and continuous reward settings [2505.15201, 2508.10751].
- **Surrogate losses for ranking:** In the Top Pass framework, training objectives directly maximize PASS@$(k,T)$ via pairwise or groupwise surrogate losses on candidate rankings, hard example mining, and joint cross-entropy stabilization [2408.05715].

Joint tuning of $k$ and $T$ thus allows practitioners to balance exploration (diversity and breadth) and exploitation (precision and depth).

## 5. Applications: Agentic Tool Use, Code Generation, and RLVR

PASS@$(k, T)$ has become a standard in domains where candidate generation and solution verification are decoupled, including:

- **Agentic tool-using LLMs:** Evaluating systems where the number of retrievals, tool calls, or API steps per sample (i.e., $T$) is variable, such as multi-hop search, compositional reasoning, or planning [2604.14877]. Only via PASS@$(k, T)$ can one empirically distinguish RL-driven capability expansion (divergence of pass-curves at large $k$ and $T$) from mere improvement in sampling efficiency.
- **Code generation systems:** Where a model typically samples $T$ candidate programs, potentially ranks them, and presents the top $k$ to the user; the PASS$(k,T)$ metric quantifies the expected probability that at least one correct solution appears among the $k$ user-inspected candidates [2408.05715].
- **Reinforcement Learning with Verifiable Rewards (RLVR):** RL algorithms can optimize for desired points on the pass@$(k,T)$ curve, enabling new strategies for balancing solution diversity and sample quality; differentiated reward shaping further facilitates annealing between exploration and exploitation during training [2505.15201, 2508.10751, 2510.23049].

## 6. Theoretical Properties, Bounds, and Limitations

PASS@$(k, T)$ subsumes various lower-dimensional metrics and admits strong theoretical analysis:

- For $T = 0$, it reduces to classical static Pass@$k$.
- For $T \to \infty$, it quantifies the full potential of the agent under unlimited depth.
- Combinatorial closed forms and variance-reduction baselines are available for efficient estimation and optimization [2505.12938, 2505.15201, 2508.10751, 2408.05715].
- Bounds: Exponential convergence of pass-rate to 1 as $k$, $T$ increase, provided the model places nonzero measure on correct solutions.
- **Scaling monotonicity:** New inference strategies, such as Best-of-Majority (BoM), achieve minimax-optimal regret rates as the sampling budget increases and are provably robust to choice of $N$, $k$ [2510.03199].

Limitations:
- All theoretical guarantees are contingent on model assumptions (i.i.d. sampling, symmetric variation) and (where relevant) correctness of variant/equivalence mappings.
- Computational load: The cost of generating and evaluating multiple variants or deep interaction trajectories can be significant [2505.12938].
- The framework applies where verifiable, automatic correctness evaluation is possible.

## 7. Implications, Extensions, and Future Directions

The adoption of PASS@$(k, T)$ enables granular, multidimensional analysis of LLMs and agentic systems:

- Disentangling reliability (efficiency) and capability boundary expansion at evaluation time. For static tasks, RL only improves sampling efficiency, but for sequential or compositional tasks, $T$ increases are essential to realize true capability growth [2604.14877].
- Structured exploitation of model inconsistency can yield provable aggregate gains—even in the regime of highly capable, low-variance frontier models—suggesting persistent relevance for future generations [2505.12938].
- Facilitates automated curriculum learning and hard-example mining by exposing the regions of the $(k, T)$ parameter space where models are most uncertain or exhibit sharp transitions in capability [2408.05715].
- Provides a rigorous target for the design of new RL algorithms, advantage shaping schemes, and inference protocols optimized for joint sample/interaction constraints [2505.15201, 2510.23049, 2510.03199].
- Ongoing directions include automated equivalence testing for task variants, adaptive sample allocation, and further integration with Bayesian model evaluation frameworks to address variance and uncertainty quantification [2510.04265].

By formalizing the dual resource axes of sample breadth and interaction depth, PASS@$(k, T)$ constitutes a foundational metric for the evaluation and optimization of LLM-driven reasoning, code, and agentic systems.

Source: https://www.emergentmind.com/topics/pass-k-t-framework