🇫🇷 Interprétation Abstraite des Réseaux de Neurones

Abstract

Aujourd’hui, les logiciels appris par machine (notamment les réseaux de neurones) jouent un rôle de plus en plus important dans l’assistance voire l’exécution autonome de tâches, même dans des scénarios critiques pour la sécurité. Dans cette exposée, je vais vous donner un aperçu de comment dans l’équipe ANTIQUE (en collaboration avec Fujitsu) nous utilisons l’interprétation abstraite pour certifier automatiquement que les réseaux de neurones se comportent bien en toutes circonstances. Qu’est-ce que c’est l’interprétation abstraite ?! Pas de soucis, je vais vous montrer que nous faisons tous de l’interprétation abstraite tous les jours dans notre quotidien !