{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:35:51Z","timestamp":1761176151208,"version":"build-2065373602"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686318","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"abstract":"<jats:p>Given two neural network classifiers with the same input and output domains, our goal is to compare the two networks in relation to each other over an entire input region (e.g., within a vicinity of an input sample). To this end, we establish the foundation of formal local implication between two networks, i.e., N2 \u21d2D N1, in an entire input region D. That is, network N1 consistently makes a correct decision every time network N2 does, and it does so in an entire input region D. We further propose a sound formulation for establishing such formally-verified (provably correct) local implications. The proposed formulation is relevant in the context of several application domains, e.g., for comparing a trained network and its corresponding compact (e.g., pruned, quantized, distilled) networks. We evaluate our formulation based on the MNIST, CIFAR10, and two real-world medical datasets, to show its relevance.<\/jats:p>","DOI":"10.3233\/faia250928","type":"book-chapter","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:46:11Z","timestamp":1761126371000},"source":"Crossref","is-referenced-by-count":0,"title":["Formal Local Implication Between Two Neural Networks"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5719-274X","authenticated-orcid":false,"given":"Anahita","family":"Baninajjar","sequence":"first","affiliation":[{"name":"Department of Electrical and Information Technology, Lund University, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0440-4753","authenticated-orcid":false,"given":"Ahmed","family":"Rezine","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping University, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1673-4733","authenticated-orcid":false,"given":"Amir","family":"Aminifar","sequence":"additional","affiliation":[{"name":"Department of Electrical and Information Technology, Lund University, Sweden"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2025"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA250928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:46:11Z","timestamp":1761126371000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA250928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"ISBN":["9781643686318"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia250928","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,21]]}}}