activity
20202024
most citedFast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

60 citations · 87 across the 10 of their papers we have counts for

collaborators

11 papers

cs.CL2024

On the Loss of Context-awareness in General Instruction Fine-tuning

Yihan Wang, Andrew Bai, Nanyun Peng +1

Pre-trained Large Language Models (LLMs) require post-training methods such as supervised fine-tuning (SFT) on instruction-response pairs to enable instruction following. However,…

cs.CL2024

Defending LLMs against Jailbreaking Attacks via Backtranslation

Yihan Wang, Zhouxing Shi, Andrew Bai +1

Although many large language models (LLMs) have been trained to refuse harmful requests, they are still vulnerable to jailbreaking attacks which rewrite the original prompt to conc…

cs.CL2023

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

Yuhang Li, Yihan Wang, Zhouxing Shi +1

The strong general capabilities of Large Language Models (LLMs) bring potential ethical risks if they are unrestrictedly accessible to malicious users. Token-level watermarking ins…

cs.CL2023★ 3 cited

Red Teaming Language Model Detectors with Language Models

Zhouxing Shi, Yihan Wang, Fan Yin +3

The prevalence and strong capability of large language models (LLMs) present significant safety and ethical risks if exploited by malicious users. To prevent the potentially decept…

cs.LG2023★ 1 cited

Universality and Limitations of Prompt Tuning

Yihan Wang, Jatin Chauhan, Wei Wang +1

Despite the demonstrated empirical efficacy of prompt tuning to adapt a pretrained language model for a new task, the theoretical underpinnings of the difference between "tuning pa…

cs.CL2022★ 8 cited

Two-stage LLM Fine-tuning with Less Specialization and More Generalization

Yihan Wang, Si Si, Daliang Li +5

Pretrained large language models (LLMs) are general purpose problem solvers applicable to a diverse set of tasks with prompts. They can be further improved towards a specific task…

cs.LG2022★ 8 cited

Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation

Zhouxing Shi, Yihan Wang, Huan Zhang +2

Lipschitz constants are connected to many properties of neural networks, such as robustness, fairness, and generalization. Existing methods for computing Lipschitz constants either…

cs.LG2022

On the Convergence of Certified Robust Training with Interval Bound Propagation

Yihan Wang, Zhouxing Shi, Quanquan Gu +1

Interval Bound Propagation (IBP) is so far the base of state-of-the-art methods for training neural networks with certifiable robustness guarantees when potential adversarial pertu…

cs.LG2021★ 6 cited

Fast Certified Robust Training with Short Warmup

Zhouxing Shi, Yihan Wang, Huan Zhang +2

Recently, bound propagation based certified robust training methods have been proposed for training neural networks with certifiable robustness guarantees. Despite that state-of-th…

cs.AI2020★ 60 cited

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

Kaidi Xu, Huan Zhang, Shiqi Wang +4

Formal verification of neural networks (NNs) is a challenging and important problem. Existing efficient complete solvers typically require the branch-and-bound (BaB) process, which…

cs.LG2020★ 1 cited

On -norm Robustness of Ensemble Stumps and Trees

Yihan Wang, Huan Zhang, Hongge Chen +2

Recent papers have demonstrated that ensemble stumps and trees could be vulnerable to small input perturbations, so robustness verification and defense for those models have become…