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

Back to manuscript

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

Nearby in this section