Slide 11
Slide 11 text
Set-based Layer Propagation
Neural Network
Feed-forward neural network with κ layers, input X and output Y:
H0 = X,
Hk ⊇ Lk(Hk−1), k = 1 . . . κ,
Y = Hκ,
(3)
with Lk(hk−1) =
Wkhk−1 + bk if layer k is linear,
σk(hk−1) otherwise,
(4)
Tobias Ladner Neural Network Verification November 30th, 2023 8 / 29