Optimized Symbolic Interval Propagation for Neural Network Verification

Philipp Kern, Marko Kleine Büning, Carsten Sinz

Neural networks are increasingly applied in safety critical domains, their verification thus is gaining importance. A large class of recent algorithms for proving input-output rela…