{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:3RL4HLMNJDPK6CXRS32HS6SSYC","short_pith_number":"pith:3RL4HLMN","canonical_record":{"source":{"id":"2608.13118","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-08-13T11:47:46Z","cross_cats_sorted":[],"title_canon_sha256":"5ab3313433fcc2914d88d7c0237c0fef341e4e9f84c8d9956a77fbd3aa1c14e7","abstract_canon_sha256":"700ff13516acaf5e11766b664e63809dc6bedb6e1808ef864cbd006247414758"},"schema_version":"1.0"},"canonical_sha256":"dc57c3ad8d48deaf0af196f4797a52c0b8d3194ff8a92cb4a371c49be0e23d6e","source":{"kind":"arxiv","id":"2608.13118","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.13118","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"arxiv_version","alias_value":"2608.13118v1","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.13118","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_12","alias_value":"3RL4HLMNJDPK","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_16","alias_value":"3RL4HLMNJDPK6CXR","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_8","alias_value":"3RL4HLMN","created_at":"2026-08-14T01:00:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:3RL4HLMNJDPK6CXRS32HS6SSYC","target":"record","payload":{"canonical_record":{"source":{"id":"2608.13118","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-08-13T11:47:46Z","cross_cats_sorted":[],"title_canon_sha256":"5ab3313433fcc2914d88d7c0237c0fef341e4e9f84c8d9956a77fbd3aa1c14e7","abstract_canon_sha256":"700ff13516acaf5e11766b664e63809dc6bedb6e1808ef864cbd006247414758"},"schema_version":"1.0"},"canonical_sha256":"dc57c3ad8d48deaf0af196f4797a52c0b8d3194ff8a92cb4a371c49be0e23d6e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-14T01:00:25.103446Z","signature_b64":"HbkovBBGXYjaIxQN36alCt9Ar/V+xnQ+c3XsaQtrnA2VOKqr6BWwXL3tSk0IOAVvLyz5L7t8lK3J8tj/QrB9Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc57c3ad8d48deaf0af196f4797a52c0b8d3194ff8a92cb4a371c49be0e23d6e","last_reissued_at":"2026-08-14T01:00:25.101485Z","signature_status":"signed_v1","first_computed_at":"2026-08-14T01:00:25.101485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.13118","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-14T01:00:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LxxW1jPUjAER6s7/dEgAJCaUtIeR7Wu+FsOUv4jRqoWajE8Koy8SBz1k4sXv4IM5C5lVRlfVtJgU4M0C1HZXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:33:59.069710Z"},"content_sha256":"7bef9e6bf456b4bc2455a5ba9578a036a8394dbcd39b553025b0c016ff9d805e","schema_version":"1.0","event_id":"sha256:7bef9e6bf456b4bc2455a5ba9578a036a8394dbcd39b553025b0c016ff9d805e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:3RL4HLMNJDPK6CXRS32HS6SSYC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Branch and Bound for Relational Verification of Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Guanqin Zhang, Jianjun Zhao, Kota Fukuda, Zhenya Zhang","submitted_at":"2026-08-13T11:47:46Z","abstract_excerpt":"Verification of neural networks against relational specifications, such as global robustness, is crucial for safety-critical applications of cyber-physical systems (CPS), given their increasing adoption of AI components. Compared to simple trace properties (e.g., local robustness), verifying relational specifications requires reasoning about the relationship between multiple network inferences, which brings significant technical challenges. Existing research has explored abstraction techniques based on sound and convex over-approximation of neural network outputs; however, since these approach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.13118","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/2608.13118/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-14T01:00:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kpjT0X32lLFTyXHg+CvQR69Sfv9gf9Lfp7htf2CkL6meeTgoVvNdYeapx+aQQM9G9uKE7v/zI4xZt8tizci0CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:33:59.070427Z"},"content_sha256":"de06cdec1e74022710929a745be32268b87fe7550bfa73bf4b2b6b43ca30f507","schema_version":"1.0","event_id":"sha256:de06cdec1e74022710929a745be32268b87fe7550bfa73bf4b2b6b43ca30f507"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/bundle.json","state_url":"https://pith.science/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/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-17T13:33:59Z","links":{"resolver":"https://pith.science/pith/3RL4HLMNJDPK6CXRS32HS6SSYC","bundle":"https://pith.science/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/bundle.json","state":"https://pith.science/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3RL4HLMNJDPK6CXRS32HS6SSYC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3RL4HLMNJDPK6CXRS32HS6SSYC","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"700ff13516acaf5e11766b664e63809dc6bedb6e1808ef864cbd006247414758","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-08-13T11:47:46Z","title_canon_sha256":"5ab3313433fcc2914d88d7c0237c0fef341e4e9f84c8d9956a77fbd3aa1c14e7"},"schema_version":"1.0","source":{"id":"2608.13118","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.13118","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"arxiv_version","alias_value":"2608.13118v1","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.13118","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_12","alias_value":"3RL4HLMNJDPK","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_16","alias_value":"3RL4HLMNJDPK6CXR","created_at":"2026-08-14T01:00:25Z"},{"alias_kind":"pith_short_8","alias_value":"3RL4HLMN","created_at":"2026-08-14T01:00:25Z"}],"graph_snapshots":[{"event_id":"sha256:de06cdec1e74022710929a745be32268b87fe7550bfa73bf4b2b6b43ca30f507","target":"graph","created_at":"2026-08-14T01:00:25Z","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/2608.13118/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verification of neural networks against relational specifications, such as global robustness, is crucial for safety-critical applications of cyber-physical systems (CPS), given their increasing adoption of AI components. Compared to simple trace properties (e.g., local robustness), verifying relational specifications requires reasoning about the relationship between multiple network inferences, which brings significant technical challenges. Existing research has explored abstraction techniques based on sound and convex over-approximation of neural network outputs; however, since these approach","authors_text":"Guanqin Zhang, Jianjun Zhao, Kota Fukuda, Zhenya Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-08-13T11:47:46Z","title":"Branch and Bound for Relational Verification of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.13118","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:7bef9e6bf456b4bc2455a5ba9578a036a8394dbcd39b553025b0c016ff9d805e","target":"record","created_at":"2026-08-14T01:00:25Z","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":"700ff13516acaf5e11766b664e63809dc6bedb6e1808ef864cbd006247414758","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-08-13T11:47:46Z","title_canon_sha256":"5ab3313433fcc2914d88d7c0237c0fef341e4e9f84c8d9956a77fbd3aa1c14e7"},"schema_version":"1.0","source":{"id":"2608.13118","kind":"arxiv","version":1}},"canonical_sha256":"dc57c3ad8d48deaf0af196f4797a52c0b8d3194ff8a92cb4a371c49be0e23d6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc57c3ad8d48deaf0af196f4797a52c0b8d3194ff8a92cb4a371c49be0e23d6e","first_computed_at":"2026-08-14T01:00:25.101485Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-14T01:00:25.101485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HbkovBBGXYjaIxQN36alCt9Ar/V+xnQ+c3XsaQtrnA2VOKqr6BWwXL3tSk0IOAVvLyz5L7t8lK3J8tj/QrB9Bw==","signature_status":"signed_v1","signed_at":"2026-08-14T01:00:25.103446Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.13118","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7bef9e6bf456b4bc2455a5ba9578a036a8394dbcd39b553025b0c016ff9d805e","sha256:de06cdec1e74022710929a745be32268b87fe7550bfa73bf4b2b6b43ca30f507"],"state_sha256":"de58d52d2c57544f4764a16b7e04c22a196590e76134616793986b2ce7b2051b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ylB0nJxX1XxSDu78SxARHv0goYTIqbo5rez/cobqPgiPb6uBU2NnHvCX3apNaUydDjB3hFgOAI1IB9C2SBKWCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T13:33:59.076199Z","bundle_sha256":"758219ca4bc7b89d220de60d5def7b4cee1303ef626457c6ac8b2715072646ff"}}