huanzhang12
Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
Repositories
Select a repository to view its commits, contributors, and more.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).
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
ATLA_robust_RL
Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
hogwildpp
HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent
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]
SA_PPO
[NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning
mpss-modules
Intel Xeon Phi MPSS Modules for Linux 4.2.0