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