Manuscript Em01-C@3 · Em01-C-v3.tex · section · f0953702
A pure-trace layer check
Finite source specification and implementation inventory › A pure-trace layer check · lines 2187–2232
For ,
The coefficient rule gives , and
Therefore
and
For , , its derivative is
This checks an aggregate source coefficient and the layer normalization. It is not a full graph cancellation.
Displayed formulas in this passage
unlabeled · line 2190
unlabeled · line 2195
unlabeled · line 2206
unlabeled · line 2216
unlabeled · line 2222