← All parts of this equation

Equation 5 · Part 2 · From Autocomplete to Delegation: The Technical History Behind OpenAI Codex

Symbol p

pass@⁡k=1−(1−p)k.\operatorname{pass@}k=1-(1-p)^k.
pp

What this part means

the success probability.

Its job in the formula

p is one of the signed contributions combined to compute the quantity on the left.

Where the article explains it

If independent candidates have success probability p , the chance of at least one success among k is pass@⁡k=1−(1−p)k\operatorname{pass@}k=1-(1-p)^k.

The passage around this formula

The sampling result made the search interpretation explicit. If independent candidates have success probability p , the chance of at least one success among k is pass@⁡k=1−(1−p)k\operatorname{pass@}k=1-(1-p)^k. Real samples are not independent and the paper used estimators appropriate to its setup, but the conceptual point holds: model probability plus an evaluator can search a program space. Without a reliable selector, many candidates become review burden.

Read this part in the article →

Learn the underlying idea

A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.

Open the illustrated variables: a letter stands for a value guide →

See this notation across published equations →

Sources cited in the article section

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