Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions. - Marko Kleine Büning; Philipp Kern; Carsten Sinz (CP, 2020)

Geometric Path Enumeration for Equivalence Verification of Neural Networks. - Samuel Teuber; Marko Kleine Büning; Philipp Kern; Carsten Sinz (ICTAI, 2021)

Optimized Symbolic Interval Propagation for Neural Network Verification. - Philipp Kern; Marko Kleine Büning; Carsten Sinz (CoRR, 2022)

Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. - Philipp Kern; Carsten Sinz (SAS, 2024)

Revisiting Differential Verification: Equivalence Verification with Confidence. - Samuel Teuber; Philipp Kern; Marvin Janzen; Bernhard Beckert (TACAS (2), 2025)