PyRAT ranked second place at VNN-Comp

We are proud to announce that our analyzer PyRAT scored second (out of eight participants) during the Fifth International Verification of Neural Networks Competitions (VNN-COMP 2024). VNN-COMP was co-hosted with the conference Computer Aided Verification (CAV) and the Symposium on AI Verification (SAIV).

PyRAT verified more than 1700 properties on multiple benchmarks, ranging from classical convolutional neural networks to GAN architectures and cyberphysical systems. We will update this page with a link on the final report once it is made available.

Congratulations to all competitors.

Sponsoring the VNN-COMP

Given the importance of formal verification for the trustworthiness of neural networks, CEA List decided to sponsor the VNN-COMP this year. We strongly believe in fostering a community, and VNN-COMP constitutes such a place.

A big thanks to the organizing committee of the VNN-COMP, namely Stanley Bak, Changliu Liu, Taylor T. Johnson, Christopher Brix, David Shriver, Andrew Wu Haoze!

a macaroon with the digit 2 written on it (image by OpenClipart)