{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PR5P4U5RVUSCZUSBQ4KUIXOFLC","short_pith_number":"pith:PR5P4U5R","canonical_record":{"source":{"id":"1809.08098","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-09-19T20:21:28Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"762500560339e562a4d85772975a29bc98c8fc3b664d00826b166daf9f5d7424","abstract_canon_sha256":"122ea22bfdfe81eb9e1b35b39cee7a20054b6578bdf148b3e87faf35b0a9f270"},"schema_version":"1.0"},"canonical_sha256":"7c7afe53b1ad242cd2418715445dc558949225a50f6cc850a7b30452d9d10d9d","source":{"kind":"arxiv","id":"1809.08098","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.08098","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"1809.08098v3","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.08098","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"PR5P4U5RVUSC","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PR5P4U5RVUSCZUSB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PR5P4U5R","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PR5P4U5RVUSCZUSBQ4KUIXOFLC","target":"record","payload":{"canonical_record":{"source":{"id":"1809.08098","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-09-19T20:21:28Z","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"title_canon_sha256":"762500560339e562a4d85772975a29bc98c8fc3b664d00826b166daf9f5d7424","abstract_canon_sha256":"122ea22bfdfe81eb9e1b35b39cee7a20054b6578bdf148b3e87faf35b0a9f270"},"schema_version":"1.0"},"canonical_sha256":"7c7afe53b1ad242cd2418715445dc558949225a50f6cc850a7b30452d9d10d9d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:19.281792Z","signature_b64":"0z+1zjCazOmLfpgBVZopGpMsyJCX/q8Ldu/rZGSl4M7lx7cizkv7ZR9CxIsGkO91nheNelPMTPKuLObfidNOAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c7afe53b1ad242cd2418715445dc558949225a50f6cc850a7b30452d9d10d9d","last_reissued_at":"2026-05-18T00:01:19.281369Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:19.281369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.08098","source_version":3,"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:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqpYuAtc6VxOHcUUhrwFRLbUWcQ7gpR+WNCkXlUUVIj9KkMjB6nDYfJsBqb7Hy2EKbTdT9stdAIopeFH1C7TDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T19:58:56.515089Z"},"content_sha256":"1c8f3dbad9f88fc3ed5304fd51cc32fe37caf938610f37b1b4e2b502cdd369aa","schema_version":"1.0","event_id":"sha256:1c8f3dbad9f88fc3ed5304fd51cc32fe37caf938610f37b1b4e2b502cdd369aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PR5P4U5RVUSCZUSBQ4KUIXOFLC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Formal Safety Analysis of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","stat.ML"],"primary_cat":"cs.LG","authors_text":"Junfeng Yang, Justin Whitehouse, Kexin Pei, Shiqi Wang, Suman Jana","submitted_at":"2018-09-19T20:21:28Z","abstract_excerpt":"Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these networks have been shown to often mispredict on inputs with minor adversarial or even accidental perturbations. Consequences of such errors can be disastrous and even potentially fatal as shown by the recent Tesla autopilot crash. Thus, there is an urgent need for formal analysis systems that can rigorously check neural networks for violations of different safety properties such as robustness against adversarial perturba"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.08098","kind":"arxiv","version":3},"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:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CtIaM654wQe/k8I1gppQnZnn0/+emQbq7EJoCDLzZhoivQZ0XKn6cHCceePSWjumMDd7/C0C+Xoj3k2DhThrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T19:58:56.515779Z"},"content_sha256":"6d9f4e1b9a03060142bb7d65fb0a227baed2b0fe6b2fc21aef2db03a8262edab","schema_version":"1.0","event_id":"sha256:6d9f4e1b9a03060142bb7d65fb0a227baed2b0fe6b2fc21aef2db03a8262edab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/bundle.json","state_url":"https://pith.science/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/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-30T19:58:56Z","links":{"resolver":"https://pith.science/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC","bundle":"https://pith.science/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/bundle.json","state":"https://pith.science/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PR5P4U5RVUSCZUSBQ4KUIXOFLC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PR5P4U5RVUSCZUSBQ4KUIXOFLC","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":"122ea22bfdfe81eb9e1b35b39cee7a20054b6578bdf148b3e87faf35b0a9f270","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-09-19T20:21:28Z","title_canon_sha256":"762500560339e562a4d85772975a29bc98c8fc3b664d00826b166daf9f5d7424"},"schema_version":"1.0","source":{"id":"1809.08098","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.08098","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"1809.08098v3","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.08098","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"PR5P4U5RVUSC","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PR5P4U5RVUSCZUSB","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PR5P4U5R","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:6d9f4e1b9a03060142bb7d65fb0a227baed2b0fe6b2fc21aef2db03a8262edab","target":"graph","created_at":"2026-05-18T00:01:19Z","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":"Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these networks have been shown to often mispredict on inputs with minor adversarial or even accidental perturbations. Consequences of such errors can be disastrous and even potentially fatal as shown by the recent Tesla autopilot crash. Thus, there is an urgent need for formal analysis systems that can rigorously check neural networks for violations of different safety properties such as robustness against adversarial perturba","authors_text":"Junfeng Yang, Justin Whitehouse, Kexin Pei, Shiqi Wang, Suman Jana","cross_cats":["cs.AI","cs.LO","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-09-19T20:21:28Z","title":"Efficient Formal Safety Analysis of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.08098","kind":"arxiv","version":3},"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:1c8f3dbad9f88fc3ed5304fd51cc32fe37caf938610f37b1b4e2b502cdd369aa","target":"record","created_at":"2026-05-18T00:01:19Z","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":"122ea22bfdfe81eb9e1b35b39cee7a20054b6578bdf148b3e87faf35b0a9f270","cross_cats_sorted":["cs.AI","cs.LO","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-09-19T20:21:28Z","title_canon_sha256":"762500560339e562a4d85772975a29bc98c8fc3b664d00826b166daf9f5d7424"},"schema_version":"1.0","source":{"id":"1809.08098","kind":"arxiv","version":3}},"canonical_sha256":"7c7afe53b1ad242cd2418715445dc558949225a50f6cc850a7b30452d9d10d9d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c7afe53b1ad242cd2418715445dc558949225a50f6cc850a7b30452d9d10d9d","first_computed_at":"2026-05-18T00:01:19.281369Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:19.281369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0z+1zjCazOmLfpgBVZopGpMsyJCX/q8Ldu/rZGSl4M7lx7cizkv7ZR9CxIsGkO91nheNelPMTPKuLObfidNOAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:19.281792Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.08098","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c8f3dbad9f88fc3ed5304fd51cc32fe37caf938610f37b1b4e2b502cdd369aa","sha256:6d9f4e1b9a03060142bb7d65fb0a227baed2b0fe6b2fc21aef2db03a8262edab"],"state_sha256":"e5e4f62353330b493b0640608516ee96f1203f2e444ded4a14aebb5b42da6e28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"citDNK0TyshYd7yt676BGsZTZ8I3XW1tDnIXJy/yVFAa54Jr3l+A/oLQCkhUEPBK7V5snxnhfxdr12w2XUhXCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T19:58:56.520117Z","bundle_sha256":"f75184a5755ec95dc152834fd0090ac7dcf0ef80cefaa7295c30eecb52fcf113"}}