Picture for Tobias Ladner

Tobias Ladner

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning

Add code
Aug 17, 2024
Viaarxiv icon

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

Add code
Apr 23, 2024
Viaarxiv icon

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

Add code
Jan 26, 2024
Viaarxiv icon

Specification-Driven Neural Network Reduction for Scalable Formal Verification

Add code
May 03, 2023
Viaarxiv icon