提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-2401-12550AU-Liang、ZhenAU-Wu，陶然AU-赵，冉阿雪、白AU-Wang、JiAU-Yang、WenjingAU-邓少军AU-刘万伟TI-UR4NNV：神经网络验证，欠近似可达性工作！JO-CoRR公司VL-abs/2401.125502024年上半年//DO-10.48550/ARXIV.2401.12550UR-（欧元）https://doi.org/10.48550/arXiv.2401.12550急诊室-