17 citations · 32 across the 5 of their papers we have counts for
5 papers
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…
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…
Reachability Analysis of Neural Network Control Systems
Chi Zhang, Wenjie Ruan, Peipei Xu
Neural network controllers (NNCs) have shown great promise in autonomous and cyber-physical systems. Despite the various verification approaches for neural networks, the safety ana…
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…
Towards the Quantification of Safety Risks in Deep Neural Networks
Peipei Xu, Wenjie Ruan, Xiaowei Huang
Safety concerns on the deep neural networks (DNNs) have been raised when they are applied to critical sectors. In this paper, we define safety risks by requesting the alignment of…