4 citations · 7 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025★ 4 cited
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Konstantin Kaulen, Tobias Ladner, Stanley Bak +8
This report summarizes the 6th International Verification of Neural Networks Competition (VNN-COMP 2025), held as a part of the 8th International Symposium on AI Verification (SAIV…
cs.LG2025★ 1 cited
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
Lukas Koller, Tobias Ladner, Matthias Althoff
Neural networks are ubiquitous. However, they are often sensitive to small input changes. Hence, to prevent unexpected behavior in safety-critical applications, their formal verifi…