huanzhang12/CertifiedReLURobustness

The link to download the dataset is not working

Opened this issue · 1 comments

This repository is outdated. You should checkout our new implementation in the auto_LiRPA library, which provides GPU acceleration and supports on general neural network architecture.
The models can be found in this new link: https://download.huan-zhang.com/models/adv/robustness/models_relu_verification.tar