huanzhang12
Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
University of IllinoisUrbana-Champaign
Pinned Repositories
Adversarial_Survey
Robustness vs Accuracy Survey on ImageNet
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
CROWN-IBP
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
hogwildpp
HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent
ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
lightgbm-gpu
Development Repository for GPU-accelerated GBDT training
ZOO-Attack
ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks
alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
huanzhang12's Repositories
huanzhang12/ZOO-Attack
ZOO: Zeroth Order Optimization based Black-box Attacks to Deep Neural Networks
huanzhang12/Adversarial_Survey
Robustness vs Accuracy Survey on ImageNet
huanzhang12/CROWN-IBP
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
huanzhang12/lightgbm-gpu
Development Repository for GPU-accelerated GBDT training
huanzhang12/CLEVER
CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks
huanzhang12/ATLA_robust_RL
Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
huanzhang12/ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
huanzhang12/hogwildpp
HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent
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)
huanzhang12/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]
huanzhang12/SA_PPO
[NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning
huanzhang12/mpss-modules
Intel Xeon Phi MPSS Modules for Linux 4.2.0
huanzhang12/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)
huanzhang12/sampling_tensor_decomp
Fast Approximate Orthogonal Tensor Decomposition Based on Importance Sampling
huanzhang12/SA_DDPG
[NeurIPS 2020 Spotlight] State-adversarial DDPG for robust deep reinforcement learning
huanzhang12/tensorflow-alexnet-model
Pretrained TensorFlow protobuf for AlexNet model
huanzhang12/decentralized_sgd
huanzhang12/ECE584-SP24-assignment2
huanzhang12/tensorflow-densenet-models
Pretrained Frozen Densenet Protobuf for TensorFlow
huanzhang12/alpha-beta-CROWN_vnncomp22
Repo for VNN-COMP submission only. For other purposes please use the latest verifier at https://abcrown.org
huanzhang12/threads
Threads for Lua and LuaJIT. Transparent exchange of data between threads is allowed thanks to torch serialization.
huanzhang12/torch-ipc
A set of primitives for parallel computation in Torch
huanzhang12/HotSpot-GPU
GPU accelerated version of the HotSpot simulator, a popular temperature modeling tool
huanzhang12/ShowAttendAndTellModel
huanzhang12/vnncomp2024_tinyimagenet_benchmark
huanzhang12/compute
A C++ GPU Computing Library for OpenCL
huanzhang12/decentralized-training
huanzhang12/GCP-CROWN
The official repo for GCP-CROWN paper
huanzhang12/LightGBM
LightGBM GPU staging/merging tree
huanzhang12/vnncomp2024_cifar100_benchmark