1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022
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…
cs.LG2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber, Marko Kleine Büning, Philipp Kern +1
As neural networks (NNs) are increasingly introduced into safety-critical domains, there is a growing need to formally verify NNs before deployment. In this work we focus on the fo…