KIT - Application-oriented Formal Verification - Team

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

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

2022
Title	Author(s)	Source
Optimized Symbolic Interval Propagation for Neural Network Verification	Philipp Kern, Marko Kleine Büning, and Carsten Sinz	1st 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 Networks	Samuel Teuber, Marko Kleine Büning, Philipp Kern, and Carsten Sinz	33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)

2020
Title	Author(s)	Source
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions	Marko Kleine Büning, Philipp Kern, and Carsten Sinz	26th International Conference on Principles and Practice of Constraint Programming (CP 2020)