{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5L7PHXDKVR7H3HABAEXXSDT5V5","short_pith_number":"pith:5L7PHXDK","canonical_record":{"source":{"id":"2606.09746","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2026-06-08T17:06:51Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"6aeed3d7ad3b1312812646a00816c22bc60757031c5616ddd262e4a2ac7e989b","abstract_canon_sha256":"246b5abfa40d8c71e8b7115ec353b1171ea3bded5df438a93c9c43149a669660"},"schema_version":"1.0"},"canonical_sha256":"eafef3dc6aac7e7d9c01012f790e7daf6cfb936326bb330dddebdbb4506f9f9d","source":{"kind":"arxiv","id":"2606.09746","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.09746","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"arxiv_version","alias_value":"2606.09746v1","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.09746","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_12","alias_value":"5L7PHXDKVR7H","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_16","alias_value":"5L7PHXDKVR7H3HAB","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_8","alias_value":"5L7PHXDK","created_at":"2026-06-09T02:09:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5L7PHXDKVR7H3HABAEXXSDT5V5","target":"record","payload":{"canonical_record":{"source":{"id":"2606.09746","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2026-06-08T17:06:51Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"6aeed3d7ad3b1312812646a00816c22bc60757031c5616ddd262e4a2ac7e989b","abstract_canon_sha256":"246b5abfa40d8c71e8b7115ec353b1171ea3bded5df438a93c9c43149a669660"},"schema_version":"1.0"},"canonical_sha256":"eafef3dc6aac7e7d9c01012f790e7daf6cfb936326bb330dddebdbb4506f9f9d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T02:09:07.331612Z","signature_b64":"JLPwdaNNLDtDERzk2C+GQmvFy94Nw6MdjZkSYB2fIkXt2Qyi2k4zmtYjp4CwTtXOI9p/mZ6z1KJm//Aay9GJAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eafef3dc6aac7e7d9c01012f790e7daf6cfb936326bb330dddebdbb4506f9f9d","last_reissued_at":"2026-06-09T02:09:07.330673Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T02:09:07.330673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.09746","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-06-09T02:09:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"noY+m6WhHa6wez4yEjYuiYlsbGD83z01ltSm3xy6KSGjKOy+nHYNy40iDLsVXcR2WPBezCvpmnUzw/w5/etbCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T14:55:19.878337Z"},"content_sha256":"3df6bc19207697a452485060f3a84d28de499bcf6d7aa170a74a0bc54b3c74f0","schema_version":"1.0","event_id":"sha256:3df6bc19207697a452485060f3a84d28de499bcf6d7aa170a74a0bc54b3c74f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5L7PHXDKVR7H3HABAEXXSDT5V5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CV","authors_text":"Alessio Lomuscio, Matthew Wicker, Sherwin Varghese","submitted_at":"2026-06-08T17:06:51Z","abstract_excerpt":"With AI increasingly deployed in safety-critical systems, providing formal robustness guarantees for the underlying models is essential. Existing verification methods either rely on overly conservative approximations or incur prohibitive computational costs. For example, the use of lp-norm perturbations in video settings encodes the belief that the adversary can inject noise in every video frame. In practice, adversarial perturbations exhibit structured spatial and temporal correlations, constrained to lower-dimensional, semantically meaningful subspaces. In this work, we study robustness veri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.09746","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/2606.09746/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-06-09T02:09:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VsVaMcek7ujzldHOje1MTKrpvSFtJaVF3Wb7VqrbrOCMicmoI3QZeOhrANZKpFNNdjc5HjSuQsXdS4iGNxfbCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T14:55:19.878724Z"},"content_sha256":"e6275e9101e1f69e7ae59c6b7ff185860b6515585adcecc920ba460fd1e2abea","schema_version":"1.0","event_id":"sha256:e6275e9101e1f69e7ae59c6b7ff185860b6515585adcecc920ba460fd1e2abea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/bundle.json","state_url":"https://pith.science/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/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-06-29T14:55:19Z","links":{"resolver":"https://pith.science/pith/5L7PHXDKVR7H3HABAEXXSDT5V5","bundle":"https://pith.science/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/bundle.json","state":"https://pith.science/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5L7PHXDKVR7H3HABAEXXSDT5V5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5L7PHXDKVR7H3HABAEXXSDT5V5","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":"246b5abfa40d8c71e8b7115ec353b1171ea3bded5df438a93c9c43149a669660","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2026-06-08T17:06:51Z","title_canon_sha256":"6aeed3d7ad3b1312812646a00816c22bc60757031c5616ddd262e4a2ac7e989b"},"schema_version":"1.0","source":{"id":"2606.09746","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.09746","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"arxiv_version","alias_value":"2606.09746v1","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.09746","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_12","alias_value":"5L7PHXDKVR7H","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_16","alias_value":"5L7PHXDKVR7H3HAB","created_at":"2026-06-09T02:09:07Z"},{"alias_kind":"pith_short_8","alias_value":"5L7PHXDK","created_at":"2026-06-09T02:09:07Z"}],"graph_snapshots":[{"event_id":"sha256:e6275e9101e1f69e7ae59c6b7ff185860b6515585adcecc920ba460fd1e2abea","target":"graph","created_at":"2026-06-09T02:09:07Z","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/2606.09746/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With AI increasingly deployed in safety-critical systems, providing formal robustness guarantees for the underlying models is essential. Existing verification methods either rely on overly conservative approximations or incur prohibitive computational costs. For example, the use of lp-norm perturbations in video settings encodes the belief that the adversary can inject noise in every video frame. In practice, adversarial perturbations exhibit structured spatial and temporal correlations, constrained to lower-dimensional, semantically meaningful subspaces. In this work, we study robustness veri","authors_text":"Alessio Lomuscio, Matthew Wicker, Sherwin Varghese","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2026-06-08T17:06:51Z","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.09746","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:3df6bc19207697a452485060f3a84d28de499bcf6d7aa170a74a0bc54b3c74f0","target":"record","created_at":"2026-06-09T02:09:07Z","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":"246b5abfa40d8c71e8b7115ec353b1171ea3bded5df438a93c9c43149a669660","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CV","submitted_at":"2026-06-08T17:06:51Z","title_canon_sha256":"6aeed3d7ad3b1312812646a00816c22bc60757031c5616ddd262e4a2ac7e989b"},"schema_version":"1.0","source":{"id":"2606.09746","kind":"arxiv","version":1}},"canonical_sha256":"eafef3dc6aac7e7d9c01012f790e7daf6cfb936326bb330dddebdbb4506f9f9d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eafef3dc6aac7e7d9c01012f790e7daf6cfb936326bb330dddebdbb4506f9f9d","first_computed_at":"2026-06-09T02:09:07.330673Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:09:07.330673Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JLPwdaNNLDtDERzk2C+GQmvFy94Nw6MdjZkSYB2fIkXt2Qyi2k4zmtYjp4CwTtXOI9p/mZ6z1KJm//Aay9GJAw==","signature_status":"signed_v1","signed_at":"2026-06-09T02:09:07.331612Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.09746","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3df6bc19207697a452485060f3a84d28de499bcf6d7aa170a74a0bc54b3c74f0","sha256:e6275e9101e1f69e7ae59c6b7ff185860b6515585adcecc920ba460fd1e2abea"],"state_sha256":"38e46de5f31fe1c2f8c000974f42328c515702ed73a20411aa92de9c198b5d6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZYgunGpdZ7SEec3+eoxWseHPdno0TcE9q2w9HmJfTEZ+7y0SwAgvFMWr+2mR41bvfCYJigCvoIBb68VabxbhCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T14:55:19.880726Z","bundle_sha256":"2b8429486f551ac217dd74200df4976986440c1c6780a141cd60b76c398cecbd"}}