2nd International Verification of Neural Networks Competition (VNN-COMP'21)
by Changliu Liu
The organizers reported the results of VNN-COMP’21 on 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) affiliated with CAV 2021. The benchmarks used in the competition can be found here. The final slides can be found here. The final report will be out soon.