Tobias Ladner

Identifiers

• name variant Tobias Ladner 0.60 · backfill

Papers (9)

1. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes cs.LG · 2026 · author #2
2. Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems eess.SY · 2026 · author #3
3. Perception with Guarantees: Certified Pose Estimation via Reachability Analysis cs.CV · 2026 · author #1
4. Abstraction-Based Proof Production in Formal Verification of Neural Networks cs.LO · 2025 · author #4
5. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations cs.LG · 2025 · author #3
6. Training Verifiably Robust Agents Using Set-Based Reinforcement Learning cs.LG · 2024 · author #3
7. Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure cs.LG · 2024 · author #1
8. Set-Based Training for Neural Network Verification cs.LG · 2024 · author #2
9. Fully Automatic Neural Network Reduction for Formal Verification cs.LG · 2023 · author #1

Mentions

• 2401.14961 #2 · arxiv_oai · confidence 0.70 Tobias Ladner
• 2305.01932 #1 · arxiv_oai · confidence 0.70 Tobias Ladner
• 2506.09455 #4 · arxiv_oai · confidence 0.70 Tobias Ladner
• 2506.08505 #3 · arxiv_oai · confidence 0.70 Tobias Ladner
• 2404.15065 #1 · arxiv_oai · confidence 0.70 Tobias Ladner
• 2408.09112 #3 · arxiv_oai · confidence 0.70 Tobias Ladner

Frequent Coauthors

• Matthias Althoff 8 shared papers
• Lukas Koller 3 shared papers
• Guy Katz 2 shared papers
• Yizhak Yisrael Elboher 2 shared papers
• Haoze Wu 1 shared papers
• Lars Hedrich 1 shared papers
• Manuel Wendl 1 shared papers
• Michael Eichelbeck 1 shared papers
• Miriam Kranzlm\"uller 1 shared papers
• Omri Isac 1 shared papers
• Shahaf Bassan 1 shared papers
• Yasmine Abu-Haeyeh 1 shared papers
• Yasser Shoukry 1 shared papers