← Mathematical compendium

Published equation contexts

p(y∣x)≈∑z∈top-k(pη(⋅∣x))pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathrm{top}\text{-}k\left(p_\eta(\cdot \mid x)\right)} p_\eta(z \mid x) \, p_\theta(y \mid x, z)

Why this formula appears here

By the time Lewis and colleagues published in 2020, learned dense retrieval and large pretrained generators both already existed as separate lines of work. The paper’s specific technical contribution was neither — it was making the whole pipeline trainable end to end through a single differentiable objective, treating the retrieved passage as a latent variable to be marginalized over rather than a fixed input handed to a frozen reader [ 8 ] . Writing x for the input, y for the output, z for a retrieved passage, and η\eta and θ\theta for the retriever’s and generator’s parameters respectively, the RAG-Sequence variant approximates p(y∣x)≈∑z∈top-k(pη(⋅∣x))pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathrm{top}\text{-}k\left(p_\eta(\cdot \mid x)\right)} p_\eta(z \mid x) \, p_\theta(y \mid x, z). holding a single retrieved passage fixed…

Read the full article-specific guide →

Read the representative guide

pp

Symbol p

p appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Read this term in its guide →
yy

Symbol y

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

Read this term in its guide →
zz

Symbol z

z appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Read this term in its guide →
kk

Symbol k

k appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Read this term in its guide →
pηp_\eta

Symbol p_eta

pep_eta appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Read this term in its guide →
pθp_\theta

Symbol p_θ

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

Read this term in its guide →
z∈top-k(pη(⋅∣x))z \in \mathrm{top}\text{-}k\left(p_\eta(\cdot \mid x)\right)

Starting index or lower bound: z in top-k(p_eta( × mid x))

This label says where the repeated addition, multiplication, or accumulation starts. Read its value or condition together with the article’s description of the index.

Read this term in its guide →

How to interpret it

Its accuracy depends on the assumptions and range of use described in the article.

Research cited beside this formula

Published contexts (1)

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

p(y∣x)≈∑z∈top-k(pη(⋅∣x))pη(z∣x) pθ(y∣x,z),p(y \mid x) \approx \sum_{z \in \mathrm{top}\text{-}k\left(p_\eta(\cdot \mid x)\right)} p_\eta(z \mid x) \, p_\theta(y \mid x, z),

Equation 21 · AI Agents & Systems

From BM25 to Agentic Retrieval: A History of Retrieval-Augmented Generation

This equation gives an approximation: it relates the quantities while allowing an approximation.

By the time Lewis and colleagues published in 2020, learned dense retrieval and large pretrained generators both already existed as separate lines of work. The paper’s specific technical contribution was neither — it was making the whole pipeline trainable end to end through a single differentiable objective, treating the retrieved passage as a latent variable to be marginalized over rather than a fixed input handed to a frozen reader [ 8 ] . Writing x for the input, y for the output, z for a retrieved passage, and η\eta and θ\theta for the retriever’s and generator’s parameters respectively, the RAG-Sequence variant approximates p(y∣x)≈∑z∈top-k(pη(⋅∣x))pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathrm{top}\text{-}k\left(p_\eta(\cdot \mid x)\right)} p_\eta(z \mid x) \, p_\theta(y \mid x, z). holding a single retrieved passage fixed…

Meanings in this article

  • xx: the writing.
Equation guide → · Article →