This year again, PyRAT participated to the International Verification of Neural Networks Competition (VNN-Comp), co-hosted by the Symposium on AI Verification workshop at the International Conference on Computer Aided Verification (CAV). Our analyzer PyRAT scored third (out of seven participants), and second on the extended track. This year competition saw new competitors entering the competition as well as numerous, challenging benchmarks. All new challenges that the team will be up to take in the future.
Congratulations to all competitors!
As last year, CEA List decided to sponsor the VNN-COMP, by providing AWS instances dedicated to the evaluation.
A big thanks to the organizing committee of the VNN-COMP, namely Stanley Bak, Changliu Liu, Taylor T. Johnson, Christopher Brix, David Shriver, and Konstantin Kaulen!
(all right reserved to jameschipper / Adobe Stock images)