Adversarial Examples

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.

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

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