Static analysis of ReLU neural networks with tropical polyhedra

Eric Goubault, Sébastien Palumby, Sylvie Putot +2

This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…