Ladner, Tobias
- Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
2024/04/23 by Tobias Ladner, Ladner, Tobias, Michael Eichelbeck +3 · 4 citations
Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #Petri Nets in System Modeling
- Fully Automatic Neural Network Reduction for Formal Verification
2023/05/03 by Tobias Ladner, Matthias Althoff, Ladner, Tobias +1 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security
- Set-Based Training for Neural Network Verification
2024/01/26 by Lukas Koller, Koller, Lukas, Tobias Ladner +3 · 3 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
2025/06/10 by Shahaf Bassan, Bassan, Shahaf, Yizhak Yisrael Elboher +7 · 6 citations
Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science
- Abstraction-Based Proof Production in Formal Verification of Neural Networks
2025/06/11 by Yizhak Yisrael Elboher, Omri Isac, Elboher, Yizhak Yisrael +7 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Physical Unclonable Functions (PUFs) and Hardware Security