Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan 0001. Static Analysis of ReLU Neural Networks with Tropical Polyhedra. In Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi, editors, Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Volume 12913 of Lecture Notes in Computer Science, pages 166-190, Springer, 2021. [doi]
Abstract is missing.