Picture for Zhouxing Shi

Zhouxing Shi

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

Add code
May 31, 2024
Viaarxiv icon

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

Add code
Apr 11, 2024
Viaarxiv icon

Defending LLMs against Jailbreaking Attacks via Backtranslation

Add code
Feb 28, 2024
Viaarxiv icon

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

Add code
Nov 16, 2023
Figure 1 for Improving the Generation Quality of Watermarked Large Language Models via Word Importance Scoring
Figure 2 for Improving the Generation Quality of Watermarked Large Language Models via Word Importance Scoring
Figure 3 for Improving the Generation Quality of Watermarked Large Language Models via Word Importance Scoring
Viaarxiv icon

Red Teaming Language Model Detectors with Language Models

Add code
May 31, 2023
Figure 1 for Red Teaming Language Model Detectors with Language Models
Figure 2 for Red Teaming Language Model Detectors with Language Models
Figure 3 for Red Teaming Language Model Detectors with Language Models
Figure 4 for Red Teaming Language Model Detectors with Language Models
Viaarxiv icon

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

Add code
Feb 02, 2023
Figure 1 for Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
Figure 2 for Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
Figure 3 for Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
Figure 4 for Effective Robustness against Natural Distribution Shifts for Models with Different Training Data
Viaarxiv icon

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation

Add code
Oct 13, 2022
Figure 1 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 2 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 3 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Figure 4 for Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation
Viaarxiv icon

On the Convergence of Certified Robust Training with Interval Bound Propagation

Add code
Mar 16, 2022
Figure 1 for On the Convergence of Certified Robust Training with Interval Bound Propagation
Viaarxiv icon

On the Faithfulness Measurements for Model Interpretations

Add code
Apr 18, 2021
Figure 1 for On the Faithfulness Measurements for Model Interpretations
Figure 2 for On the Faithfulness Measurements for Model Interpretations
Figure 3 for On the Faithfulness Measurements for Model Interpretations
Figure 4 for On the Faithfulness Measurements for Model Interpretations
Viaarxiv icon

Fast Certified Robust Training via Better Initialization and Shorter Warmup

Add code
Apr 01, 2021
Figure 1 for Fast Certified Robust Training via Better Initialization and Shorter Warmup
Figure 2 for Fast Certified Robust Training via Better Initialization and Shorter Warmup
Figure 3 for Fast Certified Robust Training via Better Initialization and Shorter Warmup
Figure 4 for Fast Certified Robust Training via Better Initialization and Shorter Warmup
Viaarxiv icon