← Back to article

Equation 7 · Running an Interpretability Investigation That Holds Up

What does this equation mean?

Δ(C)=m(Mclean→C←corrupt)−m(Mclean).\Delta(\mathcal{C}) = m\big(M_{\mathrm{clean} \to \mathcal{C} \leftarrow \mathrm{corrupt}}\big) - m\big(M_{\mathrm{clean}}\big).

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.

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

Δ\Delta

Symbol Δ

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

Understand this part →

C\mathcal{C}

Symbol C

C is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

mm

Symbol m

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

Understand this part →

Mclean→C←corruptM_{\mathrm{clean} \to \mathcal{C} \leftarrow \mathrm{corrupt}}

Symbol M_clean to C arrow corrupt

McM_clean to C arrow corrupt is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

McleanM_{\mathrm{clean}}

Symbol M_clean

McM_clean 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

Once the question is scoped, the experiment that tests it is a causal one by convention in this field, and the convention exists for a good reason: a component correlated with a behaviour has told you nothing about whether the model uses it, while a component that changes the behaviour when intervened on has told you something. The standard instrument is activation patching — running the model on a clean input, running it again on a corrupted one, then substituting the corrupted run’s activations into the clean run at a chosen set of components C\mathcal{C} and measuring the change in some behavioural metric m : Δ(C)=m(Mclean→C←corrupt)−m(Mclean)\Delta(\mathcal{C}) = m\big(M_{\mathrm{clean} \to \mathcal{C} \leftarrow \mathrm{corrupt}}\big) - m\big(M_{\mathrm{clean}}\big). The choice buried inside that formula — what counts as…
Read the full surrounding passage
Once the question is scoped, the experiment that tests it is a causal one by convention in this field, and the convention exists for a good reason: a component correlated with a behaviour has told you nothing about whether the model uses it, while a component that changes the behaviour when intervened on has told you something. The standard instrument is activation patching — running the model on a clean input, running it again on a corrupted one, then substituting the corrupted run’s activations into the clean run at a chosen set of components C\mathcal{C} and measuring the change in some behavioural metric m : Δ(C)=m(Mclean→C←corrupt)−m(Mclean)\Delta(\mathcal{C}) = m\big(M_{\mathrm{clean} \to \mathcal{C} \leftarrow \mathrm{corrupt}}\big) - m\big(M_{\mathrm{clean}}\big). The choice buried inside that formula — what counts as “corrupt” — is not a detail. Zeroing an activation, replacing it with the dataset mean, or resampling it from an unrelated input each encode a different implicit null hypothesis about what the component would be doing if it were not doing the thing you suspect, and Zhang and Nanda’s comparison across these choices found they can support materially different conclusions about the same circuit in the same model [ 3 ] . An investigator has to pick one, justify the pick against what the hypothesis actually claims, and report which one was used; “we patched the component” without saying into what is not a complete method.

Read the equation in its article →

Sources cited in the surrounding passage

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

Return to Running an Interpretability Investigation That Holds Up

See this formula across 1 published context →

Browse the mathematical compendium →