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