The following publications are possibly variants of this publication:
- Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022.
- Joint Regularization on Activations and Weights for Efficient Neural Network PruningQing Yang, Wei Wen, Zuoguan Wang, Hai Li 0001. icmla 2019: 790-797 [doi]
- Systematic Generation of Diverse Benchmarks for DNN VerificationDong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum. cav 2020: 97-121 [doi]