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

1 citations · 1 across the 2 of their papers we have counts for

collaborators

1 paper

cs.AI2021★ 1 cited

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

Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer +2

The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tool…