Pruning for efficient deterministic global optimization over trained ReLU neural networks

MaRDI QIDQ7224275arXivFDO

Authors Giacomo Lastrucci, Tanuj Karia, Victor Schulte, Dominik Bongartz, Artur M. Schweidtmann

Publication date 2026

Published in arXiv

arXiv classification

math.OC

This page was built for publication: Pruning for efficient deterministic global optimization over trained ReLU neural networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7224275)