Static Analysis of ReLU Neural Networks with Tropical Polyhedra

von Goubault, Eric
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)