｛“id”：“https://openalex.org/W3147451797“，”doi“：”https://doi.org/10.1007/978-3-030-72016-2_21“，”title“：“通过伪区域引导精化改进神经网络验证”，”display_name“：”通过伪区域指导精化改进神经元网络验证“，”publication_year“：2021，”publitation_date“：”2021-01-01“，”ids“：{”openalex“：”https://openalex.org/W3147451797“，”doi“：”https://doi.org/10.1007/978-3-030-72016-2_21“，”mag“：”3147451797“，”pmcid“：”https://www.ncbi.nlm.nih.gov/pmc/articles/7979199网址“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-72016-2_21，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_21.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_21.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5039054062“，”display_name“：”Pengfei Yang“，”orcid“：”https://orcid.org/0000-0002-5803-8859}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：”government“，”沿袭“：[”https://openalex.org/I19820366“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Pengfei Yang“，”rau_affiliation_strings“：【”中国科学院软件研究所SKLCS“，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5058992602“，”display_name“：”Renjue Li“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：”government“，”沿袭“：[”https://openalex.org/I19820366“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Renjue Li“，”raw _ afiliation_strings“：[“中国科学院软件研究所SKLCS，北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5035218043“，”display_name“：”李建林“，”兽人“：”https://orcid.org/0000-0002-8710-9847}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：”government“，”沿袭“：[”https://openalex.org/I19820366“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Jianlin Li“，”rau_affiliation_strings“：【”中国科学院软件研究所SKLCS“，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089838905“，”display_name“：”Cheng Huang“，”orcid“：”https://orcid.org/0000-0001-936-4813}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Cheng-Chao Huang“，”raw _affiliation_strings“：[“中国广州智能软件研究所”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5066909782“，”display_name“：”王靖一“，”兽人“：”https://orcid.org/0000-0001-7113-7635}，“机构”：[{“id”：https://openalex.org/I76130692“，”display_name“：”浙江大学“，”ror“：”https://ror.org/00a2xv884“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I76130692“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Jingyi Wang“，”raw关联字符串“：[“浙江大学NGICS平台，中国杭州”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5068911982“，”display_name“：”Jun Sun“，”orcid“：”https://orcid.org/0000-0002-3545-1392}，“机构”：[{“id”：https://openalex.org/I79891267“，”display_name“：”新加坡管理大学“，”ror“：”https://ror.org/050qmg959“，”country_code“：”SG“，”type“：“教育”，”世系“：[”https://openalex.org/I79891267“]}]，”国家“：[”SG“]，”is_corresponding“：false，”raw_author_name“：”Jun Sun“，”raw_affiliation_strings“：[“新加坡管理大学，新加坡”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”raw _affiliation_strings“：[“中国科学院北京大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5081589298“，”display_name“：”Lijun Zhang“，”orcid“：”https://orcid.org/0000-0002-6944-1918}，“机构”：[{“id”：https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Lijun Zhang“，”raw_affiliation_strings“：[中国科学院北京大学“]}]，”countries_distict_count“：2，”institutions_disticent_count“：5，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“，”value_usd:5392，“出处”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：16，“cited_by_percentile_year”：{“min”：93，“max”：94}，‘biblio’：{‘volume’：null，‘issue’：nul，‘first_page’：”389“，”last_page“：”408“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗健壮性”，“score”：1.0，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗健壮性”，“score”：1.0，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10036“，”display_name“：”计算机视觉和图像识别深度学习“，”score“：0.9795，”subfield“：{”id“：”https://openalex.org/subfields/1707“，”display_name“：”计算机视觉和模式识别“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9737，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/robustivity网站“，”display_name“：”健壮性“，”score“：0.525449}，{”id“：”https://openalex.org/keywords/dep-learning网站“，”display_name“：”深度学习“，”score“：0.505417}]，”concepts“：[{”id“：”https://openalex.org/C97256817“，”wikidata“：”https://www.wikidata.org/wiki/Q1462316“，”display_name“：”虚假关系“，”level“：2，”score“：0.9848819}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.83442986}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.823225｝，｛”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.738288}，{”id“：”https://openalex.org/C50644808，“wikidata”：https://www.wikidata.org/wiki/Q192776“，”display_name“：”人工神经网络“，”level“：2，”score“：0.6024547}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.5759575}，{”id“：”https://openalex.org/C277907942，“wikidata”：https://www.wikidata.org/wiki/Q7239630“，”display_name“：”谓词抽象“，”level“：3，”score“：0.54576826}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.5385901}，{”id“：”https://openalex.org/C2984842247，“wikidata”：https://www.wikidata.org/wiki/Q197536“，”display_name“：”Deep neural networks“，”level“：3，”score“：0.42321962}，{”id“：”https://openalex.org/C41045048，“wikidata”：https://www.wikidata.org/wiki/Q202843“，”display_name“：”线性规划“，”level“：2，”score“：0.4151577}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3652413}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.29531884}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.25500456}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.21711212}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.13037047}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.058705896｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684“，”wikidata“：”https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-72016-2_21，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_21.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://ink.library.smu.edu.sg/sis_research/6057“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S4306401925“，”“display_name”“：”新加坡管理大学机构知识（InK）（新加坡管理大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I79891267“，”“host_organization_name”：“新加坡管理大学”，“host_ordanization_lineage”：[“https://openalex.org/I79891267“]，”host_organization_lineage_names“：[”新加坡管理大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2010.07722，“pdf_url”：https://arxiv.org/pdf/2010.07722，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-030-72016-2_21，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_21.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W178079818","https://openalex.org/W2043100293","https://openalex.org/W2055875549","https://openalex.org/W2112796928","https://openalex.org/W2158395308","https://openalex.org/W2257979135","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2800473699","https://openalex.org/W2900153411","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2963208512","https://openalex.org/W2974147052","https://openalex.org/W2980264580","https://openalex.org/W2981639301","https://openalex.org/W3046662910","https://openalex.org/W3094683669","https://openalex.org/W3102139284","https://openalex.org/W3105599650","https://openalex.org/W3105930569“]，”related_works“：[”https://openalex.org/W4361986567","https://openalex.org/W4308502799","https://openalex.org/W4240080598","https://openalex.org/W2949974473","https://openalex.org/W2348940122","https://openalex.org/W2162945176","https://openalex.org/W2096561672","https://openalex.org/W2006786376","https://openalex.org/W1967993207","https://openalex.org/W1558442354“]，”ngrams_url“：”https://api.openalex.org/works/W3147451797/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“We”：[1121]，“propose”：[2]，“a”：[3127135147158]，“spirious”：[4,52,70119]，“region”：[5,46]，“guided”：[6]，“refinement”：[7]，“approach”：[8125165]，“for”：[9,98]，“robust”：[10,31172]，“verification”：[11]，“of”：[12,87,91138151]，“deep”：%13]，“neural”“：[14]，”网络“：[15]，”我们的“：[16,64]，”方法“：[17]，”starts“：[18]，”with“：[19]，”application“：[20]，”the“：[21,27,30,36,42,44,48,54,77,88,92,99109149]，”DeepPoly“：[22152]，”abstract“：[23]，”domain“：[24]，”to“：[25,41,67,75,84,94117169]，”analyze“：[26]，”network.“：[28]，“If”：[29]，“property”：[32]，“cannot”：[33]，“be”：[34,51154167]，“已验证”：[35]，“结果”：[37]，“是”：[38,66,83102]，“无结论。“：[39]，”到期“：[40]，”过近似“：[43]，”计算“：[45]，”in“：[47,53126]，”抽象“：[49,78,93]，”可以“：[50]，”意义“：[55]，”that“：[56134163]，”it“：[57]，”does“：[58]，”not“：[59]，”contain“：60]，”any“：[61]，”true“：562]，”反例。“：[63]，”目标“：[65]，”识别“：[68]，”这样“：[69]，”地区“：[71139]，”和“：[72145]，”使用“：[73,86]，”他们“：[74]，”指南“：[76]，”细化。“：[79]，”The“：[80]，”core“：[81]，”idea“：[82]，”make“：[85]，”getabled“：[89]，”constraints“：[90]，”infer“：[95]，”new“：96110]，”bounds“：/97]，”neurons“。“：[100]，”This“：[101]，”reached“：[103]，”by“：[104]，”linear“：[105]，”programming“：[106]，”techniques。“：[107]，”With“：[108]，”bounds“：[111]，”we“：[112161]，”iteratively“：[113]，”apply“：+114]，”DeepPoly“：[115]，”aiming“：[116]，”exclude“：[118]，”regions。“：[120]，”have“：[122]，”implemented“：[123]，”our“：[124164]，”prototypeal“：[128]，”tool“：[129]，”DeepSRGR。“：[130]，”实验“：[131]，”结果“：[132]，”显示“：[133162]，”大“：[136]，”数量“：[137]，”可以“：[140153166]，”识别“：[142]，”为“：[143146]，”伪“：[144]，”result“：[148]，”精度“：[150]，”显著“：[155]，”改进。“：[156]，”As“：[157]，”side“：[159]，”贡献“：[160]，”应用“：[168]，”验证“：[170]，”定量“：[171]，”属性。“：[173]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3147451797“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”cited_by_count”：8}，“{”年度“：2022，”citecd_by_count“：4}，”{“年份”：2020，”citesd_by_count“:1}]，”updated_date“：”2024-06-07T21:51:19.727321“，”created_date:“2021-04-13”}