MobiliT.AI 2023 - Shahaf Bassan

Shahaf Bassan, Doctorant en informatique - Hebrew University of Jerusalem.
Le 31/05/2023.
(Présentation en anglais)
Towards Formally verifying and explaining deep neural networks
The talk will cover the general topic of the formal verification of neural networks. DNN verification can be used for assessing trust in neural networks deployed in safety-critical systems.
DNN verification tools can be used to verify a wide range of properties, such as robustness and explainability. In this context, the talk will dive in-depth into
how DNN verification can be used for providing formal and provable explanations for the behavior of neural networks. This is in contrast to most existing AI explainability tools used today,
which tend to be heuristic, hence not providing formal guarantees on the provided explanation.
IVADO, l’IRT Saint Exupéry, l’IID, le CRIAQ et ANITI organisent la 4ème édition du forum MobiliT.AI les 30 et 31 mai 2023.
MobiliT.AI : il s’agit d’un évènement international qui rassemble une communauté d’experts de l’Intelligence Artificielle pour les systèmes critiques dans le domaine du transport et de la mobilité (aéronautique, automobile, rail, espace, drones, etc.). Cette communauté est composée de chercheurs académiques, industriels et issus des entreprises de la Tech, mais également d’experts en sureté de fonctionnement et en ingénierie des systèmes embarqués critiques.
Pour cette 4ème édition du Forum, nous avons le plaisir d’annoncer que la conférence passe une étape supérieure et rejoint deux évènements majeurs dans l’écosystème de l’Intelligence Artificielle : Mobility Solutions Show le 30 et 31 mai et Future Intelligence le 31 mai.
Le forum MobiliT.AI reçoit le soutien du Fonds franco-québécois pour la coopération décentralisée.
‪@IVADO‬ ‪@IRTsaintexup‬ ‪@iid-ulaval‬ ‪@consortiumderechercheetdin447‬ ‪@anititoulouse8186‬