← All parts of this equation

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

Symbol k

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

What this part means

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

Its job in the formula

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

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.