DETECTION AND PREVENTION OF MISUSE OF SOFTWARE COMPONENTS

by DAI TING
Published 2015

Probablistic verification of neural networks against group fairness

by SUN, Bing, SUN, Jun, DAI, Ting, ZHANG, Lijun
Published 2021

Automatic fairness testing of neural classifiers through adversarial sampling

by ZHANG, Peixin, WANG, Jingyi, SUN, Jun, WANG, Xinyu, DONG, Guoliang, WANG, Xinggen, DAI, Ting, DONG, Jinsong
Published 2021

Towards interpreting recurrent neural networks through probabilistic abstraction

by DONG, Guoliang, WANG, Jingyi, SUN, Jun, ZHANG, Yang, WANG, Xinyu, DAI, Ting, DONG, Jin Song, WANG, Xingen
Published 2020

An empirical study on correlation between coverage and robustness for deep neural networks

by DONG, Yizhen, ZHANG, Peixin, WANG, Jingyi, LIU, Shuang, SUN, Jun, HAO, Jianye, WANG, Xinyu, WANG, Li, DONG, Jinsong, DAI, Ting
Published 2020