Filters








1 Hit in 3.8 sec

Static analysis of ReLU neural networks with tropical polyhedra [article]

Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
2021 arXiv   pre-print
We show how the connection between ReLU networks and tropical rational functions can provide approaches for range analysis of ReLU neural networks.  ...  We present an approach that abstracts ReLU feedforward neural networks using tropical polyhedra.  ...  Conclusion and future work We have explored the use of tropical polyhedra as a way to circumvent the combinatorial complexity of neural networks with ReLU activation function.  ... 
arXiv:2108.00893v2 fatcat:rfzezfxt3rcahmw7gsp4woy74e