甄亮 德金仁 白雪0001 纪旺0001 杨文静0002 刘万伟 从拓扑角度验证神经网络的安全性。 2023 abs/2306.15403 CoRR公司 https://doi.org/10.48550/arXiv.2306.15403 数据库/期刊/corr/corr2306.html#abs-2306-15403