Tobias Ladner

According to our database, Tobias Ladner authored at least 23 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes.

Yasmine Abu-Haeyeh, Tobias Ladner, Matthias Althoff, Lars Hedrich

CoRR, May, 2026

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems.

Miriam Kranzlmüller, Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, May, 2026

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.

Tobias Ladner, Christopher Weh, Anoop Dhillon, Marion Giffard, Daniele Iacovelli

J. Intell. Manuf., February, 2026

Provably Explaining Neural Additive Models.

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz

CoRR, February, 2026

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis.

Tobias Ladner, Yasser Shoukry, Matthias Althoff

CoRR, February, 2026

On Convex and Non-Convex Abstraction-Refinement Techniques Guaranteeing Safety of Artificial Intelligence.

Tobias Ladner

PhD thesis, 2026

2025

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu

CoRR, December, 2025

Abstraction-Based Proof Production in Formal Verification of Neural Networks.

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

CoRR, June, 2025

Out of the Shadows: Exploring a Latent Space for Neural Network Verification.

Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, May, 2025

Language Models That Walk the Talk: A Framework for Formal Fairness Certificates.

Danqing Chen, Tobias Ladner, Ahmed Rayen Mhadhbi, Matthias Althoff

CoRR, May, 2025

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.

Tobias Ladner, Michael Eichelbeck, Matthias Althoff

Trans. Mach. Learn. Res., 2025

Fully Automatic Neural Network Reduction for Formal Verification.

Tobias Ladner, Matthias Althoff

Trans. Mach. Learn. Res., 2025

Set-Based Training for Neural Network Verification.

Lukas Koller, Tobias Ladner, Matthias Althoff

Trans. Mach. Learn. Res., 2025

Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).

Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu

Proceedings of the AI Verification - Second International Symposium, 2025

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Formally Verifying Analog Neural Networks with Device Mismatch Variations.

Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning.

Manuel Wendl, Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, 2024

End-To-End Set-Based Training for Neural Network Verification.

Lukas Koller, Tobias Ladner, Matthias Althoff

CoRR, 2024

Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.

Tobias Ladner, Matthias Althoff

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Specification-Driven Neural Network Reduction for Scalable Formal Verification.

Tobias Ladner, Matthias Althoff

CoRR, 2023

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.

Tobias Ladner, Matthias Althoff

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022