Commit e9aa0a7c authored by julien girard's avatar julien girard

updated slides and smaller docker image

parent 8c215284
This repository provide all the necessary material for PFIA 2020 tutorial
This repository provide all the necessary material
for PFIA 2020 tutorial
"Formal verification of deep neural networks".
The main file is a jupyter notebook `tutorial.ipynb`, slides for the first
The main file is a jupyter notebook `tutorial.ipynb`,
slides for the first
part of the tutorial are under `doc/slides.pdf`.
There are several dependancies to install. For convenience, a Docker image
There are several dependancies to install.
For convenience, a Docker image
is provided.
### Install the tutorial environment within a Docker image (recommended)
The Dockerfile contains all dependencies for running the
tutorial. If you want to regenerate the training data and
retrain the network by yourself, you will need to install
the `torch` python package.
During build, about 300MB of data will be downloaded.
#### Build Docker image
1. Install Docker
1. on Windows or macOS, install Docker Desktop
......
No preview for this file type
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment