huanzhang12/RecurJac-and-CROWN huanzhang12/RecurJac-and-CROWN

  • Stars
    star
    25
  • Rank 952,080 (Top 19 %)
  • Language
    Python
  • License
    BSD 2-Clause "Sim...
  • Created almost 6 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
huanzhang12/RecurJac-and-CROWN
github

huanzhang12

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]

More Repositories

1

ZOO-Attack

ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks
Python
163
star
2

Adversarial_Survey

Robustness vs Accuracy Survey on ImageNet
Python
99
star
3

CROWN-IBP

Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
Python
93
star
4

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP'21)
Python
87
star
5

lightgbm-gpu

Development Repository for GPU-accelerated GBDT training
C++
60
star
6

CLEVER

CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks
Python
58
star
7

ATLA_robust_RL

Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
Python
56
star
8

ImageCaptioningAttack

Show-and-Fool: Adversarial Examples for Image Captioning task
Python
54
star
9

hogwildpp

HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent
C++
33
star
10

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)
Python
30
star
11

SA_PPO

[NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning
Python
19
star
12

mpss-modules

Intel Xeon Phi MPSS Modules for Linux 4.2.0
C
17
star
13

CROWN-Robustness-Certification

CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/Verified-Intelligence/auto_LiRPA instead)
Python
16
star
14

sampling_tensor_decomp

Fast Approximate Orthogonal Tensor Decomposition Based on Importance Sampling
C++
9
star
15

SA_DDPG

[NeurIPS 2020 Spotlight] State-adversarial DDPG for robust deep reinforcement learning
Python
8
star
16

tensorflow-alexnet-model

Pretrained TensorFlow protobuf for AlexNet model
Jupyter Notebook
6
star
17

decentralized_sgd

Lua
5
star
18

tensorflow-densenet-models

Pretrained Frozen Densenet Protobuf for TensorFlow
Python
4
star
19

ECE584-SP24-assignment2

Python
4
star
20

alpha-beta-CROWN_vnncomp22

Repo for VNN-COMP submission only. For other purposes please use the latest verifier at https://abcrown.org
Python
3
star
21

passcode-fix

Fixing convergence problems in Parallel ASynchronous Stochastic dual Co-ordinate Descent (PASSCoDe)
C
2
star
22

ShowAttendAndTellModel

Jupyter Notebook
1
star
23

HotSpot-GPU

GPU accelerated version of the HotSpot simulator, a popular temperature modeling tool
C
1
star
24

vnncomp2024_tinyimagenet_benchmark

Python
1
star