Skip to Main content Skip to Navigation
Conference papers

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

Résumé : 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 restreint à une structure linéaire par morceaux. Cependant, chacune de ces régions linéaires prise indépendamment est simple à analyser. Nous proposons dans cet article une méthode permettant de simplifier le problème de vérification en opérant une séparation en multiples sous-problèmes linéaires. Nous présentons également des résultats concernant la structure de ces régions linéaires ainsi que leur similarité. Ce travail en cours démontre déjà la faisabilité de l'approche sur des problèmes simples ainsi que quelques expériences face à l'état de l'art.
Complete list of metadata

https://hal.inria.fr/hal-03127853
Contributor : Julien Girard-Satabin <>
Submitted on : Monday, February 1, 2021 - 5:15:03 PM
Last modification on : Wednesday, April 14, 2021 - 3:40:15 AM

File

jfla.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03127853, version 1

Citation

Julien Girard-Satabin, Aymeric Varasse, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer. Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones. Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France. ⟨hal-03127853⟩

Share

Metrics

Record views

106

Files downloads

440