1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2024
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao +5
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectivenes…
cs.CV2023
StyleEDL: Style-Guided High-order Attention Network for Image Emotion Distribution Learning
Peiguang Jing, Xianyi Liu, Ji Wang +3
Emotion distribution learning has gained increasing attention with the tendency to express emotions through images. As for emotion ambiguity arising from humans' subjectivity, subs…
cs.LG2023★ 1 cited
Repairing Deep Neural Networks Based on Behavior Imitation
Zhen Liang, Taoran Wu, Changyuan Zhao +4
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and test…