Zhouxing Shi

UCLA

Preprints (* Equal contribution)

Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples
Code
Benchmark
Xingjian Zhou*, Hongji Xu*, Andy Xu*, Zhouxing Shi, Cho-Jui Hsieh, Huan Zhang
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control
Code
Zhouxing Shi, Cho-Jui Hsieh, Huan Zhang

Publications (* Equal contribution)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
Code
Benchmark
Zhouxing Shi*, Qirui Jin*, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
TACAS 2025
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
Code
Benchmark
Press
Lujie Yang*, Hongkai Dai*, Zhouxing Shi, Cho-Jui Hsieh, Russ Tedrake, Huan Zhang
ICML 2024
Defending LLMs against Jailbreaking Attacks via Backtranslation
Code
Yihan Wang*, Zhouxing Shi*, Andrew Bai, Cho-Jui Hsieh
ACL-Findings 2024
Red Teaming Language Model Detectors with Language Models
Code
arXiv
Zhouxing Shi*, Yihan Wang*, Fan Yin*, Xiangning Chen, Kai-Wei Chang, Cho-Jui Hsieh (*Alphabetical)
TACL 2024 (presented at EMNLP 2024)
Formal Verification for Neural Networks with General Nonlinearities via Branch-and-Bound
Zhouxing Shi*, Qirui Jin, Huan Zhang, Zico Kolter, Suman Jana, Cho-Jui Hsieh
WFVML 2023 (ICML workshop)
Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
Demo
Zhouxing Shi, Nicholas Carlini, Ananth Balashankar, Ludwig Schmidt, Cho-Jui Hsieh, Alex Beutel, Yao Qin
NeurIPS 2023
Towards Robustness Certification Against Universal Perturbations
Code
Yi Zeng*, Zhouxing Shi*, Ming Jin, Feiyang Kang, Lingjuan Lyu, Cho-Jui Hsieh, Ruoxi Jia
ICLR 2023
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Code
Zhouxing Shi, Yihan Wang, Huan Zhang, Zico Kolter, Cho-Jui Hsieh
NeurIPS 2022
On the Adversarial Robustness of Vision Transformers
Code
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
TMLR 2022
On the Sensitivity and Stability of Model Interpretations in NLP
Fan Yin, Zhouxing Shi, Cho-Jui Hsieh, Kai-Wei Chang
ACL 2022
On the Convergence of Certified Robust Training with Interval Bound Propagation
Yihan Wang*, Zhouxing Shi*, Quanquan Gu, Cho-Jui Hsieh
ICLR 2022
Robust Text CAPTCHAs Using Adversarial Examples
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
BigData 2022
Fast Certified Robust Training with Short Warmup
Code
Zhouxing Shi*, Yihan Wang*, Huan Zhang, Jinfeng Yi, Cho-Jui Hsieh
NeurIPS 2021
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond
Code
arXiv
Kaidi Xu*, Zhouxing Shi*, Huan Zhang*, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, Cho-Jui Hsieh
NeurIPS 2020
Robustness Verification for Transformers
Code
Zhouxing Shi, Huan Zhang, Kai-Wei Chang, Minlie Huang, Cho-Jui Hsieh
ICLR 2020
Robustness to Modification with Shared Words in Paraphrase Identification
Code
Zhouxing Shi, Minlie Huang
EMNLP-Findings 2020
A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues
Code
Zhouxing Shi, Minlie Huang
AAAI 2019