Equation 7 · Part 5 · Running an Interpretability Investigation That Holds Up
Symbol M_clean
What this part means
lean is one of the signed contributions combined to compute the quantity on the left.
Its job in the formula
lean is one of the signed contributions combined to compute the quantity on the left.
Full expression→Symbol M_clean→Article meaning
The passage around this formula
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 and measuring the change in some behavioural metric m : . The choice buried inside that formula — what counts as…
Learn the underlying idea
A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.
Open the illustrated subscripts: which member of a family? guide →
See this notation across published equations →
Sources cited in the surrounding passage
These citations provide research context; check each source for the exact claim it supports.