Philipp Kern, M.Sc.

Researcher / PhD Student

Room 203, Building 50.34
Phone: +49 721 608-45252
Fax:      +49 721 608-44021
philipp kernXwx3∂kit edu

https://verialg.iti.kit.edu/829.php
KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


Research Interests

  • Verification of neural networks

Publications

2022
Title Author(s) Source
Optimized Symbolic Interval Propagation for Neural Network VerificationPhilipp Kern, Marko Kleine Büning, and Carsten Sinz1st Workshop on Formal Verification of Machine Learning (WFVML 2022) colocated with ICML 2022: International Conference on Machine Learning
2021
Title Author(s) Source
Geometric Path Enumeration for Equivalence Verification of Neural NetworksSamuel Teuber, Marko Kleine Büning, Philipp Kern, and Carsten Sinz33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)
2020
Title Author(s) Source
Verifying Equivalence Properties of Neural Networks with ReLU Activation FunctionsMarko Kleine Büning, Philipp Kern, and Carsten Sinz26th International Conference on Principles and Practice of Constraint Programming (CP 2020)