← All parts of this equation

Equation 33 · Part 2 · Why Coding Agents Fail: Long-Horizon Reliability in OpenAI Codex

Symbol k

Pr⁡(at least one success)=1−(1−q)k.\Pr(\text{at least one success})=1-(1-q)^k.
kk

What this part means

the first rises with.

Its job in the formula

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

Where the article explains it

The first rises with k ; the second falls.

The passage around this formula

Code-generation research often reports pass@\mathrm{pass@}k : the probability that at least one of k sampled solutions passes. If independent attempts each succeed with probability q , then Pr⁡(at least one success)=1−(1−q)k\Pr(\text{at least one success})=1-(1-q)^k. This is valuable for search: more attempts increase the chance of finding one acceptable candidate. Production consistency asks a different question. If k required deployments must all succeed, the same independence simplification gives

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.