Rössig, Ansgar; Petkovic, Milena - In: Journal of Global Optimization 81 (2020) 1, pp. 109-152
theoretical results with respect to the approximation of ReLU neural networks. On the other hand, we implement a solver for … verification of ReLU neural networks which combines mixed integer programming with specialized branching and approximation …