Equation 20 · Part 1 · How to Evaluate Codex Beyond SWE-bench and Vendor Scores
Symbol U
What this part means
Expected net value.
Its job in the formula
U is part of the quantity the equation computes from the expression on the right.
Full expression→Symbol U→Article meaning
Where the article explains it
Expected net value is
The passage around this formula
Let be the value of correctly completing task i , direct inference and infrastructure cost, human specification and review cost, and loss from an accepted failure. Expected net value is . where is the probability a failure escapes detection and is accepted. A high resolve rate can have negative utility if it requires extreme review or creates rare, expensive escapes. A lower autonomous rate can be valuable if the system reliably identifies useful partial progress and makes review cheap.
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 →
The article lists its research sources here.