共 31 条
- [11] Kuhn H. W., 2014, Traces and Emergence of Nonlinear Programming, DOI DOI 10.1007/978-3-0348-0439-4_11
- [13] Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification [J]. STATIC ANALYSIS (SAS 2019), 2019, 11822 : 296 - 319
- [14] Liao HC, 2022, Arxiv, DOI arXiv:2202.03932
- [15] Liu Y., 2024, Neural Computing and Applications, P1
- [16] Abstract Interpretation Based Robustness Certification for Graph Convolutional Networks [J]. ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 1309 - 1315
- [17] Raghunathan A., 2018, 2018 6 INT C LEARN R
- [19] Spam Email Detection Using Deep Support Vector Machine, Support Vector Machine and Artificial Neural Network [J]. SOFT COMPUTING APPLICATIONS, SOFA 2016, VOL 2, 2018, 634 : 162 - 174
- [20] An Abstract Domain for Certifying Neural Networks [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):