159 citations · 492 across the 75 of their papers we have counts for
1 paper · 1 filter
Stanley Bak, Changliu Liu, Taylor Johnson
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Aut…