huanzhang12
Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
University of IllinoisUrbana-Champaign
huanzhang12's Stars
Verified-Intelligence/Lyapunov_Stable_NN_Controllers
Lyapunov-stable Neural Control for State and Output Feedback
Yu-Fangxu/COLD-Attack
Official code of "COLD-Attack: Jailbreaking LLMs with Stealthiness and Controllability" (ICML 2024)
sayanmitracode/cpsbooksite
A live website for the CPS verification book
HowieHwong/TrustLLM
[ICML 2024] TrustLLM: Trustworthiness in Large Language Models
ChristopherBrix/vnncomp2023_benchmarks
Benchmarks for the VNN Comp 2023
stanleybak/vnncomp2023
Fourth edition of VNN COMP (2023)
kothasuhas/verify-input
Provably Bounding Neural Network Preimages
stanleybak/vnncomp2022
lan-lc/adversarial_example_of_Go
Attack AlphaZero Go agents (NeurIPS 2022)
shizhouxing/Local-Lipschitz-Constants
[NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
Zinoex/bound_propagation
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
tcwangshiqi-columbia/GCP-CROWN
The official repo for GCP-CROWN paper
tcwangshiqi-columbia/BaB-Attack
"A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks" accepted in ICML'22
VITA-Group/Linearity-Grafting
[ICML 2022] "Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness" by Tianlong Chen*, Huan Zhang*, Zhenyu Zhang, Shiyu Chang, Sijia Liu, Pin-Yu Chen, Zhangyang Wang
Lucas110550/CIFAR100_TinyImageNet_ResNet
Benchmark Repo for VNNComp 2022
NVIDIA/open-gpu-kernel-modules
NVIDIA Linux open GPU kernel module source
harkiratbehl/simplex-verify
yjhuangcd/local-lipschitz
locuslab/intermediate_robustness
CUMLSec/XDA
CUMLSec/stateformer
CUMLSec/trex
oval-group/oval-bab
OVAL framework for BaB-based Neural Network Verification
huanzhang12/ImageCaptioningAttack
Show-and-Fool: Adversarial Examples for Image Captioning task
huanzhang12/Adversarial_Survey
Robustness vs Accuracy Survey on ImageNet
Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
stanleybak/nnenum
Neural Network Enumeration Tool
tcwangshiqi-columbia/cifar10_resnet_benchmark
KaidiXu/LiRPA_Verify
Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
shizhouxing/Robustness-Verification-for-Transformers
[ICLR 2020] Code for paper "Robustness Verification for Transformers"