Zhouxing Shi

40 papers A* 9B 1Journal 26Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
PII-VisBench: Evaluating Personally Identifiable Information Safety in Vision Language Models Along a Continuum of Visibility.
CoRR
G. M. Shahariar, Zabir Al Nazi, Md. Olid Hasan Bhuiyan, Zhouxing Shi
2026 J jnl
Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.
CoRR
Yizhak Yisrael Elboher, Reuven Peleg, Zhouxing Shi, Guy Katz, Jan Kretínský
2025 J jnl
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.
CoRR
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz
2025 — conf
Neural Network Verification with Branch-and-Bound for General Nonlinearities.
TACAS (1)
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
2025 J jnl
PIKA: Expert-Level Synthetic Datasets for Post-Training Alignment from Scratch.
CoRR
Shangjian Yin, Shining Liang, Wenbiao Ding, Yuli Qian, Zhouxing Shi, Hongzhi Li, Yutao Xie
2025 J jnl
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers.
Trans. Mach. Learn. Res.
Xingjian Zhou, Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang, Zhouxing Shi
2024 J jnl
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control.
CoRR
Zhouxing Shi, Cho-Jui Hsieh, Huan Zhang
2024 — conf
Defending LLMs against Jailbreaking Attacks via Backtranslation.
ACL (Findings)
Yihan Wang, Zhouxing Shi, Andrew Bai, Cho-Jui Hsieh
2024 J jnl
Defending LLMs against Jailbreaking Attacks via Backtranslation.
CoRR
Yihan Wang, Zhouxing Shi, Andrew Bai, Cho-Jui Hsieh
2024 J jnl
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation for Efficient Synthesis and Verification.
CoRR
Lujie Yang, Hongkai Dai, Zhouxing Shi, Cho-Jui Hsieh, Russ Tedrake, Huan Zhang
2024 A* conf
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation.
ICML
Lujie Yang, Hongkai Dai, Zhouxing Shi, Cho-Jui Hsieh, Russ Tedrake, Huan Zhang
2024 J jnl
Neural Network Verification with Branch-and-Bound for General Nonlinearities.
CoRR
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
2024 J jnl
Red Teaming Language Model Detectors with Language Models.
Trans. Assoc. Comput. Linguistics
Zhouxing Shi, Yihan Wang, Fan Yin, Xiangning Chen, Kai-Wei Chang, Cho-Jui Hsieh
2024 J jnl
Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples.
CoRR
Xingjian Zhou, Hongji Xu, Andy Xu, Zhouxing Shi, Cho-Jui Hsieh, Huan Zhang
2023 A* conf
Effective Robustness against Natural Distribution Shifts for Models with Different Training Data.
NeurIPS
Zhouxing Shi, Nicholas Carlini, Ananth Balashankar, Ludwig Schmidt, Cho-Jui Hsieh, Alex Beutel, Yao Qin
2023 J jnl
Effective Robustness against Natural Distribution Shifts for Models with Different Training Data.
CoRR
Zhouxing Shi, Nicholas Carlini, Ananth Balashankar, Ludwig Schmidt, Cho-Jui Hsieh, Alex Beutel, Yao Qin
2023 J jnl
Improving the Generation Quality of Watermarked Large Language Models via Word Importance Scoring.
CoRR
Yuhang Li, Yihan Wang, Zhouxing Shi, Cho-Jui Hsieh
2023 J jnl
Red Teaming Language Model Detectors with Language Models.
CoRR
Zhouxing Shi, Yihan Wang, Fan Yin, Xiangning Chen, Kai-Wei Chang, Cho-Jui Hsieh
2023 A* conf
Towards Robustness Certification Against Universal Perturbations.
ICLR
Yi Zeng, Zhouxing Shi, Ming Jin, Feiyang Kang, Lingjuan Lyu, Cho-Jui Hsieh, Ruoxi Jia
2022 A* conf
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation.
NeurIPS
Zhouxing Shi, Yihan Wang, Huan Zhang, J. Zico Kolter, Cho-Jui Hsieh
2022 J jnl
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation.
CoRR
Zhouxing Shi, Yihan Wang, Huan Zhang, J. Zico Kolter, Cho-Jui Hsieh
2022 J jnl
On the Adversarial Robustness of Vision Transformers.
Trans. Mach. Learn. Res.
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
2022 A* conf
On the Convergence of Certified Robust Training with Interval Bound Propagation.
ICLR
Yihan Wang, Zhouxing Shi, Quanquan Gu, Cho-Jui Hsieh
2022 J jnl
On the Convergence of Certified Robust Training with Interval Bound Propagation.
CoRR
Yihan Wang, Zhouxing Shi, Quanquan Gu, Cho-Jui Hsieh
2022 — conf
On the Sensitivity and Stability of Model Interpretations in NLP.
ACL (1)
Fan Yin, Zhouxing Shi, Cho-Jui Hsieh, Kai-Wei Chang
2022 B conf
Robust Text CAPTCHAs Using Adversarial Examples.
IEEE Big Data
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
2021 J jnl
Fast Certified Robust Training via Better Initialization and Shorter Warmup.
CoRR
Zhouxing Shi, Yihan Wang, Huan Zhang, Jinfeng Yi, Cho-Jui Hsieh
2021 A* conf
Fast Certified Robust Training with Short Warmup.
NeurIPS
Zhouxing Shi, Yihan Wang, Huan Zhang, Jinfeng Yi, Cho-Jui Hsieh
2021 J jnl
On the Adversarial Robustness of Visual Transformers.
CoRR
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
2021 J jnl
On the Faithfulness Measurements for Model Interpretations.
CoRR
Fan Yin, Zhouxing Shi, Cho-Jui Hsieh, Kai-Wei Chang
2021 J jnl
Robust Text CAPTCHAs Using Adversarial Examples.
CoRR
Rulin Shao, Zhouxing Shi, Jinfeng Yi, Pin-Yu Chen, Cho-Jui Hsieh
2020 A* conf
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond.
NeurIPS
Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, Cho-Jui Hsieh
2020 J jnl
Automatic Perturbation Analysis on General Computational Graphs.
CoRR
Kaidi Xu, Zhouxing Shi, Huan Zhang, Minlie Huang, Kai-Wei Chang, Bhavya Kailkhura, Xue Lin, Cho-Jui Hsieh
2020 J jnl
Knowledge-Aided Open-Domain Question Answering.
CoRR
Mantong Zhou, Zhouxing Shi, Minlie Huang, Xiaoyan Zhu
2020 A* conf
Robustness Verification for Transformers.
ICLR
Zhouxing Shi, Huan Zhang, Kai-Wei Chang, Minlie Huang, Cho-Jui Hsieh
2020 J jnl
Robustness Verification for Transformers.
CoRR
Zhouxing Shi, Huan Zhang, Kai-Wei Chang, Minlie Huang, Cho-Jui Hsieh
2020 — conf
Robustness to Modification with Shared Words in Paraphrase Identification.
EMNLP (Findings)
Zhouxing Shi, Minlie Huang
2019 A* conf
A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues.
AAAI
Zhouxing Shi, Minlie Huang
2019 J jnl
Robustness to Modification with Shared Words in Paraphrase Identification.
CoRR
Zhouxing Shi, Minlie Huang
2018 J jnl
A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues.
CoRR
Zhouxing Shi, Minlie Huang