Kim Völlinger

Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq

2023 · arXiv (Cornell University)

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, we present the first formalization of pwa activation functions …