Zhouxing Shi
14 papers · 2019–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (32) π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Grand Slam
π§¬
Topic Evolution
π€
Dynamic Duo
(11)
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(68)
Top co-authors
Research topics
Machine Learning
(12)
Artificial Intelligence
(10)
Core AI
(10)
Deep Learning
(7)
Optimization & Theory Β· Machine Learning
(7)
Learning Types Β· Deep Learning
(4)
Natural Language Processing
(3)
Optimization & Theory Β· Deep Learning
(3)
Robotics
(2)
Application Areas
(2)
Architectures
(2)
Core Methods
(2)
Learning Types Β· Machine Learning
(2)
Systems
(2)
Mathematics & Optimization
(1)
Keywords
adversarial robustness
(5)
certified robustness
(3)
adversarial training
(2)
interval bound propagation
(2)
neural network verification
(2)
natural language processing
(2)
linear relaxation
(2)
large language model
(2)
branch and bound
(2)
region of attraction
(2)
deep learning
(1)
convergence analysis
(1)
preference optimization
(1)
text classification
(1)
masked language model
(1)
batch normalization
(1)
domain generalization
(1)
formal verification
(1)
gradient descent
(1)
attention mechanism
(1)
Papers
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
L4DC 2026
From Individual to Common: An Early Exploration of Consensus in Non-verifiable Data for Balanced Preference Optimization
ACL 2026
Defending LLMs against Jailbreaking Attacks via Backtranslation
ACL 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
ICML 2024
Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
NeurIPS 2023
Towards Robustness Certification Against Universal Perturbations
ICLR 2023
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
NeurIPS 2022
On the Convergence of Certified Robust Training with Interval Bound Propagation
ICLR 2022
On the Sensitivity and Stability of Model Interpretations in NLP
ACL 2022
Fast Certified Robust Training with Short Warmup
NeurIPS 2021
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond
NeurIPS 2020
Robustness to Modification with Shared Words in Paraphrase Identification
EMNLP 2020
Robustness Verification for Transformers
ICLR 2020
A Deep Sequential Model for Discourse Parsing on Multi-Party Dialogues
AAAI 2019