Philipp Daniel Kern

PhD student, Application-oriented Formal Verification, Karlsruher Institut für Technologie

Joined

September 2023

Names

Philipp Daniel Kern (Preferred)

,

Philipp Kern

Emails

****@kit.edu (Confirmed)

Personal Links

Semantic Scholar

Career & Education History

PhD student

Application-oriented Formal Verification, Karlsruher Institut für Technologie (kit.edu)

2021 – Present

Advisors, Relations & Conflicts

Coauthor

2021 – Present

PhD Advisor

Carsten Sinz

2020 – Present

Coauthor

Marko Kleine Büning

2020 – Present

Expertise

Neural Network Verification

2020 – Present

Publications

Certified Error Analysis of Homomorphically Encrypted Neural Networks
Philipp Daniel Kern, Edoardo Manino, Carsten Sinz
- SAIV 2025 Proceedings
- Readers: Everyone
Revisiting Differential Verification: Equivalence Verification with Confidence
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
- TACAS (2) 2025
- Readers: Everyone
Certified Error Analysis of Homomorphically Encrypted Neural Networks
Philipp Kern, Edoardo Manino, Carsten Sinz
- SAIV 2025
- Readers: Everyone
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
Philipp Kern, Carsten Sinz
- SAS 2024
- Readers: Everyone
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations
Philipp Daniel Kern, Carsten Sinz
- Submitted to ICLR 2024
- Readers: Everyone
Optimized Symbolic Interval Propagation for Neural Network Verification
Philipp Kern, Marko Kleine Büning, Carsten Sinz
- CoRR 2022
- Readers: Everyone
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
- ICTAI 2021
- Readers: Everyone
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions
Marko Kleine Büning, Philipp Kern, Carsten Sinz
- CP 2020
- Readers: Everyone

Co-Authors