Tobias Ladner

22 papers A* 2A 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data computation platform (DCP): empowering pharma 4.0 innovation through GxP-compliant and scalable software platform enabling advanced data analytics and real-time process monitoring in regulated environments.
J. Intell. Manuf.
Tobias Ladner, Christopher Weh, Anoop Dhillon, Marion Giffard, Daniele Iacovelli
2026 J jnl
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis.
CoRR
Tobias Ladner, Yasser Shoukry, Matthias Althoff
2026 J jnl
Provably Explaining Neural Additive Models.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz
2025 — conf
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).
SAIV
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Abstraction-Based Proof Production in Formal Verification of Neural Networks.
CoRR
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 A* conf
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
ICML
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
Trans. Mach. Learn. Res.
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
2025 A conf
Formally Verifying Analog Neural Networks with Device Mismatch Variations.
DATE
Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich
2025 J jnl
Fully Automatic Neural Network Reduction for Formal Verification.
Trans. Mach. Learn. Res.
Tobias Ladner, Matthias Althoff
2025 J jnl
Language Models That Walk the Talk: A Framework for Formal Fairness Certificates.
CoRR
Danqing Chen, Tobias Ladner, Ahmed Rayen Mhadhbi, Matthias Althoff
2025 J jnl
Out of the Shadows: Exploring a Latent Space for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 J jnl
Set-Based Training for Neural Network Verification.
Trans. Mach. Learn. Res.
Lukas Koller, Tobias Ladner, Matthias Althoff
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2024 J jnl
End-To-End Set-Based Training for Neural Network Verification.
CoRR
Lukas Koller, Tobias Ladner, Matthias Althoff
2024 A* conf
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.
AAAI
Tobias Ladner, Matthias Althoff
2024 J jnl
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
CoRR
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
2024 J jnl
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning.
CoRR
Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff
2023 — conf
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
2023 — conf
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.
HSCC
Tobias Ladner, Matthias Althoff
2023 J jnl
Specification-Driven Neural Network Reduction for Scalable Formal Verification.
CoRR
Tobias Ladner, Matthias Althoff
2022 — conf
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@SAFECOMP
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu