Static analysis of ReLU neural networks with tropical polyhedra

Open in new window