Ladner, Tobias

5 publications

ICML 2025 Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

TMLR 2025 Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner, Michael Eichelbeck, Matthias Althoff

TMLR 2025 Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner, Matthias Althoff

TMLR 2025 Set-Based Training for Neural Network Verification Lukas Koller, Tobias Ladner, Matthias Althoff

AAAI 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification Tobias Ladner, Matthias Althoff