Login / Signup
Philipp Kern
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Multilayer Perceptron
Feed Forward
Neural Network
Signature Verification
Top Venues
CoRR
ICTAI
CP
</>
Publications
</>
Philipp Kern
,
Marko Kleine Büning
,
Carsten Sinz
Optimized Symbolic Interval Propagation for Neural Network Verification.
CoRR
(2022)
Samuel Teuber
,
Marko Kleine Büning
,
Philipp Kern
,
Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
CoRR
(2021)
Samuel Teuber
,
Marko Kleine Büning
,
Philipp Kern
,
Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
ICTAI
(2021)
Marko Kleine Büning
,
Philipp Kern
,
Carsten Sinz
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.
CP
(2020)