Alert button
Picture for Jin Song Dong

Jin Song Dong

Alert button

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

Jun 24, 2022
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong

Figure 1 for Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Figure 2 for Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Figure 3 for Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Figure 4 for Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Viaarxiv icon

Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning

Apr 02, 2022
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong

Figure 1 for Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning
Figure 2 for Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning
Figure 3 for Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning
Figure 4 for Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning
Viaarxiv icon

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement

Mar 21, 2022
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang

Figure 1 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 2 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 3 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 4 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Viaarxiv icon

DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training

Dec 31, 2021
Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei

Figure 1 for DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training
Figure 2 for DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training
Figure 3 for DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training
Figure 4 for DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training
Viaarxiv icon

Repairing Adversarial Texts through Perturbation

Dec 29, 2021
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong

Figure 1 for Repairing Adversarial Texts through Perturbation
Figure 2 for Repairing Adversarial Texts through Perturbation
Figure 3 for Repairing Adversarial Texts through Perturbation
Figure 4 for Repairing Adversarial Texts through Perturbation
Viaarxiv icon

Generalizing Neural Networks by Reflecting Deviating Data in Production

Oct 06, 2021
Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong

Figure 1 for Generalizing Neural Networks by Reflecting Deviating Data in Production
Figure 2 for Generalizing Neural Networks by Reflecting Deviating Data in Production
Figure 3 for Generalizing Neural Networks by Reflecting Deviating Data in Production
Figure 4 for Generalizing Neural Networks by Reflecting Deviating Data in Production
Viaarxiv icon

Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling

Jul 29, 2021
Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong

Figure 1 for Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
Figure 2 for Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
Figure 3 for Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
Figure 4 for Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling
Viaarxiv icon

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

Nov 14, 2019
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting

Figure 1 for There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Figure 2 for There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Figure 3 for There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Figure 4 for There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Viaarxiv icon

Silas: High Performance, Explainable and Verifiable Machine Learning

Oct 03, 2019
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Ali Mirjalili

Figure 1 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 2 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 3 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 4 for Silas: High Performance, Explainable and Verifiable Machine Learning
Viaarxiv icon