Manuscript Psy01-A@1 · Psy01-A.tex · section · 94477fa3
Architecture and stochastic forward map
Definitions and exact pruning operators › Architecture and stochastic forward map · lines 192–238
Psy01-A@1#eq:forwardhidden, Psy01-A@1#eq:forwardoutput
Let
The input is , with and . For layer , let
and let be an unpruned bias.
For independent standard Gaussian vectors , define
Here . A deterministic tie convention, such as choosing the smallest maximizing class index, is fixed once and for all:
Equation (eq:forwardhidden) matches the supplied code: noise is added after each hidden ReLU, including during evaluation. The perturbed hidden state can therefore have negative coordinates.
The weight matrices contain
entries. There are bias parameters, so the total parameter count is .
Displayed formulas in this passage
Psy01-A@1#eq:forwardhidden · line 211
Psy01-A@1#eq:forwardoutput · line 211
unlabeled · line 195
unlabeled · line 200
unlabeled · line 221
unlabeled · line 232