← Mathematical compendium

Published equation contexts

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

Why this formula appears here

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 the full article-specific guide →

Read the representative guide

sobserveds_{\text{observed}}

Symbol s_observed

sos_observed is part of the quantity the equation computes from the expression on the right.

Read this term in its guide →
scapabilitys_{\text{capability}}

Symbol s_capability

the quantity anyone citing the score actually wants: the rate at which the policy would solve genuinely novel instances of this task class.

Read this term in its guide →
Δleak\Delta_{\text{leak}}

Symbol Delta_leak

inflation from the environment itself disclosing the solution — through its history, its documentation, or a live network path to the answer.

Read this term in its guide →
Δchecker\Delta_{\text{checker}}

Symbol Delta_checker

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 than what it is graded on.

Read this term in its guide →
Δfingerprint\Delta_{\text{fingerprint}}

Symbol Delta_fingerprint

a shift, in either direction, from the policy detecting that it is inside an evaluation and adjusting its behavior because of that detection alone, independent of the task.

Read this term in its guide →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

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

Equation 1 · Model Evaluation

How Benchmark Contamination Actually Works in Agentic Evaluation

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.

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…

Meanings in this article

Equation guide → · Article →