Pré-publication, Document de travail, AO, AO, Computer Science, Neural and Evolutionary Computing, 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⟩