Forschungsinteressen
- Verifikation neuraler Netzwerke
Veröffentlichungen
| Titel | Autor(en) | Quelle |
|---|---|---|
| Certified Error Analysis of Homomorphically Encrypted Neural Networks | Philipp Kern, Edoardo Manino und Carsten Sinz | 8th International Symposium on AI Verification (SAIV 2025), Zagreb, Croatia, July 21-22, 2025 |
| Revisiting Differential Verification: Equivalence Verification with Confidence | Samuel Teuber, Philipp Kern, Marvin Janzen und Bernhard Beckert | TACAS |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations | Philipp Kern und Carsten Sinz | 31st Symposium on Static Analysis (SAS 2024), Pasadena, USA, October 20-22, 2024 |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Optimized Symbolic Interval Propagation for Neural Network Verification | Philipp Kern, Marko Kleine Büning und Carsten Sinz | 1st Workshop on Formal Verification of Machine Learning (WFVML 2022) colocated with ICML 2022: International Conference on Machine Learning |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Geometric Path Enumeration for Equivalence Verification of Neural Networks | Samuel Teuber, Marko Kleine Büning, Philipp Kern und Carsten Sinz | 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions | Marko Kleine Büning, Philipp Kern und Carsten Sinz | 26th International Conference on Principles and Practice of Constraint Programming (CP 2020) |