Philipp Kern

According to our database, Philipp Kern authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

CoRR, 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