BibTeX记录日志/corr/abs-2401-12550
@文章{DBLP:journals/corr/abs-2401-12550， author={甄亮和 Taoran Wu和 冉照和 白雪和 Ji Wang和 杨文静和 邓少军和 刘万伟}， title={{UR4NNV:}神经网络验证，欠近似可达性 有效！}， 日志={CoRR}， 体积={abs/2401.12550}， 年份={2024}， url={ https://doi.org/10.48550/arXiv.2401.12550 }, doi＝{10.448550/ARXIV.2401.12550}， eprinttype={arXiv}， eprint={2401.12550}， timestamp={2024年2月5日星期一16:06:53+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-2401-12550.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
