adversarial examples

Frailties of AI - Paris Saclay AI Master

This is the material for a course I gave at the Université Paris-Saclay AI master course for Fairness in Artificial Intelligence. Altough the course was online, interactions between students, professors and me were really interesting and sparked new questions, especially on the question of dataset quality assessment.

Theory and Practice of Formal Verification of Machine Learning

Since 2020, I regularly teach formal verification of machine learning programs to students of the SETI master.

ForMaL 2019

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