{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:59Z","timestamp":1775873759107,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:p>We introduce an efficient and tight layer-based semidefinite relaxation for verifying local robustness of neural networks. The improved tightness is the result of the combination between semidefinite relaxations and linear cuts. We obtain a computationally efficient method by decomposing the semidefinite formulation into\n\nlayerwise constraints.  By leveraging on chordal graph decompositions, we show that the formulation here presented is provably tighter than current approaches. Experiments on a set of benchmark networks show that the approach here proposed enables the verification of more instances compared to other relaxation methods.  The results also demonstrate that the SDP relaxation here proposed is one order of magnitude faster than previous SDP methods.<\/jats:p>","DOI":"10.24963\/ijcai.2021\/301","type":"proceedings-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:00:49Z","timestamp":1628679649000},"page":"2184-2190","source":"Crossref","is-referenced-by-count":13,"title":["Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts"],"prefix":"10.24963","author":[{"given":"Ben","family":"Batten","sequence":"first","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}]},{"given":"Panagiotis","family":"Kouvaros","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}]},{"given":"Yang","family":"Zheng","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, UK"}]}],"member":"10584","event":{"name":"Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}","theme":"Artificial Intelligence","location":"Montreal, Canada","acronym":"IJCAI-2021","number":"30","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2021,8,19]]},"end":{"date-parts":[[2021,8,27]]}},"container-title":["Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:02:30Z","timestamp":1628679750000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2021\/301"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2021\/301","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}