{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:BZSUTCBMAJ6XXWI6ZNDB35BBCD","short_pith_number":"pith:BZSUTCBM","canonical_record":{"source":{"id":"1705.01040","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-04-28T12:04:02Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"title_canon_sha256":"e7cb2ebe4c42a23b1ec8e6e5c3f9a13bd376bb83c0d36d73d1cc41c11bab1c9d","abstract_canon_sha256":"564d559c18b99d471fdb10ea6c45804d0cca6602196a6fa038a3b9b749ddfdd0"},"schema_version":"1.0"},"canonical_sha256":"0e6549882c027d7bd91ecb461df42110e022b6e4c1a799d93982e32b3fb2bc1d","source":{"kind":"arxiv","id":"1705.01040","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01040","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01040v2","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01040","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"BZSUTCBMAJ6X","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BZSUTCBMAJ6XXWI6","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BZSUTCBM","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:BZSUTCBMAJ6XXWI6ZNDB35BBCD","target":"record","payload":{"canonical_record":{"source":{"id":"1705.01040","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-04-28T12:04:02Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"title_canon_sha256":"e7cb2ebe4c42a23b1ec8e6e5c3f9a13bd376bb83c0d36d73d1cc41c11bab1c9d","abstract_canon_sha256":"564d559c18b99d471fdb10ea6c45804d0cca6602196a6fa038a3b9b749ddfdd0"},"schema_version":"1.0"},"canonical_sha256":"0e6549882c027d7bd91ecb461df42110e022b6e4c1a799d93982e32b3fb2bc1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:53.765669Z","signature_b64":"RK914gL0ET6Gcbf+ESuqeONJKPjD4fvIjMRPybBsz2aGQ6h768dkIL5i0sJdtD6O8e8HCZB1F+9gvizGkHGgAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e6549882c027d7bd91ecb461df42110e022b6e4c1a799d93982e32b3fb2bc1d","last_reissued_at":"2026-05-18T00:40:53.765218Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:53.765218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.01040","source_version":2,"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-18T00:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7X0C1cSe6Ba7mpq7f4NbtFqSIFM9Qg72SOmT/+T6n4woXbMSSs+VDCNwZ7HqkuFTG56r/Ik04CiL/l8bmjo8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:42:44.584570Z"},"content_sha256":"66b4a01cf802f642a1de65c2e586859b8c81f13a5d031e4b9d2666c35071f037","schema_version":"1.0","event_id":"sha256:66b4a01cf802f642a1de65c2e586859b8c81f13a5d031e4b9d2666c35071f037"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:BZSUTCBMAJ6XXWI6ZNDB35BBCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Maximum Resilience of Artificial Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.SE"],"primary_cat":"cs.LG","authors_text":"Chih-Hong Cheng, Georg N\\\"uhrenberg, Harald Ruess","submitted_at":"2017-04-28T12:04:02Z","abstract_excerpt":"The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled self-driving vehicles it is important to establish properties about the resilience of ANNs to noisy or even maliciously manipulated sensory input. We are addressing these challenges by defining resilience properties of ANN-based classifiers as the maximal amount of input or sensor perturbation which is still tolerated. This problem of computing maximal perturbation bounds for ANNs is then reduced to solving mixed int"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01040","kind":"arxiv","version":2},"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-18T00:40:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"34ELAS7hyWmjQCCr0nramWyqahVv2oHsBNYdi+BjrRMhpeRmYfcg0I4sYrSg1o4qN6TUIZHx5AqKrh1gyx73Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:42:44.585327Z"},"content_sha256":"904591ce58b651104822665c8b490c293f6fea6d5dd5b1a054b0f618be298a78","schema_version":"1.0","event_id":"sha256:904591ce58b651104822665c8b490c293f6fea6d5dd5b1a054b0f618be298a78"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/bundle.json","state_url":"https://pith.science/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/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-27T19:42:44Z","links":{"resolver":"https://pith.science/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD","bundle":"https://pith.science/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/bundle.json","state":"https://pith.science/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BZSUTCBMAJ6XXWI6ZNDB35BBCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:BZSUTCBMAJ6XXWI6ZNDB35BBCD","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":"564d559c18b99d471fdb10ea6c45804d0cca6602196a6fa038a3b9b749ddfdd0","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-04-28T12:04:02Z","title_canon_sha256":"e7cb2ebe4c42a23b1ec8e6e5c3f9a13bd376bb83c0d36d73d1cc41c11bab1c9d"},"schema_version":"1.0","source":{"id":"1705.01040","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01040","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01040v2","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01040","created_at":"2026-05-18T00:40:53Z"},{"alias_kind":"pith_short_12","alias_value":"BZSUTCBMAJ6X","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BZSUTCBMAJ6XXWI6","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BZSUTCBM","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:904591ce58b651104822665c8b490c293f6fea6d5dd5b1a054b0f618be298a78","target":"graph","created_at":"2026-05-18T00:40:53Z","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":"The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled self-driving vehicles it is important to establish properties about the resilience of ANNs to noisy or even maliciously manipulated sensory input. We are addressing these challenges by defining resilience properties of ANN-based classifiers as the maximal amount of input or sensor perturbation which is still tolerated. This problem of computing maximal perturbation bounds for ANNs is then reduced to solving mixed int","authors_text":"Chih-Hong Cheng, Georg N\\\"uhrenberg, Harald Ruess","cross_cats":["cs.AI","cs.LO","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-04-28T12:04:02Z","title":"Maximum Resilience of Artificial Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01040","kind":"arxiv","version":2},"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:66b4a01cf802f642a1de65c2e586859b8c81f13a5d031e4b9d2666c35071f037","target":"record","created_at":"2026-05-18T00:40:53Z","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":"564d559c18b99d471fdb10ea6c45804d0cca6602196a6fa038a3b9b749ddfdd0","cross_cats_sorted":["cs.AI","cs.LO","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-04-28T12:04:02Z","title_canon_sha256":"e7cb2ebe4c42a23b1ec8e6e5c3f9a13bd376bb83c0d36d73d1cc41c11bab1c9d"},"schema_version":"1.0","source":{"id":"1705.01040","kind":"arxiv","version":2}},"canonical_sha256":"0e6549882c027d7bd91ecb461df42110e022b6e4c1a799d93982e32b3fb2bc1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e6549882c027d7bd91ecb461df42110e022b6e4c1a799d93982e32b3fb2bc1d","first_computed_at":"2026-05-18T00:40:53.765218Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:53.765218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RK914gL0ET6Gcbf+ESuqeONJKPjD4fvIjMRPybBsz2aGQ6h768dkIL5i0sJdtD6O8e8HCZB1F+9gvizGkHGgAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:53.765669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.01040","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66b4a01cf802f642a1de65c2e586859b8c81f13a5d031e4b9d2666c35071f037","sha256:904591ce58b651104822665c8b490c293f6fea6d5dd5b1a054b0f618be298a78"],"state_sha256":"2b291718f37246d29011aaf975cd83e1e2cf4adf857d02ee389b570a5f71a2bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FgA0LdXWjLAX1zRVBBnPeX9np6CcuWMHEb7vkOZbCTYfr4D+6f5VO5JNVfll8raLu1azkoX5J5s9SDwnPlV/Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:42:44.589082Z","bundle_sha256":"ee931ae1086d3d0fffdeafd0b7a88805862e6304d7d37daf96c2371c21ee85e6"}}