{"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"}