{"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/relational-dnn-verification-with-cross","title":"Relational DNN Verification With Cross Executional Bound Refinement","arxiv_id":"2405.10143","date":"2024-05-16","proceeding":null,"authors":["Debangshu Banerjee","Gagandeep Singh"],"abstract":"We focus on verifying relational properties defined over deep neural networks (DNNs) such as robustness against universal adversarial perturbations (UAP), certified worst-case hamming distance for binary string classifications, etc. Precise verification of these properties requires reasoning about multiple executions of the same DNN. However, most of the existing works in DNN verification only handle properties defined over single executions and as a result, are imprecise for relational properties. Though few recent works for relational DNN verification, capture linear dependencies between the inputs of multiple executions, they do not leverage dependencies between the outputs of hidden layers producing imprecise results. We develop a scalable relational verifier RACoon that utilizes cross-execution dependencies at all layers of the DNN gaining substantial precision over SOTA baselines on a wide range of datasets, networks, and relational properties.","url_abs":"https://arxiv.org/abs/2405.10143v1","url_pdf":"https://arxiv.org/pdf/2405.10143v1.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":"relational-dnn-verification-with-cross","repo_url":"https://github.com/debangshu-banerjee/racoon","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"pytorch","reach":{"status":"ok"}}],"tasks":[],"methods":[{"method_slug":"focus","method_name":"Focus"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2405.10143","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2405.10143"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+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/debangshu-banerjee/racoon","reach":{"status":"ok"}}],"summary":{"ran":9,"unverified":3},"by_repo_kind":{"official":{"samples":12,"ran":9,"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":12,"samples":[{"code_sha256_prefix":"508e6eddf0cd2352","entry":"Densenet_cifar_32","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"baseline/densenet.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/baseline/densenet.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"508e6eddf0cd2352"}},{"code_sha256_prefix":"a95d3680efa231cc","entry":"ResNet18","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"baseline/model_defs.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/baseline/model_defs.py","link_basis":"harvester_set","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"a95d3680efa231cc"}},{"code_sha256_prefix":"e691750bf04db53e","entry":"crown_ibp_model_a_b","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"baseline/model_defs.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/baseline/model_defs.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e691750bf04db53e"}},{"code_sha256_prefix":"460a9b6251be1beb","entry":"get_net_format","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"netLoaderHelper.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/netLoaderHelper.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"460a9b6251be1beb"}},{"code_sha256_prefix":"8f31fddf6e1fc542","entry":"model_resnet","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"baseline/model_defs.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/baseline/model_defs.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"8f31fddf6e1fc542"}},{"code_sha256_prefix":"ad46388f7e27e4bf","entry":"process_file","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"racoon_processor.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/racoon_processor.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ad46388f7e27e4bf"}},{"code_sha256_prefix":"4496a4aaefebb050","entry":"process_file","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"racoon_processor_hamming.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/racoon_processor_hamming.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"4496a4aaefebb050"}},{"code_sha256_prefix":"49d5a240375f2f85","entry":"process_file","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"bound_refinement_processor.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/bound_refinement_processor.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"49d5a240375f2f85"}},{"code_sha256_prefix":"b273a795059c0d19","entry":"process_file_name","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"racoon_processor.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/racoon_processor.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b273a795059c0d19"}},{"code_sha256_prefix":"590c60083fb0405f","entry":"build_solver_module","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"auto_LiRPA/solver_module.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/auto_LiRPA/solver_module.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"590c60083fb0405f"}},{"code_sha256_prefix":"3bbba12e038a3040","entry":"get_net_helper","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"netLoaderHelper.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/netLoaderHelper.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"3bbba12e038a3040"}},{"code_sha256_prefix":"da33c419a1988627","entry":"read_files","repo":"debangshu-banerjee/racoon","repo_kind":"official","path":"bound_refinement_processor.py","file_url":"https://github.com/debangshu-banerjee/racoon/blob/HEAD/bound_refinement_processor.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"da33c419a1988627"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}