Stefan Leue

Un nouvel algorithme améliore la vérification des réseaux de neurones pour fiabilité et équité.