Zhouxing Shi

Orcid: 0009-0004-5993-6361

According to our database¹, Zhouxing Shi authored at least 32 papers between 2019 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

GRLO: Towards Generalizable Reinforcement Learning in Open-Ended Environments from Zero.

[BibT_eX]

[DOI]

CoRR, May, 2026

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.

[BibT_eX]

[DOI]

Yizhak Yisrael Elboher

CoRR, March, 2026

PII-VisBench: Evaluating Personally Identifiable Information Safety in Vision Language Models Along a Continuum of Visibility.

[BibT_eX]

[DOI]

G. M. Shahariar

Zabir Al Nazi

Md. Olid Hasan Bhuiyan

Zhouxing Shi

CoRR, January, 2026

From Individual to Common: An Early Exploration of Consensus in Non-verifiable Data for Balanced Preference Optimization.

[BibT_eX]

[DOI]

Shangjian Yin

Zhouxing Shi

Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2026

2025

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.

[BibT_eX]

[DOI]

Yizhak Yisrael Elboher

CoRR, December, 2025

PIKA: Expert-Level Synthetic Datasets for Post-Training Alignment from Scratch.

[BibT_eX]

[DOI]

CoRR, October, 2025

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2025

Neural Network Verification with Branch-and-Bound for General Nonlinearities.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Red Teaming Language Model Detectors with Language Models.

[BibT_eX]

[DOI]

Trans. Assoc. Comput. Linguistics, 2024

Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples.

[BibT_eX]

[DOI]

CoRR, 2024

Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control.

[BibT_eX]

[DOI]

Zhouxing Shi

Cho-Jui Hsieh

Huan Zhang

CoRR, 2024

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation for Efficient Synthesis and Verification.

[BibT_eX]

[DOI]

CoRR, 2024

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Defending LLMs against Jailbreaking Attacks via Backtranslation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Improving the Generation Quality of Watermarked Large Language Models via Word Importance Scoring.

[BibT_eX]

[DOI]

CoRR, 2023

Effective Robustness against Natural Distribution Shifts for Models with Different Training Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Towards Robustness Certification Against Universal Perturbations.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

On the Adversarial Robustness of Vision Transformers.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2022

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

On the Convergence of Certified Robust Training with Interval Bound Propagation.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Robust Text CAPTCHAs Using Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

On the Sensitivity and Stability of Model Interpretations in NLP.

[BibT_eX]

[DOI]

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021

On the Faithfulness Measurements for Model Interpretations.

[BibT_eX]

[DOI]

CoRR, 2021

Fast Certified Robust Training via Better Initialization and Shorter Warmup.

[BibT_eX]

[DOI]

CoRR, 2021

On the Adversarial Robustness of Visual Transformers.

[BibT_eX]

[DOI]

CoRR, 2021

Fast Certified Robust Training with Short Warmup.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Knowledge-Aided Open-Domain Question Answering.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Perturbation Analysis on General Computational Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Robustness Verification for Transformers.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Robustness to Modification with Shared Words in Paraphrase Identification.

[BibT_eX]

[DOI]

Zhouxing Shi

Minlie Huang

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

2019

A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues.

[BibT_eX]

[DOI]

Zhouxing Shi

Minlie Huang

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Zhouxing Shi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...