activity
20172021
most citedAnomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

335 citations · 415 across the 7 of their papers we have counts for

collaborators
Showing cs.LGShow all

7 papers · 1 filter

cs.LG20213 cited

Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling

Peixin Zhang, Jingyi Wang, Jun Sun +5

Although deep learning has demonstrated astonishing performance in many applications, there are still concerns about its dependability. One desirable property of deep learning appl…

cs.LG20213 cited

Probabilistic Verification of Neural Networks Against Group Fairness

Bing Sun, Jun Sun, Ting Dai +1

Fairness is crucial for neural networks which are used in applications with important societal implication. Recently, there have been multiple attempts on improving fairness of neu…

cs.LG201920 cited

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks

Yizhen Dong, Peixin Zhang, Jingyi Wang +7

Deep neural networks (DNN) are increasingly applied in safety-critical systems, e.g., for face recognition, autonomous car control and malware detection. It is also shown that DNNs…

cs.LG2019

Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction

Guoliang Dong, Jingyi Wang, Jun Sun +5

Neural networks are becoming a popular tool for solving many real-world problems such as object recognition and machine translation, thanks to its exceptional performance as an end…

cs.LG2019

Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing

Jingyi Wang, Guoliang Dong, Jun Sun +2

Deep neural networks (DNN) have been shown to be useful in a wide range of applications. However, they are also known to be vulnerable to adversarial samples. By transforming a nor…

cs.LG2018

Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing

Jingyi Wang, Jun Sun, Peixin Zhang +1

Recently, it has been shown that deep neural networks (DNN) are subject to attacks through adversarial samples. Adversarial samples are often crafted through adversarial perturbati…