Equation 7 · Part 4 · What a Circuit Explains: The State and Limits of Mechanistic Interpretability
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
The standard instrument is activation patching : run the model on a clean input, run it on a corrupted one, then substitute the activations of a chosen component from one run into the other and measure the change in some behavioural metric. Formally, for a set of components and a metric m , . Meng and colleagues used a version of this — causal tracing — to localise factual recall, finding that a distinct set of steps in middle-layer feed-forward modules mediate factual predictions at the subject token, and then used the localisation to perform rank-one weight edits that changed specific facts [ 14 ] . The edit is the strongest form of the argument: a…
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.