{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HGRNTXGKMXGE4ATER2FO7IDYTR","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":"420329c8285495e9fef4df5d99d811d21fbd05e312842c6b97958da509d315e2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-12-18T01:17:32Z","title_canon_sha256":"21cac5773518613223e6d154c18273f438cbe16818610b79b0865cbbcf785c32"},"schema_version":"1.0","source":{"id":"1812.08342","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.08342","created_at":"2026-07-05T01:06:46Z"},{"alias_kind":"arxiv_version","alias_value":"1812.08342v5","created_at":"2026-07-05T01:06:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.08342","created_at":"2026-07-05T01:06:46Z"},{"alias_kind":"pith_short_12","alias_value":"HGRNTXGKMXGE","created_at":"2026-07-05T01:06:46Z"},{"alias_kind":"pith_short_16","alias_value":"HGRNTXGKMXGE4ATE","created_at":"2026-07-05T01:06:46Z"},{"alias_kind":"pith_short_8","alias_value":"HGRNTXGK","created_at":"2026-07-05T01:06:46Z"}],"graph_snapshots":[{"event_id":"sha256:67bab6d0e41efe14619a95f04d1a07937231125dbc1b7ab50efbca12726c6928","target":"graph","created_at":"2026-07-05T01:06:46Z","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/1812.08342/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks. With the broader deployment of DNNs on various applications, the concerns over their safety and trustworthiness have been raised in public, especially after the widely reported fatal incidents involving self-driving cars. Research to address these concerns is particularly active, with a significant number of papers released in the past few years. This survey paper conducts a review of the current research effort into making DNNs safe and ","authors_text":"Daniel Kroening, Emese Thamo, James Sharp, Min Wu, Wenjie Ruan, Xiaowei Huang, Xinping Yi, Youcheng Sun","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-12-18T01:17:32Z","title":"A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.08342","kind":"arxiv","version":5},"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:209ca3bd79fb650f50091420f364f470745325fd9b44b6837678482379243390","target":"record","created_at":"2026-07-05T01:06:46Z","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":"420329c8285495e9fef4df5d99d811d21fbd05e312842c6b97958da509d315e2","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-12-18T01:17:32Z","title_canon_sha256":"21cac5773518613223e6d154c18273f438cbe16818610b79b0865cbbcf785c32"},"schema_version":"1.0","source":{"id":"1812.08342","kind":"arxiv","version":5}},"canonical_sha256":"39a2d9dcca65cc4e02648e8aefa0789c49a552cde5de5f16994bf0d1b4df16ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39a2d9dcca65cc4e02648e8aefa0789c49a552cde5de5f16994bf0d1b4df16ee","first_computed_at":"2026-07-05T01:06:46.788503Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:06:46.788503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ALqroB67V2kGSkgnZQJiBlSph8U5tSiCGpp0o/sm5DJgjeKj9z+9oGBP7oB6n3awv+IGda1v+QuR/xMUIQ4aDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:06:46.788991Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.08342","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:209ca3bd79fb650f50091420f364f470745325fd9b44b6837678482379243390","sha256:67bab6d0e41efe14619a95f04d1a07937231125dbc1b7ab50efbca12726c6928"],"state_sha256":"82df876e79bbe6e3e9f5485f7086807e899397d6c986f99ab9588130857243af"}