Folgen
Zenan Li
Zenan Li
Bestätigte E-Mail-Adresse bei smail.nju.edu.cn
Titel
Zitiert von
Zitiert von
Jahr
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
1022019
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
852019
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
232020
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
172022
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
122024
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
102024
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
62020
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
52021
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
52019
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
32023
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
12024
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
12022
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
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
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14