Philipp Kern

  • Am Fasanengarten 5
    76131 Karlsruhe

Research Interests

  • verification of neural networks

Publications


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