Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations

Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi +1

In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks…