191 citations · 448 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.LG2021★ 28 cited
Input Similarity from the Neural Network Perspective
Guillaume Charpiat, Nicolas Girard, Loris Felardos +1
We first exhibit a multimodal image registration task, for which a neural network trained on a dataset with noisy labels reaches almost perfect accuracy, far beyond noise variance.…