search

huanzhang12 / CertifiedReLURobustness

Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)
https://github.com/Verified-Intelligence/auto_LiRPA
BSD 2-Clause "Simplified" License
30 stars 6 forks source link

The link to download the dataset is not working #1

Open nbdyn opened 2 years ago

nbdyn commented 2 years ago

The link to download the dataset is not working wget http://jaina.cs.ucdavis.edu/datasets/adv/relu_verification/models_relu_verification.tar

huanzhang12 commented 2 years ago

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