1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2025★ 1 cited
Neural Network Verification is a Programming Language Challenge
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8
Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while pr…
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…