{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/zonotope-domains-for-lagrangian-neural","title":"Zonotope Domains for Lagrangian Neural Network Verification","arxiv_id":"2210.08069","date":"2022-10-14","proceeding":null,"authors":["Matt Jordan","Jonathan Hayase","Alexandros G. Dimakis","Sewoong Oh"],"abstract":"Neural network verification aims to provide provable bounds for the output of a neural network for a given input range. Notable prior works in this domain have either generated bounds using abstract domains, which preserve some dependency between intermediate neurons in the network; or framed verification as an optimization problem and solved a relaxation using Lagrangian methods. A key drawback of the latter technique is that each neuron is treated independently, thereby ignoring important neuron interactions. We provide an approach that merges these two threads and uses zonotopes within a Lagrangian decomposition. Crucially, we can decompose the problem of verifying a deep neural network into the verification of many 2-layer neural networks. While each of these problems is provably hard, we provide efficient relaxation methods that are amenable to efficient dual ascent procedures. Our technique yields bounds that improve upon both linear programming and Lagrangian-based verification techniques in both time and bound tightness.","url_abs":"https://arxiv.org/abs/2210.08069v1","url_pdf":"https://arxiv.org/pdf/2210.08069v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"zonotope-domains-for-lagrangian-neural","repo_url":"https://github.com/revbucket/dual-verification","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"pytorch","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2210.08069","atlas_url":"https://app.syntology.ai/?focus=2210.08069","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2210.08069"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/revbucket/dual-verification","reach":null}],"summary":{"ran_draft_wrong":3},"by_repo_kind":{"official":{"samples":3,"ran":3,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":3,"samples":[{"code_sha256_prefix":"c1d72fdc75fc810f","entry":"negate_layer","repo":"revbucket/dual-verification","repo_kind":"official","path":"scripts/utilities.py","file_url":"https://github.com/revbucket/dual-verification/blob/HEAD/scripts/utilities.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c1d72fdc75fc810f"}},{"code_sha256_prefix":"90e70e73c1c91050","entry":"no_grad","repo":"revbucket/dual-verification","repo_kind":"official","path":"scripts/utilities.py","file_url":"https://github.com/revbucket/dual-verification/blob/HEAD/scripts/utilities.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"90e70e73c1c91050"}},{"code_sha256_prefix":"ff16e2c185a386b7","entry":"safe_open","repo":"revbucket/dual-verification","repo_kind":"official","path":"scripts/utilities.py","file_url":"https://github.com/revbucket/dual-verification/blob/HEAD/scripts/utilities.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ff16e2c185a386b7"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}