La prochaine séance du séminaire Combi du Plateau de Saclay aura lieu ce mercredi à 10h30 dans la salle https://bbb.lri.fr/b/jer-amh-gpd. Julien Girard-Satabin nous parlera de Counting linear regions for neural networks verification

Résumé : Neural networks are becoming an increasingly popular class of programs. However, their relative lack of safety presents an obstacle to their wide acceptance yet to be tackled. To approximate complex behaviours, neural networks rely on piece-wise linear activation functions in their control flow. This piece-wise linear behaviour yield regions on the input space where the neural network behaves linearly. We devised a method exploiting those linear regions to speed up formal verification on neural networks. This method rely on the counting of linear regions. We present our method and an algorithm to enumerate the linear regions of a neural network.

Le programme du séminaire est disponible ici : https://galac.lri.fr/pages/combi-seminar.html