Pruning for efficient deterministic global optimization over trained ReLU neural networks

Giacomo Lastrucci, Tanuj Karia, Victor Schulte +2

Neural networks are increasingly used as surrogates in optimization problems to replace computationally expensive models. However, embedding ReLU neural networks in mathematical pr…