← All parts of this equation

Equation 1 · Part 6 · How Benchmark Contamination Actually Works in Agentic Evaluation

=

sobserved=scapability+Δleak+Δchecker+Δfingerprints_{\text{observed}} = s_{\text{capability}} + \Delta_{\text{leak}} + \Delta_{\text{checker}} + \Delta_{\text{fingerprint}}
=

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.

The passage around this formula

It is useful to write down what an observed pass rate on an agentic benchmark is actually made of, because the rest of this article is a tour of the terms: sobserved=scapability+Δleak+Δchecker+Δfingerprints_{\text{observed}} = s_{\text{capability}} + \Delta_{\text{leak}} + \Delta_{\text{checker}} + \Delta_{\text{fingerprint}}. scapabilitys_{\text{capability}} is the quantity anyone citing the score actually wants: the rate at which the policy would solve genuinely novel instances of this task class. Δleak\Delta_{\text{leak}} is inflation from the environment itself disclosing the solution — through its history, its documentation, or a live network path to the answer. Δchecker\Delta_{\text{checker}} is inflation from a verifier that can be satisfied by something other than a correct solution — a weak test suite, a policy that exploits how success is graded rather…

Read this part in the article →

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 →

The article lists its research sources here.