PyRAT ranked third place at the VNN-Comp

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!

Sponsoring the VNN-COMP

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!

a macaroon with the digit 3 written on it (all right reserved to jameschipper / Adobe Stock images)