| Date | Title | Author | Source |
|---|---|---|---|
| 2022 | Optimized Symbolic Interval Propagation for Neural Network Verification | Philipp Kern, Marko Kleine Büning, Carsten Sinz |
WFVML 2022 (https://www.ml-verification.com/accepted-papers) |
| 2021 | Geometric Path Enumeration for Equivalence Verification of Neural Networks | Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz |
ICTAI 2021 (https://doi.org/10.1109/ICTAI52525.2021.00035) |
| 2020 | Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions | Marko Kleine Büning, Philipp Kern, Carsten Sinz |
