Huan Zhang

ZOO-Attack. ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks

Adversarial_Survey. Robustness vs Accuracy Survey on ImageNet

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

ATLA_robust_RL. Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework

CLEVER. CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks

lightgbm-gpu. Development Repository for GPU-accelerated GBDT training

ImageCaptioningAttack. Show-and-Fool: Adversarial Examples for Image Captioning task

hogwildpp. HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent

SA_PPO. [NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning

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)

RecurJac-and-CROWN. 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]

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)

mpss-modules. Intel Xeon Phi MPSS Modules for Linux 4.2.0

SA_DDPG. [NeurIPS 2020 Spotlight] State-adversarial DDPG for robust deep reinforcement learning

sampling_tensor_decomp. Fast Approximate Orthogonal Tensor Decomposition Based on Importance Sampling

tensorflow-alexnet-model. Pretrained TensorFlow protobuf for AlexNet model

ECE584-verification-assignment. Python

decentralized_sgd. Lua

tensorflow-densenet-models. Pretrained Frozen Densenet Protobuf for TensorFlow

alpha-beta-CROWN_vnncomp22. Repo for VNN-COMP submission only. For other purposes please use the latest verifier at https://abcrown.org

passcode-fix. Fixing convergence problems in Parallel ASynchronous Stochastic dual Co-ordinate Descent (PASSCoDe)

vnncomp2024_tinyimagenet_benchmark. Python

ShowAttendAndTellModel. Jupyter Notebook

HotSpot-GPU. GPU accelerated version of the HotSpot simulator, a popular temperature modeling tool