#Efficient Certification for Probabilistic Robustness

Required packages may be imported using conda.yml. You can run the training pipeline with

```
python torch_train.py --config configs/mnist_proven_s.yaml
```

You can also run the verification pipeline with

```
python get_bounds_torch.py --model cifar --hidden 1024 --numlayer 7 --targettype top2 --norm i --numimage 10 --activation relu --method ours
```

You will need to download the pretrained models for the verification pipeline:

```
wget http://jaina.cs.ucdavis.edu/datasets/adv/relu_verification/models_crown.tar
tar xvf models_crown.tar
```