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⟩

Published on