← Back to article

Equation 9 · How Mechanistic Interpretability Research Is Actually Done

What does this equation mean?

LSAE(a)=∥a−a^∥22+λ∥z∥1,a^=Wdec z+bdec,z=ReLU ⁣(Wenc(a−bdec)+benc).\mathcal{L}_{\mathrm{SAE}}(a) = \lVert a - \hat a \rVert_2^2 + \lambda \lVert z \rVert_1, \qquad \hat a = W_{\mathrm{dec}}\, z + b_{\mathrm{dec}}, \qquad z = \mathrm{ReLU}\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}}) + b_{\mathrm{enc}}\right).

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

LSAE\mathcal{L}_{\mathrm{SAE}}

Symbol L_SAE

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

Understand this part →

aa

Symbol a

the writing.

Understand this part →

a^\hat a

Symbol hat a

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

Understand this part →

λ\lambda

Symbol λ

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

Understand this part →

zz

Symbol z

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

Understand this part →

WdecW_{\mathrm{dec}}

Symbol W_dec

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

Understand this part →

bdecb_{\mathrm{dec}}

Symbol b_dec

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

Understand this part →

WencW_{\mathrm{enc}}

Symbol W_enc

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

Understand this part →

bencb_{\mathrm{enc}}

Symbol b_enc

beb_enc 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 →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

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 →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Sparse dictionary learning is the field’s answer, and it is a second and different act of extraction rather than a departure from the first: a sparse autoencoder is trained on the very same activation vectors the probe was reading, learning an overcomplete basis in which each vector is reconstructed as a sparse combination of dictionary elements. Writing a for the activation, z for its sparse code and a^\hat a for the reconstruction, LSAE(a)=∥a−a^∥22+λ∥z∥1,a^=Wdec z+bdec,z=ReLU ⁣(Wenc(a−bdec)+benc)\mathcal{L}_{\mathrm{SAE}}(a) = \lVert a - \hat a \rVert_2^2 + \lambda \lVert z \rVert_1, \qquad \hat a = W_{\mathrm{dec}}\, z + b_{\mathrm{dec}}, \qquad z = \mathrm{ReLU}\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}}) + b_{\mathrm{enc}}\right). The reconstruction term asks the dictionary to explain the activation; the ℓ1\ell_1 penalty asks it to explain it using as few active dictionary elements as possible at once. Cunningham and colleagues showed this produces directions…
Read the full surrounding passage
Sparse dictionary learning is the field’s answer, and it is a second and different act of extraction rather than a departure from the first: a sparse autoencoder is trained on the very same activation vectors the probe was reading, learning an overcomplete basis in which each vector is reconstructed as a sparse combination of dictionary elements. Writing a for the activation, z for its sparse code and a^\hat a for the reconstruction, LSAE(a)=∥a−a^∥22+λ∥z∥1,a^=Wdec z+bdec,z=ReLU ⁣(Wenc(a−bdec)+benc)\mathcal{L}_{\mathrm{SAE}}(a) = \lVert a - \hat a \rVert_2^2 + \lambda \lVert z \rVert_1, \qquad \hat a = W_{\mathrm{dec}}\, z + b_{\mathrm{dec}}, \qquad z = \mathrm{ReLU}\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}}) + b_{\mathrm{enc}}\right). The reconstruction term asks the dictionary to explain the activation; the ℓ1\ell_1 penalty asks it to explain it using as few active dictionary elements as possible at once. Cunningham and colleagues showed this produces directions substantially more interpretable than neurons or principal components, and — the operational payoff — that the recovered directions support finer-grained causal attribution of specific behaviours than the alternatives available at the time [ 6 ] . Anthropic’s dictionary-learning demonstration on a one-layer model, published the same season, is the paper most responsible for making this the default first move in a new interpretability project rather than one technique among several [ 7 ] .

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 How Mechanistic Interpretability Research Is Actually Done

See this formula across 1 published context →

Browse the mathematical compendium →