. . . “杨鹏飞等人：通过伪区域引导细化改进神经网络验证。（2020）”。 _：ID_5aac31面1e52ccbd302a5512e9ebcd。_：ID_5aac31面1e52ccbd302a5512e9ebcd ._：ID_5aac31面1e52ccbd302a5512e9ebcd ._：ID_5aac31面1e52ccbd302a5512e9ebcd“期刊/corr/abs-2010-07722”。 _：ID_69de214c1893655联邦电话857130f9372a。_：ID_69de214c1893655fedca857130f9372a ._：ID_69de214c1893655fedca857130f9372a ._：ID_69de214c1893655fedca857130f9372a"2010.07722" . “通过伪区域引导优化改进神经网络验证”。 . . . . . . . . . "8"^^. _：Sig_478e50d7c2b1ee10aa124932077d8711_1。_：信号_478e50d7c2b1ee10a124932077d8711_1 ._：Sig_478e50d7c2b1ee10aa124932077d8711_1“杨鹏飞”。_：Sig_478e50d7c2b1ee10aa124932077d8711_1 ._：Sig_478e50d7c2b1ee10aa124932077d8711_1"1"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_1 . _：Sig_478e50d7c2b1ee10aa124932077d8711_2。_：Sig_478e50d7c2b1ee10aa124932077d8711_2 ._：Sig_478e50d7c2b1ee10aa124932077d8711_2“李仁觉”。_：Sig_478e50d7c2b1ee10aa124932077d8711_2 ._：Sig_478e50d7c2b1ee10aa124932077d8711_2"2"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_2 . _：Sig_478e50d7c2b1ee10aa124932077d8711_3。_：Sig_478e50d7c2b1ee10aa124932077d8711_3 ._：Sig_478e50d7c2b1ee10aa124932077d8711_3“李建林”。_：Sig_478e50d7c2b1ee10aa124932077d8711_3 ._：Sig_478e50d7c2b1ee10aa124932077d8711_3 ._：Sig_478e50d7c2b1ee10aa124932077d8711_3"3"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_3 . _：Sig_478e50d7c2b1ee10aa124932077d8711_4。_：Sig_478e50d7c2b1ee10aa124932077d8711_4 ._：Sig_478e50d7c2b1ee10aa124932077d8711_4“程超煌”。_：Sig_478e50d7c2b1ee10aa124932077d8711_4 ._：Sig_478e50d7c2b1ee10aa124932077d8711_4"4"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_4 . _：Sig_478e50d7c2b1ee10aa124932077d8711_5。_：Sig_478e50d7c2b1ee10aa124932077d8711_5 ._：信号_478e50d7c2b1ee10a124932077d8711_5“王静宜0004”。_：Sig_478e50d7c2b1ee10aa124932077d8711_5 ._：Sig_478e50d7c2b1ee10aa124932077d8711_5"5"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_5 . _：Sig_478e50d7c2b1ee10aa124932077d8711_6。_：Sig_478e50d7c2b1ee10aa124932077d8711_6 ._：Sig_478e50d7c2b1ee10aa124932077d8711_6“Jun Sun 0001”。_：Sig_478e50d7c2b1ee10aa124932077d8711_6 ._：Sig_478e50d7c2b1ee10aa124932077d8711_6"6"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_6 . _：Sig_478e50d7c2b1ee10aa124932077d8711_7。_：Sig_478e50d7c2b1ee10aa124932077d8711_7 ._：Sig_478e50d7c2b1ee10aa124932077d8711_7“白雪0001”。_：Sig_478e50d7c2b1ee10aa124932077d8711_7 ._：Sig_478e50d7c2b1ee10aa124932077d8711_7"7"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_7 . _：Sig_478e50d7c2b1ee10aa124932077d8711_8。_：Sig_478e50d7c2b1ee10aa124932077d8711_8 ._：Sig_478e50d7c2b1ee10aa124932077d8711_8“张丽君0001”。_：Sig_478e50d7c2b1ee10aa124932077d8711_8 ._：Sig_478e50d7c2b1ee10aa124932077d8711_8"8"^^._：Sig_478e50d7c2b1ee10aa124932077d8711_8 . . . . “CoRR”。 “CoRR”。 “abs/2010.07722”。 "2020"^^. “dblp记录‘journals/corr/abs-2010-07722’的RDF数据的来源信息”。 . . . “2021-10-14T09:15:59+0200”。