Tobias Ladner

According to our database, Tobias Ladner authored at least 14 papers between 2022 and 2025.

Collaborative distances:

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

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

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

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

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

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