Verifying neural networks with PyRAT
Résumé
We present PyRAT, a tool based on abstract interpretation to verify the safety and robustness of neural networks. PyRAT uses multiple abstractions to find the reachable states of a neural network starting from its input. Its analysis is fast and accurate. PyRAT has already been used in several industrial and academic collaborations, to ensure safety guarantees, with its second place at the VNN-Comp 2024 showcasing its performance.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
