Structural coverage criteria for neural networks could be misleading Z Li, X Ma, C Xu, C Cao 2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019 | 123 | 2019 |
Boosting operational dnn testing efficiency through conditioning Z Li, X Ma, C Xu, C Cao, J Xu, J Lü Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 96 | 2019 |
Operational calibration: Debugging confidence errors for dnns in the field Z Li, X Ma, C Xu, J Xu, C Cao, J Lü Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 29 | 2020 |
Fair representation learning: An alternative to mutual information J Liu, Z Li, Y Yao, F Xu, X Ma, M Xu, H Tong Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and …, 2022 | 22 | 2022 |
Learning with logical constraints but without shortcut satisfaction Z Li, Z Liu, Y Yao, J Xu, T Chen, X Ma, J Lü arXiv preprint arXiv:2403.00329, 2024 | 14 | 2024 |
Softened symbol grounding for neuro-symbolic systems Z Li, Y Yao, T Chen, J Xu, C Cao, X Ma, J Lü arXiv preprint arXiv:2403.00323, 2024 | 12 | 2024 |
Towards effective metamorphic testing by algorithm stability for linear classification programs Y Yang, Z Li, H Wang, C Xu, X Ma Journal of Systems and Software 180, 111012, 2021 | 8 | 2021 |
Predicted robustness as qos for deep neural network models YH Wang, ZN Li, JW Xu, P Yu, T Chen, XX Ma Journal of Computer Science and Technology 35, 999-1015, 2020 | 7 | 2020 |
Fast robustness prediction for deep neural network Y Wang, Z Li, J Xu, P Yu, X Ma Proceedings of the 11th Asia-Pacific Symposium on Internetware, 1-10, 2019 | 5 | 2019 |
On the Vulnerability of Graph Learning-based Collaborative Filtering S Xu, L Li, Z Li, Y Yao, F Xu, Z Chen, Q Lu, H Tong ACM Transactions on Information Systems 41 (4), 1-28, 2023 | 3 | 2023 |
A deep learning dataloader with shared data preparation J Xu, G Wang, Y Yao, Z Li, C Cao, H Tong Advances in Neural Information Processing Systems 35, 17146-17156, 2022 | 3 | 2022 |
A Survey on Deep Learning for Theorem Proving Z Li, J Sun, L Murphy, Q Su, Z Li, X Zhang, K Yang, X Si arXiv preprint arXiv:2404.09939, 2024 | 2 | 2024 |
Neuro-symbolic learning yielding logical constraints Z Li, Y Huang, Z Li, Y Yao, J Xu, T Chen, X Ma, J Lu Advances in Neural Information Processing Systems 36, 2024 | 2 | 2024 |
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective Z Li, M Zhang, J Xu, Y Yao, C Cao, T Chen, X Ma, J Lü 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 1 | 2023 |