4 citations · 5 across the 7 of their papers we have counts for
1 paper · 1 filter
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…