Bassan*, Shahaf; Elboher*, Yizhak Yisrael; Ladner*, Tobias; Şahin, Volkan; Kretinsky, Jan; Althoff, Matthias; Katz, Guy
Provably Explaining Neural Additive Models
Proceedings of the 14th International Conference on Learning Representations (ICLR)
2026

Tobias Ladner, Yasser Shoukry, Matthias Althoff
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
arxiv
2026

Koller, Lukas;Ladner, Tobias;Althoff, Matthias
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
Proceedings of the 14th International Conference on Learning Representations (ICLR)
2026