Philipp Kern

  • Am Fasanengarten 5
    76131 Karlsruhe

Research Interests

  • verification of neural networks

Publications


Geometric Path Enumeration for Equivalence Verification of Neural Networks
Teuber, S.; Kleine Büning, M.; Kern, P.; Sinz, C.
2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Teuber, S.; Kleine Büning, M.; Kern, P.; Sinz, C.
2021. Proceedings 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence: ICTAI 2021 ; Virtual Conference, 1-3 November 2021, 200–208, IEEE Computer Society. doi:10.1109/ICTAI52525.2021.00035
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions
Kleine Büning, M.; Kern, P.; Sinz, C.
2020. Principles and Practice of Constraint Programming – 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Ed.: H. Simonis, 868–884, Springer International Publishing. doi:10.1007/978-3-030-58475-7_50