123 citations · 173 across the 13 of their papers we have counts for
1 paper · 2 filters
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…