Zhouxing Shi
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples
arXiv 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities
arXiv 2024
Defending LLMs against Jailbreaking Attacks via Backtranslation
arXiv 2024
Red Teaming Language Model Detectors with Language Models
arXiv 2023
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
arXiv 2022
Fast Certified Robust Training with Short Warmup
NeurIPS 2021 12
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers