← Back to article

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

What does this equation mean?

τ=(s0,o0,a0,s1,…,aT−1,sT),\tau=(s_0,o_0,a_0,s_1,\ldots,a_{T-1},s_T),

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operations(s_0,o_0,a_0,s_1,ldots,a_T-1,s_T)
Result or conditionτ
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

τ\tau

Symbol τ

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

Understand this part →

s0s_0

Symbol s_0

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

Understand this part →

o0o_0

Symbol o_0

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

Understand this part →

a0a_0

Symbol a_0

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

Understand this part →

s1s_1

Symbol s_1

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

Understand this part →

aT−1a_{T-1}

Symbol a_T-1

aTa_T-1 is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

sTs_T

Symbol s_T

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

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Let a task generate a trajectory τ=(s0,o0,a0,s1,…,aT−1,sT)\tau=(s_0,o_0,a_0,s_1,\ldots,a_{T-1},s_T). where sts_t is environmental state, oto_t the agent’s observation, and ata_t its action. Task success is not a property of the final message. It is an externally evaluated predicate V(sTs_T,g) over final state and goal g . System reliability under task distribution D is

Read the equation in its article →

Sources cited in the article section

These citations give research context. Read each source to check which claims it supports.

Return to Why Coding Agents Fail: Long-Horizon Reliability in OpenAI Codex

See this formula across 1 published context →

Browse the mathematical compendium →