Philipp Kern

According to our database, Philipp Kern authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

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