Symbol Δ
Δ is part of the quantity the equation computes from the expression on the right.
Read this term in its guide →Published equation contexts
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…
Δ is part of the quantity the equation computes from the expression on the right.
Read this term in its guide →C is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Read this term in its guide →m is one of the signed contributions combined to compute the quantity on the left.
Read this term in its guide →lean is one of the signed contributions combined to compute the quantity on the left.
Read this term in its guide →orrupt is one of the signed contributions combined to compute the quantity on the left.
Read this term in its guide →Read it with the definitions, units, and assumptions supplied by the article.
A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.
Equation 7 · Interpretability
This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.
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…
Equation guide → · Article →