Communication dans un congrès, AO, Informatique, Performance et fiabilité

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

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⟩

Publié le