Tobias Ladner, M.Sc.

Tobias Ladner, M.Sc.

Technical University of Munich

Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)

Postal address

Postal:
Boltzmannstr. 3
85748 Garching b. München

Office hours: appointment by email
Room: 5607.03.039
tobias.ladner@tum.de

Curriculum Vitae

Tobias Ladner joined the Cyber-Physical-Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2022. Tobias has received both, his master's degree and his bachelor's degree in Informatics from the Technical University of Munich in 2021 and 2019, respectively.

His research interests include formal verification of neural networks and neural network control systems.
Examples of his research are listed under publications below and at: https://cora.in.tum.de/pages/neural-networks/ .
He is the current administrator of the toolbox CORA: https://cora.in.tum.de/.

Tobias is a member of the DFG-funded project “Formal Verification of Analog AI Hardware (FAI)“.

Offered Thesis Topics

I am always looking for self-motivated students who want to work in my research area. If you are interested in writing your thesis in the field of my research, please write me an email containing your CV, transcript of records, and a rough direction you are interested in. Check the thesis proposals and practical course topics below for examples.

Available Topics:

Just send me an email ;)

Ongoing:

[BT] Towards Formal Verification of Large Language Models: Applying Reachability Analysis on Transformers
[MT] Enabling Formal Verification of Data-Aware Hardware Models (coop. w/ Apple)
[BT] Analysis of Neural Activation Patterns During Video Segmentation for Formal Verification
[MT] Anomaly Detection for Semi-Supervised 3D Object Detection (coop. w/ SETLabs Research)

Finished:

Teaching

Practical Course – Formal Methods for AI-Enabled Cyber-Physical Systems (IN2106)
[WiSe 24/25] [WiSe 23/24] [WiSe 22/23]
[SoSe 24] [SoSe 23] [SoSe 22]

Implementation of algorithms for formal neural network verification in CORA

Selected topics: Topics

Seminar – Cyber-Physical Systems (IN0014, IN2107, IN4813)
[WiSe 24/25] [WiSe 22/23]
[SoSe 24] [SoSe 23]

Literature research on formal verification of neural networks

Selected topics: Topics, Topics

Lecture – Formal Methods for Cyber-Physical Systems (IN2383)
[WiSe 24/25] [WiSe 23/24] [WiSe 22/23]

Fundamentals of set-based computing and formal verification of neural network

Publications

2024

Koller, Lukas; Ladner, Tobias; Althoff, Matthias: Set-Based Training for Neural Network Verification. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Ladner, Tobias; Althoff, Matthias: Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Ladner, Tobias; Althoff, Matthias: Fully Automatic Neural Network Reduction for Formal Verification. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Ladner, Tobias; Eichelbeck, Michael; Althoff, Matthias: Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Manzanas Lopez, Diego; Althoff, Matthias; Benet, Luis; Blab, Clemens; Forets, Marcelo; Jia, Yuhao; Johnson, Taylor T; Kranzl, Manuel; Ladner, Tobias; Linauer, Lukas; Neubauer, Philipp; Neubauer, Sophie; Schilling, Christian; Zhang, Huan; Zhong, Xiangru: ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. EPiC Series in Computing, EasyChair, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Wendl, Manuel; Koller, Lukas; Ladner, Tobias; Althoff, Matthias: Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. arxiv, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2023

Ladner, Tobias; Althoff, Matthias: Specification-Driven Neural Network Reduction for Scalable Formal Verification. arxiv, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Ladner, Tobias; Althoff, Matthias: Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), ACM, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Lopez, Diego Manzanas; Althoff, Matthias; Forets, Marcelo; Johnson, Taylor T; Ladner, Tobias; Schilling, Christian: ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. EPiC Series in Computing, EasyChair, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2022

Lopez, Diego Manzanas; Althoff, Matthias; Benet, Luis; Chen, Xin; Fan, Jiameng; Forets, Marcelo; Huang, Chao; Johnson, Taylor T; Ladner, Tobias; Li, Wenchao; Schilling, Christian; Zhu, Qi: ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (EPiC Series in Computing), EasyChair, 2022 more… BibTeX Full text ( DOI ) Full text (mediaTUM)