{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WW4IL64R2X7TWFD2CVJIUBAANV","short_pith_number":"pith:WW4IL64R","canonical_record":{"source":{"id":"2607.28954","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-31T02:16:55Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"399ece1f97cd6b429838ad50e625f5823bbe416d56c86b01439bd2d4caccc871","abstract_canon_sha256":"a88fa78ee48180bbafbbf3076c3ecafed328ac19e448fb4ca15d5fffef8288ff"},"schema_version":"1.0"},"canonical_sha256":"b5b885fb91d5ff3b147a15528a04006d56a81ea30c794bfc9bf141f85d727bde","source":{"kind":"arxiv","id":"2607.28954","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28954","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28954v1","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28954","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"WW4IL64R2X7T","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_16","alias_value":"WW4IL64R2X7TWFD2","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_8","alias_value":"WW4IL64R","created_at":"2026-08-03T01:17:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WW4IL64R2X7TWFD2CVJIUBAANV","target":"record","payload":{"canonical_record":{"source":{"id":"2607.28954","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-31T02:16:55Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"399ece1f97cd6b429838ad50e625f5823bbe416d56c86b01439bd2d4caccc871","abstract_canon_sha256":"a88fa78ee48180bbafbbf3076c3ecafed328ac19e448fb4ca15d5fffef8288ff"},"schema_version":"1.0"},"canonical_sha256":"b5b885fb91d5ff3b147a15528a04006d56a81ea30c794bfc9bf141f85d727bde","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-03T01:17:38.698165Z","signature_b64":"cAfkhgE0O7gbMDVinuoL7+UCWtcNVXFNqCUlMT1d2KZMrAT1IDiEzK9/AwwxKV2FdvyRUVcW/4LLYB5xjMacCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5b885fb91d5ff3b147a15528a04006d56a81ea30c794bfc9bf141f85d727bde","last_reissued_at":"2026-08-03T01:17:38.695480Z","signature_status":"signed_v1","first_computed_at":"2026-08-03T01:17:38.695480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.28954","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-03T01:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nU2AabcYznjFWh01lXfcXTg7kM97ftfKnC3af5oJRkQlHCxYQYNjG97EpsXcS8Oa3pR2bFT3Vj/ViMaC9fkcBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:02:44.639339Z"},"content_sha256":"81e2e1e2289a536e8c6eebe843c94438627695f5ea38236e78a6d7b81bcc7a3c","schema_version":"1.0","event_id":"sha256:81e2e1e2289a536e8c6eebe843c94438627695f5ea38236e78a6d7b81bcc7a3c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WW4IL64R2X7TWFD2CVJIUBAANV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mining Verdict Boundaries for Neural Network Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.SE"],"primary_cat":"cs.LG","authors_text":"Guanqin Zhang, Jiawei Ren, Yulei Sui, Zhenya Zhang","submitted_at":"2026-07-31T02:16:55Z","abstract_excerpt":"Branch and Bound (BaB) aims to achieve complete verification of neural networks by adaptively partitioning the problem and applying off-the-shelf verifiers to subproblems. Its problem-splitting history can be represented as a tree, where each subproblem corresponds to a child node. A key problem of BaB lies in searching for the verdict boundaries across all the paths that divide the verified and unverified subproblems. We observe that the existing BaB approach tackles this problem by solving each expensive subproblem sequentially along the tree path as its depth increases, requiring costly bou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28954","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.28954/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-03T01:17:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JsvkxRPOjJoDHHxUZAZYBJx3JQsBPbaza7HrLcZyHkskICIF9idNH4P5IOihZLrITU2bSvP1894TYJG2ZCeRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:02:44.640229Z"},"content_sha256":"631fb26e68ea1840df599f0e9f210407a47b129fbd292aafb05d3c03fc39816d","schema_version":"1.0","event_id":"sha256:631fb26e68ea1840df599f0e9f210407a47b129fbd292aafb05d3c03fc39816d"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:WW4IL64R2X7TWFD2CVJIUBAANV","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2022/isbn.978-3-85448-053-2_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Zelazny, T., Wu, H., Barrett, C., Katz, G.: On optimizing back-substitution meth- ods for neural network verification. In: 2022 Formal Methods in Computer-Aided Design (FMCAD). pp. 17–26. IEEE (2022).https://doi.org/10.34727/2022/ isbn.978-","arxiv_id":"2607.28954","detector":"doi_compliance","evidence":{"ref_index":40,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.34727/2022/","reconstructed_doi":"10.34727/2022/isbn.978-3-85448-053-2_7"},"severity":"advisory","ref_index":40,"audited_at":"2026-08-03T16:48:07.285475Z","event_type":"pith.integrity.v1","detected_doi":"10.34727/2022/isbn.978-3-85448-053-2_7","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"13dcafc21f4ad8994970b61c0c1c718ba3d7b8b187ac4cda936c54bfa1ace0a8","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":17693,"payload_sha256":"99713a9bc8fefd99beb71298e046acfdeb860cd4aada45028b8b4f72660bee40","signature_b64":"s4iLBLmCfUFBLVw+3+xOdc+iyAf9ae6t4hJb/p/LGlkfSDAro2RJvoYhat9sf3DwHJ1Zn6/ovClMxwl7gv/VDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-03T16:48:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+KYx/9NWo5lRzoTxWmebTIxiPIZCyOgCW3dzfVm9+hm8SLXH61ItdINhSkhdZ4N0b57PxvRmZ+DnnoCw9AuvDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:02:44.643732Z"},"content_sha256":"9cd5ad543bb733e873da5996ae9ad2236cfd653a9d391246cafe90225e66e57a","schema_version":"1.0","event_id":"sha256:9cd5ad543bb733e873da5996ae9ad2236cfd653a9d391246cafe90225e66e57a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WW4IL64R2X7TWFD2CVJIUBAANV/bundle.json","state_url":"https://pith.science/pith/WW4IL64R2X7TWFD2CVJIUBAANV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WW4IL64R2X7TWFD2CVJIUBAANV/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T07:02:44Z","links":{"resolver":"https://pith.science/pith/WW4IL64R2X7TWFD2CVJIUBAANV","bundle":"https://pith.science/pith/WW4IL64R2X7TWFD2CVJIUBAANV/bundle.json","state":"https://pith.science/pith/WW4IL64R2X7TWFD2CVJIUBAANV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WW4IL64R2X7TWFD2CVJIUBAANV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WW4IL64R2X7TWFD2CVJIUBAANV","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a88fa78ee48180bbafbbf3076c3ecafed328ac19e448fb4ca15d5fffef8288ff","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-31T02:16:55Z","title_canon_sha256":"399ece1f97cd6b429838ad50e625f5823bbe416d56c86b01439bd2d4caccc871"},"schema_version":"1.0","source":{"id":"2607.28954","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.28954","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.28954v1","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.28954","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"WW4IL64R2X7T","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_16","alias_value":"WW4IL64R2X7TWFD2","created_at":"2026-08-03T01:17:38Z"},{"alias_kind":"pith_short_8","alias_value":"WW4IL64R","created_at":"2026-08-03T01:17:38Z"}],"graph_snapshots":[{"event_id":"sha256:631fb26e68ea1840df599f0e9f210407a47b129fbd292aafb05d3c03fc39816d","target":"graph","created_at":"2026-08-03T01:17:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.28954/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Branch and Bound (BaB) aims to achieve complete verification of neural networks by adaptively partitioning the problem and applying off-the-shelf verifiers to subproblems. Its problem-splitting history can be represented as a tree, where each subproblem corresponds to a child node. A key problem of BaB lies in searching for the verdict boundaries across all the paths that divide the verified and unverified subproblems. We observe that the existing BaB approach tackles this problem by solving each expensive subproblem sequentially along the tree path as its depth increases, requiring costly bou","authors_text":"Guanqin Zhang, Jiawei Ren, Yulei Sui, Zhenya Zhang","cross_cats":["cs.LO","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.28954","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:81e2e1e2289a536e8c6eebe843c94438627695f5ea38236e78a6d7b81bcc7a3c","target":"record","created_at":"2026-08-03T01:17:38Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a88fa78ee48180bbafbbf3076c3ecafed328ac19e448fb4ca15d5fffef8288ff","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-31T02:16:55Z","title_canon_sha256":"399ece1f97cd6b429838ad50e625f5823bbe416d56c86b01439bd2d4caccc871"},"schema_version":"1.0","source":{"id":"2607.28954","kind":"arxiv","version":1}},"canonical_sha256":"b5b885fb91d5ff3b147a15528a04006d56a81ea30c794bfc9bf141f85d727bde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5b885fb91d5ff3b147a15528a04006d56a81ea30c794bfc9bf141f85d727bde","first_computed_at":"2026-08-03T01:17:38.695480Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-03T01:17:38.695480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cAfkhgE0O7gbMDVinuoL7+UCWtcNVXFNqCUlMT1d2KZMrAT1IDiEzK9/AwwxKV2FdvyRUVcW/4LLYB5xjMacCg==","signature_status":"signed_v1","signed_at":"2026-08-03T01:17:38.698165Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.28954","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81e2e1e2289a536e8c6eebe843c94438627695f5ea38236e78a6d7b81bcc7a3c","sha256:631fb26e68ea1840df599f0e9f210407a47b129fbd292aafb05d3c03fc39816d","sha256:9cd5ad543bb733e873da5996ae9ad2236cfd653a9d391246cafe90225e66e57a"],"state_sha256":"cd3f42f2faf7d764cda87882e62316d05ae9071859a94c73c5c9fca992d2f7f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ChRAYrLCTSbw7cucSfD/ryzIstWGz3J+3pfsqt46kTP71sZtYbtnMfIA2RjWpVUr9xz7O446Thv1nT7e+QT8Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T07:02:44.647735Z","bundle_sha256":"65c1cfab3b5c80dd2221168d651545353904c8b60362c557e56a2d40c975dadf"}}