28 citations · 41 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LG2024
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Christopher Brix, Stanley Bak, Taylor T. Johnson +1
This report summarizes the 5th International Verification of Neural Networks Competition (VNN-COMP 2024), held as a part of the 7th International Symposium on AI Verification (SAIV…
cs.LG2024
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
Feiyang Cai, Chuchu Fan, Stanley Bak
Verifying safety of neural network control systems that use images as input is a difficult problem because, from a given system state, there is no known way to mathematically model…