Pré-publication, Document de travail, AO, Informatique, Réseau de neurones

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani. DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. 2021. ⟨hal-03227439⟩

Publié le