{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:DXVJJRN6TZ7AMQ65G6GRUB6PUM","short_pith_number":"pith:DXVJJRN6","canonical_record":{"source":{"id":"1907.01297","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-02T11:09:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2003fdac5edb74df4146924b05681d816129e4b188ebfda6db44711aa43edc83","abstract_canon_sha256":"561e92a660fa2691be5d12c7a1eb081c9736bca9d63608155be1833869bba1bd"},"schema_version":"1.0"},"canonical_sha256":"1dea94c5be9e7e0643dd378d1a07cfa311d01609e076253710b0971033c88dbb","source":{"kind":"arxiv","id":"1907.01297","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01297","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01297v1","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01297","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"pith_short_12","alias_value":"DXVJJRN6TZ7A","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"DXVJJRN6TZ7AMQ65","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"DXVJJRN6","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:DXVJJRN6TZ7AMQ65G6GRUB6PUM","target":"record","payload":{"canonical_record":{"source":{"id":"1907.01297","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-02T11:09:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2003fdac5edb74df4146924b05681d816129e4b188ebfda6db44711aa43edc83","abstract_canon_sha256":"561e92a660fa2691be5d12c7a1eb081c9736bca9d63608155be1833869bba1bd"},"schema_version":"1.0"},"canonical_sha256":"1dea94c5be9e7e0643dd378d1a07cfa311d01609e076253710b0971033c88dbb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:40.734509Z","signature_b64":"pr7BV+YjSqAz87Xcl+zb9xQGg2wLiwNsWGj1j03M7waFxcNFKpZmkWxE2O+i4Rla7Xs28qfe+3cN4b+mEs5MDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1dea94c5be9e7e0643dd378d1a07cfa311d01609e076253710b0971033c88dbb","last_reissued_at":"2026-05-17T23:41:40.733916Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:40.733916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.01297","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-05-17T23:41:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rBNBi7cN+AUagX11y6ECpLf8zAzzk5k5WxjAQoFTW8ZY3rZKRk0xVCxPfHkLdpixpAENaA3yffWPKb3fX+eOBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:50:05.392709Z"},"content_sha256":"e27607aae5921b19f71556bfc697f5895f35cf814f2dfd08e9d3e5d389343020","schema_version":"1.0","event_id":"sha256:e27607aae5921b19f71556bfc697f5895f35cf814f2dfd08e9d3e5d389343020"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:DXVJJRN6TZ7AMQ65G6GRUB6PUM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Network Verification for the Masses (of AI graduates)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Daniel Kienitz, Ekaterina Komendantskaya, Kirsy Duncan, Pascal Bacchus, Pierre Le Hen, Rob Stewart","submitted_at":"2019-07-02T11:09:04Z","abstract_excerpt":"Rapid development of AI applications has stimulated demand for, and has given rise to, the rapidly growing number and diversity of AI MSc degrees. AI and Robotics research communities, industries and students are becoming increasingly aware of the problems caused by unsafe or insecure AI applications. Among them, perhaps the most famous example is vulnerability of deep neural networks to ``adversarial attacks''. Owing to wide-spread use of neural networks in all areas of AI, this problem is seen as particularly acute and pervasive.\n  Despite of the growing number of research papers about safet"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01297","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":""},"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-05-17T23:41:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O3CCBQIMj7Tkj0pc5e5mqNMxwKzvX0IGAgR7iePIVq1LlO5fenZfC/MLhjwsvPzaLYRECqGFvQRc1Sg4+KLrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:50:05.393063Z"},"content_sha256":"a632d65ffc80d4e345791d9dda70b2b1a076e20339f32fe77024967603db0488","schema_version":"1.0","event_id":"sha256:a632d65ffc80d4e345791d9dda70b2b1a076e20339f32fe77024967603db0488"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/bundle.json","state_url":"https://pith.science/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/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-05-30T12:50:05Z","links":{"resolver":"https://pith.science/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM","bundle":"https://pith.science/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/bundle.json","state":"https://pith.science/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DXVJJRN6TZ7AMQ65G6GRUB6PUM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:DXVJJRN6TZ7AMQ65G6GRUB6PUM","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":"561e92a660fa2691be5d12c7a1eb081c9736bca9d63608155be1833869bba1bd","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-02T11:09:04Z","title_canon_sha256":"2003fdac5edb74df4146924b05681d816129e4b188ebfda6db44711aa43edc83"},"schema_version":"1.0","source":{"id":"1907.01297","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01297","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01297v1","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01297","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"pith_short_12","alias_value":"DXVJJRN6TZ7A","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"DXVJJRN6TZ7AMQ65","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"DXVJJRN6","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:a632d65ffc80d4e345791d9dda70b2b1a076e20339f32fe77024967603db0488","target":"graph","created_at":"2026-05-17T23:41:40Z","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"},"paper":{"abstract_excerpt":"Rapid development of AI applications has stimulated demand for, and has given rise to, the rapidly growing number and diversity of AI MSc degrees. AI and Robotics research communities, industries and students are becoming increasingly aware of the problems caused by unsafe or insecure AI applications. Among them, perhaps the most famous example is vulnerability of deep neural networks to ``adversarial attacks''. Owing to wide-spread use of neural networks in all areas of AI, this problem is seen as particularly acute and pervasive.\n  Despite of the growing number of research papers about safet","authors_text":"Daniel Kienitz, Ekaterina Komendantskaya, Kirsy Duncan, Pascal Bacchus, Pierre Le Hen, Rob Stewart","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-02T11:09:04Z","title":"Neural Network Verification for the Masses (of AI graduates)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01297","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:e27607aae5921b19f71556bfc697f5895f35cf814f2dfd08e9d3e5d389343020","target":"record","created_at":"2026-05-17T23:41:40Z","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":"561e92a660fa2691be5d12c7a1eb081c9736bca9d63608155be1833869bba1bd","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-02T11:09:04Z","title_canon_sha256":"2003fdac5edb74df4146924b05681d816129e4b188ebfda6db44711aa43edc83"},"schema_version":"1.0","source":{"id":"1907.01297","kind":"arxiv","version":1}},"canonical_sha256":"1dea94c5be9e7e0643dd378d1a07cfa311d01609e076253710b0971033c88dbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1dea94c5be9e7e0643dd378d1a07cfa311d01609e076253710b0971033c88dbb","first_computed_at":"2026-05-17T23:41:40.733916Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:40.733916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pr7BV+YjSqAz87Xcl+zb9xQGg2wLiwNsWGj1j03M7waFxcNFKpZmkWxE2O+i4Rla7Xs28qfe+3cN4b+mEs5MDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:40.734509Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.01297","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e27607aae5921b19f71556bfc697f5895f35cf814f2dfd08e9d3e5d389343020","sha256:a632d65ffc80d4e345791d9dda70b2b1a076e20339f32fe77024967603db0488"],"state_sha256":"2f8d56883606a220246b3febfaa63ddb97e90d55c636665bd6a41bedb89b60ce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EkZA2H6PMBdW2rEMdwj4mO3RymD3b7T9YojdLZNCFpo2HvpTm0sJyyKqL2/rwU8CGAurqZ8/drS/nXJjI2jpBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T12:50:05.395600Z","bundle_sha256":"0981c66ee52470ef0fc0ca264baabe93c0c305fc561bc0b51e276c86be8f5f57"}}