Formal verification of robustness properties in deep learning programs


Date
Feb 10, 2020 4:49 PM

A seminar I gave to people from Telecom, aimed at an audience familiar with machine learning but not familiar with verification techniques.

Researcher on Trustworthy Artificial Intelligence