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

Back to manuscript

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