ForMaL 2019
The idea of this tutorial was to give a quick grasp to formal verification researchers on how do we train and use deep neural networks. It also teaches how to generate adversarial examples using the simple Fast Gradient Sign Method (FGSM).
Materials are available here as Jupyter Notebooks. Feel free to download and run them!
