Popular repositories Loading

1. eran eran Public

   Forked from eth-sri/eran

   ETH Robustness Analyzer for Deep Neural Networks

   Python 1

2. CertifiedReLURobustness CertifiedReLURobustness Public

   Forked from huanzhang12/CertifiedReLURobustness

   Efficient Robustness Verification for ReLU networks (DEPRECATED, don't use, see description)

   Python 1

3. CROWN-Robustness-Certification CROWN-Robustness-Certification Public

   Forked from IBM/CROWN-Robustness-Certification

   CROWN: A Neural Network Verification Framework for Networks with General Activation Functions

   Python 1

4. CNN-Cert CNN-Cert Public

   Forked from IBM/CNN-Cert

   Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks", published at AAAI 2019

   C 1

5. CLEVER-Robustness-Score CLEVER-Robustness-Score Public

   Forked from IBM/CLEVER-Robustness-Score

   Codes for reproducing the robustness evaluation scores in “Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach,” ICLR 2018 ​​​​​​​

   Python 1

6. apollo apollo Public

   Forked from ApolloAuto/apollo

   An open autonomous driving platform

   C++