Theory and Practice of Formal Verification of Machine Learning

Julien Girard-Satabin
Jan 30, 2020

Formation: Master SETI

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

Artificial Intelligence Machine Learning Adversarial Examples Fairness
Researcher on Trustworthy Artificial Intelligence