TY  - RPRT
TI  - Pruning for efficient deterministic global optimization over trained ReLU neural networks
AU  - Giacomo Lastrucci
AU  - Tanuj Karia
AU  - Victor Schulte
AU  - Dominik Bongartz
AU  - Artur M. Schweidtmann
PY  - 2026
UR  - https://arxiv.org/abs/2603.23299
ID  - 2603.23299
ER  -