Afin de vérifier la fiabilité des modèles d’intelligence artificielle, le CEA-List a développé un outil de test automatisé baptisé AIMOS, qui se base sur les méthodes formelles et facilite les processus de test.
Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des
citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines
principaux : transition énergétique, transition numérique, technologies pour la médecine
du futur, défense et sécurité.
