[News] IA de confiance: du nouveau dans la validation formelle des réseaux de neurones
Modérateur : Modérateurs
-
- Messages : 3924
- Inscription : 16/05/2015 - 10:01:33
- Activité : Profession libérale ou Indépendant
[News] IA de confiance: du nouveau dans la validation formelle des réseaux de neurones
Les chercheurs du CEA-List, institut de CEA Tech, ont expérimenté une nouvelle approche pour la validation formelle des réseaux de neurones appliqués à la reconnaissance d'image. Leur objectif : rendre plus sûres des fonctionnalités comme la détection de piétons.
Comment prouver qu'un réseau de neurones auquel on a « appris » à reconnaître un piéton est fiable ? La validation formelle des réseaux de neurones appliqués à la reconnaissance d'images, impérative dans les sec...