Equation 12 · Part 3 · How Benchmark Contamination Actually Works in Agentic Evaluation
=
=
What this part means
The expressions on both sides represent the same quantity under the stated assumptions.
Its job in the formula
The equals sign connects the complete expression on the left with the complete expression on the right. Both sides must have compatible units.
Full expression→=→Article meaning
The passage around this formula
averaged over tasks to produce the benchmark’s headline number. The metric is designed to punish an agent whose competence is real but inconsistent across resampled trials — a stochastic policy with true per-trial success probability p has , which falls quickly as k grows. But a policy whose output on a given task is deterministic — an empty response, always, regardless of sampling — produces the identical transcript on every trial, so . A degenerate exploit is not merely invisible to pass@1; it is more invisible to pas, precisely because pas was built to reward consistency, and a fixed, checker-satisfying non-answer is the most consistent…
Learn the underlying idea
An equals sign says that the expression on its left and the expression on its right have the same value under the stated definitions and assumptions.
Open the illustrated equality: what the equals sign claims guide →
Sources cited in the article section
- [8] Establishing Best Practices for Building Rigorous Agentic Benchmarks ↗
- [7] τ-bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains ↗
- [9] Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent Evaluation ↗
These citations provide research context; check each source for the exact claim it supports.