{"id":"https://openalex.org/W4393977234","doi":"https://doi.org/10.1142/s0218194024500177","title":"A Dual Relaxation Method for Neural Network Verification","display_name":"A Dual Relaxation Method for Neural Network Verification","publication_year":2024,"publication_date":"2024-04-05","ids":{"openalex":"https://openalex.org/W4393977234","doi":"https://doi.org/10.1142/s0218194024500177"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194024500177","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194024500177","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072170126","display_name":"Huanzhang Xiong","orcid":"https://orcid.org/0009-0003-1811-3660"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huanzhang Xiong","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0009-0003-1811-3660","affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067530733","display_name":"Gang Hou","orcid":"https://orcid.org/0009-0009-0102-9140"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Hou","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0009-0009-0102-9140","affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103055205","display_name":"Yanghong Qin","orcid":"https://orcid.org/0009-0002-8214-2637"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yueyuan Qin","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0009-0002-8214-2637","affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100772691","display_name":"Jie Wang","orcid":"https://orcid.org/0000-0002-0964-6735"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Wang","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-0964-6735","affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101927122","display_name":"Weiqiang Kong","orcid":"https://orcid.org/0000-0003-4338-5927"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiqiang Kong","raw_affiliation_strings":["Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0003-4338-5927","affiliations":[{"raw_affiliation_string":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":[]},{"raw_affiliation_string":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.5557,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69058537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"34","issue":"08","first_page":"1199","last_page":"1220"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9484000205993652,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9484000205993652,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6712933778762817},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.6160011887550354},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6113735437393188},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37085580825805664}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6712933778762817},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.6160011887550354},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6113735437393188},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37085580825805664},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194024500177","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194024500177","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2007339694","https://openalex.org/W2594877703","https://openalex.org/W2900153411","https://openalex.org/W2963054787","https://openalex.org/W2963857521","https://openalex.org/W2990138404","https://openalex.org/W2990945337","https://openalex.org/W3192314570","https://openalex.org/W4378718389","https://openalex.org/W4379534244"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"In":[0],"the":[1,25,64,70,81,87,102],"robustness":[2],"verification":[3,26,42,52,128],"of":[4,28,104],"neural":[5,17],"networks,":[6],"formal":[7],"methods":[8],"have":[9,22],"been":[10],"used":[11],"to":[12,80],"give":[13],"deterministic":[14],"guarantees":[15],"for":[16,94],"networks.":[18],"However,":[19],"recent":[20],"studies":[21],"found":[23],"that":[24,39,118],"method":[27,53,62,100],"single-neuron":[29,130],"relaxation":[30,57,93,131],"in":[31,69,112],"this":[32,46],"field":[33],"has":[34],"an":[35],"inherent":[36],"convex":[37,88],"barrier":[38,89],"affects":[40],"its":[41],"capability.":[43],"To":[44],"address":[45],"problem,":[47],"we":[48,119],"propose":[49],"a":[50,76,96],"new":[51],"by":[54,74,92],"combining":[55],"dual-neuron":[56],"and":[58,108,124],"linear":[59,82],"programming.":[60],"This":[61],"captures":[63],"dependencies":[65],"between":[66],"different":[67],"neurons":[68],"same":[71],"hidden":[72],"layer":[73],"adding":[75],"two-neuron":[77],"joint":[78],"constraint":[79],"programming":[83],"model,":[84],"thus":[85],"overcoming":[86],"problem":[90],"caused":[91],"only":[95],"single":[97],"neuron.":[98],"Our":[99],"avoids":[101],"combination":[103],"exponential":[105],"inequality":[106],"constraints":[107],"can":[109,120],"be":[110],"computed":[111],"polynomial":[113],"time.":[114],"Experimental":[115],"results":[116],"show":[117],"obtain":[121],"tighter":[122],"bounds":[123],"achieve":[125],"more":[126],"accurate":[127],"than":[129],"methods.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}