most citedGeneral Cutting Planes for Bound-Propagation-Based Neural Network Verification

33 citations · 49 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CV20231 cited

RBFormer: Improve Adversarial Robustness of Transformer by Robust Bias

Hao Cheng, Jinhao Duan, Hui Li +6

Recently, there has been a surge of interest and attention in Transformer-based structures, such as Vision Transformer (ViT) and Vision Multilayer Perceptron (VMLP). Compared with…

cs.CV20231 cited

Semantic Adversarial Attacks via Diffusion Models

Chenan Wang, Jinhao Duan, Chaowei Xiao +3

Traditional adversarial attacks concentrate on manipulating clean examples in the pixel space by adding adversarial perturbations. By contrast, semantic adversarial attacks focus o…

cs.CV2023

Improve Video Representation with Temporal Adversarial Augmentation

Jinhao Duan, Quanfu Fan, Hao Cheng +2

Recent works reveal that adversarial augmentation benefits the generalization of neural networks (NNs) if used in an appropriate manner. In this paper, we introduce Temporal Advers…

cs.CV202312 cited

Are Diffusion Models Vulnerable to Membership Inference Attacks?

Jinhao Duan, Fei Kong, Shiqi Wang +2

Diffusion-based generative models have shown great potential for image synthesis, but there is a lack of research on the security and privacy risks they may pose. In this paper, we…

cs.CV20222 cited

Real-Time Robust Video Object Detection System Against Physical-World Adversarial Attacks

Husheng Han, Xing Hu, Kaidi Xu +7

DNN-based video object detection (VOD) powers autonomous driving and video surveillance industries with rising importance and promising opportunities. However, adversarial patch at…

cs.LG202233 cited

General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Huan Zhang, Shiqi Wang, Kaidi Xu +5

Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robu…