Alert button
Picture for Huan Zhang

Huan Zhang

Alert button

FI-ODE: Certified and Robust Forward Invariance in Neural ODEs

Oct 30, 2022
Yujia Huang, Ivan Dario Jimenez Rodriguez, Huan Zhang, Yuanyuan Shi, Yisong Yue

Figure 1 for FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
Figure 2 for FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
Figure 3 for FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
Figure 4 for FI-ODE: Certified and Robust Forward Invariance in Neural ODEs
Viaarxiv icon

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation

Oct 13, 2022
Zhouxing Shi, Yihan Wang, Huan Zhang, Zico Kolter, Cho-Jui Hsieh

Figure 1 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 2 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 3 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 4 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Viaarxiv icon

General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Aug 11, 2022
Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter

Figure 1 for General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Figure 2 for General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Figure 3 for General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Figure 4 for General Cutting Planes for Bound-Propagation-Based Neural Network Verification
Viaarxiv icon

Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness

Jun 15, 2022
Tianlong Chen, Huan Zhang, Zhenyu Zhang, Shiyu Chang, Sijia Liu, Pin-Yu Chen, Zhangyang Wang

Figure 1 for Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness
Figure 2 for Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness
Figure 3 for Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness
Figure 4 for Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness
Viaarxiv icon

On the Robustness of Safe Reinforcement Learning under Observational Perturbations

May 29, 2022
Zuxin Liu, Zijian Guo, Zhepeng Cen, Huan Zhang, Jie Tan, Bo Li, Ding Zhao

Figure 1 for On the Robustness of Safe Reinforcement Learning under Observational Perturbations
Figure 2 for On the Robustness of Safe Reinforcement Learning under Observational Perturbations
Figure 3 for On the Robustness of Safe Reinforcement Learning under Observational Perturbations
Figure 4 for On the Robustness of Safe Reinforcement Learning under Observational Perturbations
Viaarxiv icon

BronchusNet: Region and Structure Prior Embedded Representation Learning for Bronchus Segmentation and Classification

May 24, 2022
Wenhao Huang, Haifan Gong, Huan Zhang, Yu Wang, Haofeng Li, Guanbin Li, Hong Shen

Figure 1 for BronchusNet: Region and Structure Prior Embedded Representation Learning for Bronchus Segmentation and Classification
Figure 2 for BronchusNet: Region and Structure Prior Embedded Representation Learning for Bronchus Segmentation and Classification
Figure 3 for BronchusNet: Region and Structure Prior Embedded Representation Learning for Bronchus Segmentation and Classification
Figure 4 for BronchusNet: Region and Structure Prior Embedded Representation Learning for Bronchus Segmentation and Classification
Viaarxiv icon

COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks

Mar 16, 2022
Fan Wu, Linyi Li, Chejian Xu, Huan Zhang, Bhavya Kailkhura, Krishnaram Kenthapadi, Ding Zhao, Bo Li

Figure 1 for COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
Figure 2 for COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
Figure 3 for COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
Figure 4 for COPA: Certifying Robust Policies for Offline Reinforcement Learning against Poisoning Attacks
Viaarxiv icon

Temporal Shuffling for Defending Deep Action Recognition Models against Adversarial Attacks

Dec 15, 2021
Jaehui Hwang, Huan Zhang, Jun-Ho Choi, Cho-Jui Hsieh, Jong-Seok Lee

Figure 1 for Temporal Shuffling for Defending Deep Action Recognition Models against Adversarial Attacks
Figure 2 for Temporal Shuffling for Defending Deep Action Recognition Models against Adversarial Attacks
Figure 3 for Temporal Shuffling for Defending Deep Action Recognition Models against Adversarial Attacks
Figure 4 for Temporal Shuffling for Defending Deep Action Recognition Models against Adversarial Attacks
Viaarxiv icon

Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds

Nov 02, 2021
Yujia Huang, Huan Zhang, Yuanyuan Shi, J Zico Kolter, Anima Anandkumar

Figure 1 for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Figure 2 for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Figure 3 for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Figure 4 for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
Viaarxiv icon