Edoardo Manino

Ce rapport parle des méthodes pour améliorer la sécurité de la mémoire dans les réseaux de neurones IA.

Cette étude examine comment l'analyse par intervalles améliore l'efficacité du Bounded Model Checking.