Optimized Symbolic Interval Propagation for Neural Network Verification
-
Author:
Philipp Kern, Marko Kleine Büning, Carsten Sinz
-
Source:
WFVML 2022 (https://www.ml-verification.com/accepted-papers)
- Date: 2022