← All parts of this equation

Equation 20 · Part 10 · How to Evaluate Codex Beyond SWE-bench and Vendor Scores

subtraction

U=∑i[pivi−Ci−Hi−(1−pi) qiLi],U=\sum_i\left[p_i v_i-C_i-H_i-(1-p_i)\,q_i L_i\right],
subtraction

What this part means

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

Its job in the formula

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

The passage around this formula

Let viv_i be the value of correctly completing task i , CiC_i direct inference and infrastructure cost, HiH_i human specification and review cost, and LiL_i loss from an accepted failure. Expected net value is U=∑i[pivi−Ci−Hi−(1−pi) qiLi]U=\sum_i\left[p_i v_i-C_i-H_i-(1-p_i)\,q_i L_i\right]. where qiq_i 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.

Read this part in the article →

Learn the underlying idea

Addition combines quantities; subtraction measures the signed difference between them. Parentheses show what is combined before the rest of the expression is evaluated.

Open the illustrated addition and subtraction in an equation guide →

The article lists its research sources here.