{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:SWW6KE6IENZYMHMLENVDFZAZPP","short_pith_number":"pith:SWW6KE6I","canonical_record":{"source":{"id":"2103.01629","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-02T10:41:16Z","cross_cats_sorted":[],"title_canon_sha256":"93d41e854fe20b881caeaebfd49a180240d57311678324dc0c3927bfdda1a9ab","abstract_canon_sha256":"0ff0284f0c999147202ce9bbc227452dcc71afd21b138bc1bf4161c53c9ad6c3"},"schema_version":"1.0"},"canonical_sha256":"95ade513c82373861d8b236a32e4197bcb6e7cb586e5f42ef36094a8d84ff762","source":{"kind":"arxiv","id":"2103.01629","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.01629","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"arxiv_version","alias_value":"2103.01629v1","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.01629","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_12","alias_value":"SWW6KE6IENZY","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_16","alias_value":"SWW6KE6IENZYMHML","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_8","alias_value":"SWW6KE6I","created_at":"2026-07-05T02:19:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:SWW6KE6IENZYMHMLENVDFZAZPP","target":"record","payload":{"canonical_record":{"source":{"id":"2103.01629","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-02T10:41:16Z","cross_cats_sorted":[],"title_canon_sha256":"93d41e854fe20b881caeaebfd49a180240d57311678324dc0c3927bfdda1a9ab","abstract_canon_sha256":"0ff0284f0c999147202ce9bbc227452dcc71afd21b138bc1bf4161c53c9ad6c3"},"schema_version":"1.0"},"canonical_sha256":"95ade513c82373861d8b236a32e4197bcb6e7cb586e5f42ef36094a8d84ff762","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:19:49.037122Z","signature_b64":"2WJgBzrUbCDfWBYE/jNI7Juzb5dr0t/f0DOb00Cu+YgSD8BhIR/SeEwNcNpRU3FNfRqQYq/Kr6LWksyh7yanCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95ade513c82373861d8b236a32e4197bcb6e7cb586e5f42ef36094a8d84ff762","last_reissued_at":"2026-07-05T02:19:49.036783Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:19:49.036783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.01629","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-07-05T02:19:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wwbsDj4rEvJpJxDmmBP+f3CxjB4hHL9LrwvLJEP8YFn1xrf2oZd2fFT9RK9T8WGO8zuz7O6o3MYuZ2EKP5/lBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:45:40.697807Z"},"content_sha256":"56ef75b0ed4a34f7a5c51ca2949d254aa7eb7755df0b2a0875640f70fbde9f48","schema_version":"1.0","event_id":"sha256:56ef75b0ed4a34f7a5c51ca2949d254aa7eb7755df0b2a0875640f70fbde9f48"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:SWW6KE6IENZYMHMLENVDFZAZPP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Clark Barrett, Colin Paterson, Corina S. Pasareanu, Haoze Wu, John Grese, Radu Calinescu","submitted_at":"2021-03-02T10:41:16Z","abstract_excerpt":"We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze, and changes in image contrast. While the robustness of DNN classifiers has been the subject of intense research in recent years, the solutions delivered by this research focus on verifying DNN robustness to small perturbations in the images being classified, with perturbation magnitude measured using established Lp norms. This is useful for identifying potential adversarial attacks on DNN image classifiers, but can"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.01629","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/2103.01629/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-07-05T02:19:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"thrmf0e2uAP67nBHQ50/+yr4a0ezfNIjcQ/jhjwn/BUagR0Qc9IymoAPOHPPm/cJXXP3Rzvtjyav8/seFcfxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:45:40.698479Z"},"content_sha256":"ad943969872c49e199e74f5bb46b3c1c5fe3633180f4c0ac399d0e8a41d33037","schema_version":"1.0","event_id":"sha256:ad943969872c49e199e74f5bb46b3c1c5fe3633180f4c0ac399d0e8a41d33037"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SWW6KE6IENZYMHMLENVDFZAZPP/bundle.json","state_url":"https://pith.science/pith/SWW6KE6IENZYMHMLENVDFZAZPP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SWW6KE6IENZYMHMLENVDFZAZPP/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-07-05T15:45:40Z","links":{"resolver":"https://pith.science/pith/SWW6KE6IENZYMHMLENVDFZAZPP","bundle":"https://pith.science/pith/SWW6KE6IENZYMHMLENVDFZAZPP/bundle.json","state":"https://pith.science/pith/SWW6KE6IENZYMHMLENVDFZAZPP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SWW6KE6IENZYMHMLENVDFZAZPP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:SWW6KE6IENZYMHMLENVDFZAZPP","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":"0ff0284f0c999147202ce9bbc227452dcc71afd21b138bc1bf4161c53c9ad6c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-02T10:41:16Z","title_canon_sha256":"93d41e854fe20b881caeaebfd49a180240d57311678324dc0c3927bfdda1a9ab"},"schema_version":"1.0","source":{"id":"2103.01629","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.01629","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"arxiv_version","alias_value":"2103.01629v1","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.01629","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_12","alias_value":"SWW6KE6IENZY","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_16","alias_value":"SWW6KE6IENZYMHML","created_at":"2026-07-05T02:19:49Z"},{"alias_kind":"pith_short_8","alias_value":"SWW6KE6I","created_at":"2026-07-05T02:19:49Z"}],"graph_snapshots":[{"event_id":"sha256:ad943969872c49e199e74f5bb46b3c1c5fe3633180f4c0ac399d0e8a41d33037","target":"graph","created_at":"2026-07-05T02:19:49Z","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/2103.01629/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce DeepCert, a tool-supported method for verifying the robustness of deep neural network (DNN) image classifiers to contextually relevant perturbations such as blur, haze, and changes in image contrast. While the robustness of DNN classifiers has been the subject of intense research in recent years, the solutions delivered by this research focus on verifying DNN robustness to small perturbations in the images being classified, with perturbation magnitude measured using established Lp norms. This is useful for identifying potential adversarial attacks on DNN image classifiers, but can","authors_text":"Clark Barrett, Colin Paterson, Corina S. Pasareanu, Haoze Wu, John Grese, Radu Calinescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-02T10:41:16Z","title":"DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.01629","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:56ef75b0ed4a34f7a5c51ca2949d254aa7eb7755df0b2a0875640f70fbde9f48","target":"record","created_at":"2026-07-05T02:19:49Z","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":"0ff0284f0c999147202ce9bbc227452dcc71afd21b138bc1bf4161c53c9ad6c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-02T10:41:16Z","title_canon_sha256":"93d41e854fe20b881caeaebfd49a180240d57311678324dc0c3927bfdda1a9ab"},"schema_version":"1.0","source":{"id":"2103.01629","kind":"arxiv","version":1}},"canonical_sha256":"95ade513c82373861d8b236a32e4197bcb6e7cb586e5f42ef36094a8d84ff762","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95ade513c82373861d8b236a32e4197bcb6e7cb586e5f42ef36094a8d84ff762","first_computed_at":"2026-07-05T02:19:49.036783Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:19:49.036783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2WJgBzrUbCDfWBYE/jNI7Juzb5dr0t/f0DOb00Cu+YgSD8BhIR/SeEwNcNpRU3FNfRqQYq/Kr6LWksyh7yanCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:19:49.037122Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.01629","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56ef75b0ed4a34f7a5c51ca2949d254aa7eb7755df0b2a0875640f70fbde9f48","sha256:ad943969872c49e199e74f5bb46b3c1c5fe3633180f4c0ac399d0e8a41d33037"],"state_sha256":"ab8a6eaa12e1d00bbd5af70a018b3035805fd2b1a5568dd21f24a2ef48a86274"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t/pS8uB0MtdV0PgxOdP7MEMNG8a7dBc80/O4n4wU62lkTJo48NAWDb40C2iku6wFazTqZmfnoQRzTLUP+wFUCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:45:40.702446Z","bundle_sha256":"288fad03d5c6f19b8d97e4863895a0eaf02fcd66b83435ea82e2fb079d5be886"}}