。 。 。 。 。 “Zhen Liang等人：UR4NNV：神经网络验证，欠近似可达性工作！（2024）”。 。 。 _：ID_d8122b5ea7efb4913a9623b8ecbb4d92。_：ID_d8122b5ea7efb4913a9623b8ecbb4d92 。_：ID_d8122b5ea7efb4913a9623b8ecbb4d92 。_：ID_d8122b5ea7efb4913a9623b8ecbb4d92“日记账/corr/abs-2401-12550”。 _：ID_d08d805562f8780eef1733fcad866c40。_：ID_d08d805562f8780eef1733fcad866c40 。_：ID_d08d805562f8780eef1733fcad866c40 。_：识别号_d08d805562f8780eef1733fcad866c40“10.48550/ARXIV.2401.12550”。 “UR4NNV：神经网络验证，欠近似可达性工作！”。 。 。 。 。 。 。 。 。 。 "8"^^。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_1。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_1 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_1“甄亮”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_1 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_1"1"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_1 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_2。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_2 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_2“陶然武”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_2 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_2"2"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_2 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_3。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_3 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_3“冉照”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_3 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_3"3"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_3 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_4。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_4 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_4“白雪0001”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_4 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_4"4"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_4 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_5。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_5 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_5“纪旺”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_5 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_5"5"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_5 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_6。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_6 。_：信号_c4f44a3b9c834fd527784295e14ee8d_6“文景杨”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_6 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_6"6"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_6 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_7。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_7 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_7“邓少君”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_7 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_7"7"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_7 。 _：Sig_c4f44a3b9c834fd527784295e14ee8d6_8。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_8 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_8“刘万伟”。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_8 。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_8"8"^^。_：Sig_c4f44a3b9c834fd527784295e14ee8d6_8 。 。 。 。 “CoRR”。 “CoRR”。 “abs/2401.12550”。 "2024"^^。 “dblp记录'journals/corr/abs-2401-12550'的RDF数据的来源信息”。 。 。 。 “2024-02-05T16:06:53+0100”。