{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T03:10:11Z","timestamp":1770693011393,"version":"3.49.0"},"reference-count":27,"publisher":"World Scientific Pub Co Pte Ltd","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:p> In the robustness verification of neural networks, formal methods have been used to give deterministic guarantees for neural networks. However, recent studies have found that the verification method of single-neuron relaxation in this field has an inherent convex barrier that affects its verification capability. To address this problem, we propose a new verification method by combining dual-neuron relaxation and linear programming. This method captures the dependencies between different neurons in the same hidden layer by adding a two-neuron joint constraint to the linear programming model, thus overcoming the convex barrier problem caused by relaxation for only a single neuron. Our method avoids the combination of exponential inequality constraints and can be computed in polynomial time. Experimental results show that we can obtain tighter bounds and achieve more accurate verification than single-neuron relaxation methods. <\/jats:p>","DOI":"10.1142\/s0218194024500177","type":"journal-article","created":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T15:30:53Z","timestamp":1712331053000},"page":"1199-1220","source":"Crossref","is-referenced-by-count":2,"title":["A Dual Relaxation Method for Neural Network Verification"],"prefix":"10.1142","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-1811-3660","authenticated-orcid":false,"given":"Huanzhang","family":"Xiong","sequence":"first","affiliation":[{"name":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"},{"name":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0102-9140","authenticated-orcid":false,"given":"Gang","family":"Hou","sequence":"additional","affiliation":[{"name":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"},{"name":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8214-2637","authenticated-orcid":false,"given":"Yueyuan","family":"Qin","sequence":"additional","affiliation":[{"name":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"},{"name":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0964-6735","authenticated-orcid":false,"given":"Jie","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"},{"name":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4338-5927","authenticated-orcid":false,"given":"Weiqiang","family":"Kong","sequence":"additional","affiliation":[{"name":"School of Software Technology, Dalian University of Technology, Dalian 116621, P.\u00a0R.\u00a0China"},{"name":"Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian 116621, P.\u00a0R.\u00a0China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2024,5,27]]},"reference":[{"key":"S0218194024500177BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"S0218194024500177BIB003","first-page":"1","volume":"21","author":"Bunel R.","year":"2020","journal-title":"J. Mach. Learn. Res."},{"key":"S0218194024500177BIB005","first-page":"2513","volume-title":"24th European Conf. Artificial Intelligence","author":"Henriksen P.","year":"2020"},{"key":"S0218194024500177BIB006","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/351"},{"key":"S0218194024500177BIB007","first-page":"29909","volume-title":"Advances in Neural Information Processing Systems","volume":"34","author":"Wang S.","year":"2021"},{"key":"S0218194024500177BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"S0218194024500177BIB009","first-page":"1","volume-title":"7th Int. Conf. Learning Representations","author":"Singh G.","year":"2019"},{"key":"S0218194024500177BIB010","first-page":"1599","volume-title":"27th USENIX Security Symp.","author":"Wang S.","year":"2018"},{"key":"S0218194024500177BIB011","first-page":"1","volume-title":"Int. Conf. Learning Representations","author":"Xu K.","year":"2021"},{"key":"S0218194024500177BIB012","first-page":"4939","volume-title":"Advances in Neural Information Processing Systems","volume":"31","author":"Zhang H.","year":"2018"},{"key":"S0218194024500177BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00494"},{"key":"S0218194024500177BIB014","first-page":"5286","volume-title":"Int. Conf. Machine Learning","author":"Wong E.","year":"2018"},{"key":"S0218194024500177BIB015","first-page":"5318","volume-title":"Advances in Neural Information Processing Systems","volume":"33","author":"Dathathri S.","year":"2020"},{"key":"S0218194024500177BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"S0218194024500177BIB017","first-page":"9835","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Salman H.","year":"2019"},{"key":"S0218194024500177BIB018","first-page":"6369","volume-title":"Advances in Neural Information Processing Systems","author":"Wang S.","year":"2018"},{"key":"S0218194024500177BIB019","first-page":"1129","volume-title":"Advances in Neural Information Processing Systems","volume":"33","author":"Xu K.","year":"2020"},{"key":"S0218194024500177BIB020","first-page":"1","volume-title":"Proc. 9th Int. Conf. Learning Representations","author":"De Palma A.","year":"2021"},{"key":"S0218194024500177BIB023","first-page":"1656","volume-title":"Advances in Neural Information Processing Systems","author":"Zhang H.","year":"2022"},{"key":"S0218194024500177BIB024","first-page":"3517","volume-title":"Advances in Neural Information Processing Systems","volume":"35","author":"Abad Rocamora E.","year":"2022"},{"key":"S0218194024500177BIB025","doi-asserted-by":"publisher","DOI":"10.1145\/3591299"},{"key":"S0218194024500177BIB026","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598127"},{"key":"S0218194024500177BIB028","first-page":"1","volume-title":"Proc. Int. Conf. Learning Representations","author":"Lu J.","year":"2020"},{"key":"S0218194024500177BIB030","first-page":"15072","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"P\u00fcschel M.","year":"2019"},{"key":"S0218194024500177BIB031","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.2211477"},{"key":"S0218194024500177BIB032","first-page":"3578","volume-title":"Int. Conf. Machine Learning","author":"Mirman M.","year":"2018"},{"key":"S0218194024500177BIB033","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194024500177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T06:46:16Z","timestamp":1722840376000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194024500177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":27,"journal-issue":{"issue":"08","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["10.1142\/S0218194024500177"],"URL":"https:\/\/doi.org\/10.1142\/s0218194024500177","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,27]]}}}