Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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.
Fichier principal
Vignette du fichier
jfla.pdf (700.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03127853 , version 1 (01-02-2021)

Identifiants

  • HAL Id : hal-03127853 , version 1

Citer

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⟩
152 Consultations
392 Téléchargements

Partager

Gmail Facebook X LinkedIn More