Zhen Liang等人：UR4NNV：神经网络验证，欠近似可达性工作！（2024年） 日记账/corr/abs-2401-12550 10.48550/ARXIV.2401.12550 UR4NNV：神经网络验证，欠近似可达性工作！ 8 甄亮 1 陶然·吴 2 冉照 三 白雪0001 4 Ji Wang（音译） 5 杨文静 6 邓少军 7 刘万伟 8 CoRR公司 CoRR公司 abs/2401.12550 2024 dblp记录'journals/corr/abs-2401-12550'的RDF数据的来源信息 2024-02-05T16:06:53+0100