Philipp Kern

According to our database, Philipp Kern authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Certified Error Analysis of Homomorphically Encrypted Neural Networks.

Philipp Kern, Edoardo Manino, Carsten Sinz

Proceedings of the AI Verification - Second International Symposium, 2025

2024

Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations.

Philipp Kern, Carsten Sinz

Proceedings of the Static Analysis - 31st International Symposium, 2024

2022

Optimized Symbolic Interval Propagation for Neural Network Verification.

Philipp Kern, Marko Kleine Büning, Carsten Sinz

CoRR, 2022

2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks.

Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.

Marko Kleine Büning, Philipp Kern, Carsten Sinz

Proceedings of the Principles and Practice of Constraint Programming, 2020