Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

Eric Goubault, Sbastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan

Browse the full SAS paper archive.