Séminaire mensuel du GDR IA: J. Marques-Silva (28/4 à 11h), Formal Reasoning Methods in Explainable AI

Le prochain séminaire mensuel du GDR IA sera donné par Joao

Marques-Silva (https://jpmarquessilva.github.io/), dont vous trouverez
les détails ci-dessous. Pour rappel, le but de ces exposés est de
mettre en lumière, au sein d’un exposé
accessible à la plus grande partie de la communauté, les domaines
variés couverts par le GDR et ses activités.

Lien vers la salle virtuelle: https://utc-fr.zoom.us/j/89485422800

Les informations sur les séminaires se trouvent sur la page du GDR IA:

Séminaires

Date: le 28/4 à 11h

Titre: Formal Reasoning Methods in Explainable AI

Résumé: The forecasted applications of machine learning (ML) in safety
critical applications hinge on systems that are robust in their
operation and that can be trusted. This talk overviews recent efforts
on applying automated reasoning tools in explaining non-interpretable
(black-box) ML models. Moreover, the talk details the computation of
rigorous explanations of black-box models, and how these serve for
assessing the quality of widely used heuristic explanation approaches.
The talk also covers important properties of rigorous explanations,
namely duality properties between different kinds of explanation.
Finally, the talk briefly overviews ongoing work on mapping tractable
explainability.

Nous tenons à remercier tous les GT qui nous ont fait remonter des
propositions de séminaires, et tous les GT qui le feront.

Au plaisir de vous “voir” bientôt.

Nicolas et Sébastien (D.)

P.S.: la vidéo du séminaire précédent est maintenant en ligne, et
disponible via https://www.gdria.fr/seminaire