Equation 20 · Part 10 · How to Evaluate Codex Beyond SWE-bench and Vendor Scores
subtraction
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.
Full expression→subtraction→Article meaning
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
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.