← All parts of this equation

Equation 42 · Part 1 · Why Coding Agents Fail: Long-Horizon Reliability in OpenAI Codex

Symbol d_i

did_i
did_i

What this part means

the detection probability.

Its job in the formula

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

Where the article explains it

Let an unchecked latent error at stage i create expected downstream loss LiL_i , a check cost KiK_i , detection probability did_i , and false-alarm cost FiF_i .

The passage around this formula

Checkpoint placement is a value-of-information problem. Let an unchecked latent error at stage i create expected downstream loss LiL_i , a check cost KiK_i , detection probability did_i , and false-alarm cost FiF_i . A check is favorable when, approximately,

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

The article lists its research sources here.