Philipp Kern | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Carsten Sinz
6 publications
Marko Kleine Büning
4 publications
Samuel Teuber
2 publications

research

∙ 12/15/2022

Optimized Symbolic Interval Propagation for Neural Network Verification

Neural networks are increasingly applied in safety critical domains, the...

0 Philipp Kern, et al. ∙

research

∙ 12/13/2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks

As neural networks (NNs) are increasingly introduced into safety-critica...

0 Samuel Teuber, et al. ∙