Linear Regions

Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones

La grande polyvalence et les résultats impressionnants des réseaux de neurones modernes viennent en partie de leur non-linéarité. Cette propriété fondamentale rend malheureusement très difficile leur vérification formelle, et ce, même si on se …