1 citations · 1 across the 1 of their papers we have counts for
1 paper
Andrei Aleksandrov, Kim Völlinger
Verification of neural networks relies on activation functions being piecewise affine (pwa) -- enabling an encoding of the verification problem for theorem provers. In this paper,…