activity
20182025
most citedA Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

116 citations · 444 across the 35 of their papers we have counts for

collaborators

36 papers

cs.CL2025

FALCON: Fine-grained Activation Manipulation by Contrastive Orthogonal Unalignment for Large Language Model

Jinwei Hu, Zhenglin Huang, Xiangyu Yin +4

Large language models have been widely applied, but can inadvertently encode sensitive or harmful information, raising significant safety concerns. Machine unlearning has emerged t…

cs.CV2024

A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection

Fu Wang, Yanghao Zhang, Xiangyu Yin +4

Camera-based Bird's Eye View (BEV) perception models receive increasing attention for their crucial role in autonomous driving, a domain where concerns about the robustness and rel…

cs.LG2024★ 2 cited

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey

Yi Zhang, Zhen Chen, Chih-Hong Cheng +6

Text-to-Image (T2I) Diffusion Models (DMs) have garnered widespread attention for their impressive advancements in image generation. However, their growing popularity has raised et…

cs.CV2024

Towards Fairness-Aware Adversarial Learning

Yanghao Zhang, Tianle Zhang, Ronghui Mu +2

Although adversarial training (AT) has proven effective in enhancing the model's robustness, the recently revealed issue of fairness in robustness has not been well addressed, i.e.…

cs.LG2024

Boosting Adversarial Training via Fisher-Rao Norm-based Regularization

Xiangyu Yin, Wenjie Ruan

Adversarial training is extensively utilized to improve the adversarial robustness of deep neural networks. Yet, mitigating the degradation of standard generalization performance i…

cs.CV2024★ 1 cited

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation

Yi Zhang, Yun Tang, Wenjie Ruan +4

Text-to-Image (T2I) Diffusion Models (DMs) have shown impressive abilities in generating high-quality images based on simple text descriptions. However, as is common with many Deep…

cs.CL2024★ 14 cited

Building Guardrails for Large Language Models

Yi Dong, Ronghui Mu, Gaojie Jin +6

As Large Language Models (LLMs) become more integrated into our daily lives, it is crucial to identify and mitigate their risks, especially when the risks can have profound impacts…

cs.LG2023★ 2 cited

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning

Xiangyu Yin, Sihao Wu, Jiaxu Liu +4

While Goal-Conditioned Reinforcement Learning (GCRL) has gained attention, its algorithmic robustness against adversarial perturbations remains unexplored. The attacks and robust r…

cs.LG2023★ 1 cited

Reward Certification for Policy Smoothed Reinforcement Learning

Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang +3

Reinforcement Learning (RL) has achieved remarkable success in safety-critical areas, but it can be weakened by adversarial attacks. Recent studies have introduced "smoothed polici…

cs.AI2023★ 17 cited

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

Xiaowei Huang, Wenjie Ruan, Wei Huang +14

Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many…

cs.LG2023★ 2 cited

Model-Agnostic Reachability Analysis on Deep Neural Networks

Chi Zhang, Wenjie Ruan, Fu Wang +3

Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…

cs.LG2023★ 4 cited

Towards Verifying the Geometric Robustness of Large-scale Neural Networks

Fu Wang, Peipei Xu, Wenjie Ruan +1

Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation. This paper aims to verify the robustness of large-scale DNNs against the combination…

cs.LG2022★ 2 cited

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino +2

Cooperative multi-agent reinforcement learning (c-MARL) is widely applied in safety-critical scenarios, thus the analysis of robustness for c-MARL models is profoundly important. H…

cs.AI2022★ 5 cited

Adversarial Detection: Attacking Object Detection in Real Time

Han Wu, Syed Yunas, Sareh Rowlands +2

Intelligent robots rely on object detection models to perceive the environment. Following advances in deep learning security it has been revealed that object detection models are v…

cs.CV2022★ 4 cited

Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem

Zheng Wang, Wenjie Ruan

Recent research on the robustness of deep learning has shown that Vision Transformers (ViTs) surpass the Convolutional Neural Networks (CNNs) under some perturbations, e.g., natura…

cs.CV2022★ 3 cited

DIMBA: Discretely Masked Black-Box Attack in Single Object Tracking

Xiangyu Yin, Wenjie Ruan, Jonathan Fieldsend

The adversarial attack can force a CNN-based model to produce an incorrect output by craftily manipulating human-imperceptible input. Exploring such perturbations can help us gain…

cs.CV2022

3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models

Ronghui Mu, Wenjie Ruan, Leandro S. Marcolino +1

3D point cloud models are widely applied in safety-critical scenes, which delivers an urgent need to obtain more solid proofs to verify the robustness of models. Existing verificat…

cs.LG2022★ 4 cited

PRoA: A Probabilistic Robustness Assessment against Functional Perturbations

Tianle Zhang, Wenjie Ruan, Jonathan E. Fieldsend

In safety-critical deep learning applications robustness measurement is a vital pre-deployment phase. However, existing robustness verification methods are not sufficiently practic…

cs.CV2021★ 9 cited

Sparse Adversarial Video Attacks with Spatial Transformations

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino +1

In recent years, a significant amount of research efforts concentrated on adversarial attacks on images, while adversarial video attacks have seldom been explored. We propose an ad…

cs.LG2021★ 3 cited

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications

Wenjie Ruan, Xinping Yi, Xiaowei Huang

This tutorial aims to introduce the fundamentals of adversarial robustness of deep learning, presenting a well-structured review of up-to-date techniques to assess the vulnerabilit…

cs.SE2021★ 2 cited

Tutorials on Testing Neural Networks

Nicolas Berthier, Youcheng Sun, Wei Huang +3

Deep learning achieves remarkable performance on pattern recognition, but can be vulnerable to defects of some important properties such as robustness and security. This tutorial i…

cs.CV2021★ 38 cited

Adversarial Driving: Attacking End-to-End Autonomous Driving

Han Wu, Syed Yunas, Sareh Rowlands +2

As research in deep neural networks advances, deep convolutional networks become promising for autonomous driving tasks. In particular, there is an emerging trend of employing end-…

cs.CV2021★ 5 cited

Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks

Yanghao Zhang, Fu Wang, Wenjie Ruan

Although there are a great number of adversarial attacks on deep learning based classifiers, how to attack object detection systems has been rarely studied. In this paper, we propo…

cs.CV2020★ 3 cited

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations

Yanghao Zhang, Wenjie Ruan, Fu Wang +1

The previous study has shown that universal adversarial attacks can fool deep neural networks over a large set of input images with a single human-invisible perturbation. However,…