Tutorials

This tutorial will explore the promises and shortcomings of the field of explainable AI. Through the lens of post-hoc explanation methods and interpretable-by-design models, attendees will learn which answers to expect when dealing with explainable AI techniques.

Formal verification of deep neural networks: theory and practice; a tutorial I gave during the joint INRIA-DFKI 2021 summer school.

Theory and practice of deep learning verification; a tutorial I gave during the PFIA 2020 conference

Some tutorial materials I gave with my advisor Guillaume Charpiat during DigiCOSME Spring school ForMaL