Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2) , (2, 1) , (3, 4) , (2, 1) , (3, 4)
1
2
3
4

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03127853 , version 1

Cite

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⟩
123 View
360 Download

Share

Gmail Facebook Twitter LinkedIn More