← All parts of this equation

Equation 23 · Part 1 · Measuring What a RAG System Retrieves, Not Just What It Answers

Symbol P

P(correct∣¬R)P(\text{correct} \mid \lnot R)
PP

What this part means

inflated by memorisation rather than by any generalisable capability, and every end-to-end score computed against that reference set overstates what the retrieval component is doing.

Its job in the formula

P is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Where the article explains it

For RAG evaluation the consequence is sharper than for a plain language-model benchmark, because contamination corrupts exactly the term this article has been isolating: a contaminated model can produce a correct, fluent answer with the retriever disabled entirely, which means P(correct\text{correct} ∣\mid ¬\lnot R) is inflated by memorisation rather than by any generalisable capability, and every end-to-end score computed against that reference set overstates what the retrieval component is doing.

The passage around this formula

…plain language-model benchmark, because contamination corrupts exactly the term this article has been isolating: a contaminated model can produce a correct, fluent answer with the retriever disabled entirely, which means P(correct\text{correct} ∣\mid ¬\lnot R) is inflated by memorisation rather than by any generalisable capability, and every end-to-end score computed against that reference set overstates what the retrieval component is doing.

Read this part in the article →

Learn the underlying idea

A function assigns an output to each allowed input. The expression f(x) means “apply f to x”.

Open the illustrated functions: inputs become outputs guide →

See this notation across published equations →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.