Shi, Zhouxing

13 publications

TMLR 2025 SoundnessBench: A Soundness Benchmark for Neural Network Verifiers Xingjian Zhou, Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang, Zhouxing Shi

ICML 2024 Lyapunov-Stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang, Hongkai Dai, Zhouxing Shi, Cho-Jui Hsieh, Russ Tedrake, Huan Zhang

NeurIPS 2023 Effective Robustness Against Natural Distribution Shifts for Models with Different Training Data Zhouxing Shi, Nicholas Carlini, Ananth Balashankar, Ludwig Schmidt, Cho-Jui Hsieh, Alex Beutel, Yao Qin

ICLR 2023 Towards Robustness Certification Against Universal Perturbations Yi Zeng, Zhouxing Shi, Ming Jin, Feiyang Kang, Lingjuan Lyu, Cho-Jui Hsieh, Ruoxi Jia

NeurIPS 2022 Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation Zhouxing Shi, Yihan Wang, Huan Zhang, J. Zico Kolter, Cho-Jui Hsieh

TMLR 2022 On the Adversarial Robustness of Vision Transformers Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh

NeurIPSW 2022 On the Adversarial Robustness of Vision Transformers Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh

ICLR 2022 On the Convergence of Certified Robust Training with Interval Bound Propagation Yihan Wang, Zhouxing Shi, Quanquan Gu, Cho-Jui Hsieh

NeurIPS 2021 Fast Certified Robust Training with Short Warmup Zhouxing Shi, Yihan Wang, Huan Zhang, Jinfeng Yi, Cho-Jui Hsieh

ICMLW 2021 Fast Certified Robust Training with Short Warmup Zhouxing Shi, Yihan Wang, Huan Zhang, Jinfeng Yi, Cho-Jui Hsieh

NeurIPS 2020 Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, Cho-Jui Hsieh

ICLR 2020 Robustness Verification for Transformers Zhouxing Shi, Huan Zhang, Kai-Wei Chang, Minlie Huang, Cho-Jui Hsieh

AAAI 2019 A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues Zhouxing Shi, Minlie Huang