← Mathematical compendium

Published equation contexts

p(y∣x)≈∑z∈Zk(x)pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathcal{Z}_k(x)} p_\eta(z \mid x)\, p_\theta(y \mid x, z)

Why this formula appears here

Start with the architecture that gives the pattern its name. A query is encoded, a retriever returns its top- k passages against a fixed index, and a generator conditions on those passages to produce one answer. No step revisits an earlier one. Lewis and colleagues’ original formulation makes the mechanism explicit: writing x for the query, y for the output, and z for a retrieved passage drawn from a top- k set Zk(x)\mathcal{Z}_k(x) , the model marginalises over that set, p(y∣x)≈∑z∈Zk(x)pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathcal{Z}_k(x)} p_\eta(z \mid x)\, p_\theta(y \mid x, z). with retriever parameters η\eta and generator parameters θ\theta [ 1 ] . One retrieval call, one generation pass, and the entire system’s dependence on the corpus runs through that single set Zk(x)\mathcal{Z}_k(x)…

Read the full article-specific guide →

Read the representative guide

pp

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 →
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 →
Zk\mathcal{Z}_k

Symbol Z_k

ZkZ_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 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 →
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∈Zk(x)z \in \mathcal{Z}_k(x)

Starting index or lower bound: z in Z_k(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∈Zk(x)pη(z∣x) pθ(y∣x,z),p(y \mid x) \approx \sum_{z \in \mathcal{Z}_k(x)} p_\eta(z \mid x)\, p_\theta(y \mid x, z),

Equation 7 · AI Agents & Systems

Naive, Graph, and Agentic: A Systems Comparison of RAG Architectures

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

Start with the architecture that gives the pattern its name. A query is encoded, a retriever returns its top- k passages against a fixed index, and a generator conditions on those passages to produce one answer. No step revisits an earlier one. Lewis and colleagues’ original formulation makes the mechanism explicit: writing x for the query, y for the output, and z for a retrieved passage drawn from a top- k set Zk(x)\mathcal{Z}_k(x) , the model marginalises over that set, p(y∣x)≈∑z∈Zk(x)pη(z∣x) pθ(y∣x,z)p(y \mid x) \approx \sum_{z \in \mathcal{Z}_k(x)} p_\eta(z \mid x)\, p_\theta(y \mid x, z). with retriever parameters η\eta and generator parameters θ\theta [ 1 ] . One retrieval call, one generation pass, and the entire system’s dependence on the corpus runs through that single set Zk(x)\mathcal{Z}_k(x)…

Meanings in this article

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