{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HNZOS2BBOBBRE7SEUDLOHDQJBZ","short_pith_number":"pith:HNZOS2BB","canonical_record":{"source":{"id":"2405.06624","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-10T17:38:32Z","cross_cats_sorted":[],"title_canon_sha256":"b6be10fe9b276985aeb3c24351ede842bf7ea22682565d8a4a2a8c9debdd9232","abstract_canon_sha256":"25ae4dbc94445af2485372a2dbfdcc539da04c719e7ea37625d92527d8f45c98"},"schema_version":"1.0"},"canonical_sha256":"3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73","source":{"kind":"arxiv","id":"2405.06624","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06624","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06624v3","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06624","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_12","alias_value":"HNZOS2BBOBBR","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_16","alias_value":"HNZOS2BBOBBRE7SE","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_8","alias_value":"HNZOS2BB","created_at":"2026-07-05T08:41:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HNZOS2BBOBBRE7SEUDLOHDQJBZ","target":"record","payload":{"canonical_record":{"source":{"id":"2405.06624","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-10T17:38:32Z","cross_cats_sorted":[],"title_canon_sha256":"b6be10fe9b276985aeb3c24351ede842bf7ea22682565d8a4a2a8c9debdd9232","abstract_canon_sha256":"25ae4dbc94445af2485372a2dbfdcc539da04c719e7ea37625d92527d8f45c98"},"schema_version":"1.0"},"canonical_sha256":"3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:41:02.685339Z","signature_b64":"8x9JJTSNoOMrQW3mrsl7us2y0p9BXKrgcd2TaFYaluqzz5Oj/qI4D1uT7uLWFLX5ZD3+NZsI5G5b6ruT2qZdAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73","last_reissued_at":"2026-07-05T08:41:02.684826Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:41:02.684826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.06624","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-07-05T08:41:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZPve88bipiBGPjkziWCP4F+rYmH/Mlc4JfqbCSpRTEEYgPY1VKx/tmqNv2JFDB1bmjNYY9CCWPNEckh+h9uhAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:09:52.508518Z"},"content_sha256":"c849453d682bdfb75dbb997e55cdd80a4b7de4621b322b9ea32ae6ec8c4efb6d","schema_version":"1.0","event_id":"sha256:c849453d682bdfb75dbb997e55cdd80a4b7de4621b322b9ea32ae6ec8c4efb6d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HNZOS2BBOBBRE7SEUDLOHDQJBZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandro Abate, Ben Goldhaber, Christian Szegedy, Clark Barrett, David \"davidad\" Dalrymple, Ding Zhao, Jeannette Wing, Joar Skalse, Joe Halpern, Joshua Tenenbaum, Max Tegmark, Nora Ammann, Sanjit Seshia, Steve Omohundro, Stuart Russell, Tan Zhi-Xuan, Yoshua Bengio","submitted_at":"2024-05-10T17:38:32Z","abstract_excerpt":"Ensuring that AI systems reliably and robustly avoid harmful or dangerous behaviours is a crucial challenge, especially for AI systems with a high degree of autonomy and general intelligence, or systems used in safety-critical contexts. In this paper, we will introduce and define a family of approaches to AI safety, which we will refer to as guaranteed safe (GS) AI. The core feature of these approaches is that they aim to produce AI systems which are equipped with high-assurance quantitative safety guarantees. This is achieved by the interplay of three core components: a world model (which pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06624","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.06624/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-05T08:41:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JETct927P5bTpRCxjAT5jVX4SjQ6GKPOWocxyOP/25BLjyDt19mPnNwFJiaAXd3b5nbS5x31tLIV/WbtjYhqCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:09:52.509754Z"},"content_sha256":"09831c081ce4d28e5c91b6428bb8cb3678f0ca40b87561e1bcf2fdd68859206c","schema_version":"1.0","event_id":"sha256:09831c081ce4d28e5c91b6428bb8cb3678f0ca40b87561e1bcf2fdd68859206c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/bundle.json","state_url":"https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/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-08-05T11:09:52Z","links":{"resolver":"https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ","bundle":"https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/bundle.json","state":"https://pith.science/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HNZOS2BBOBBRE7SEUDLOHDQJBZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HNZOS2BBOBBRE7SEUDLOHDQJBZ","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":"25ae4dbc94445af2485372a2dbfdcc539da04c719e7ea37625d92527d8f45c98","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-10T17:38:32Z","title_canon_sha256":"b6be10fe9b276985aeb3c24351ede842bf7ea22682565d8a4a2a8c9debdd9232"},"schema_version":"1.0","source":{"id":"2405.06624","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06624","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06624v3","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06624","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_12","alias_value":"HNZOS2BBOBBR","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_16","alias_value":"HNZOS2BBOBBRE7SE","created_at":"2026-07-05T08:41:02Z"},{"alias_kind":"pith_short_8","alias_value":"HNZOS2BB","created_at":"2026-07-05T08:41:02Z"}],"graph_snapshots":[{"event_id":"sha256:09831c081ce4d28e5c91b6428bb8cb3678f0ca40b87561e1bcf2fdd68859206c","target":"graph","created_at":"2026-07-05T08:41:02Z","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/2405.06624/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring that AI systems reliably and robustly avoid harmful or dangerous behaviours is a crucial challenge, especially for AI systems with a high degree of autonomy and general intelligence, or systems used in safety-critical contexts. In this paper, we will introduce and define a family of approaches to AI safety, which we will refer to as guaranteed safe (GS) AI. The core feature of these approaches is that they aim to produce AI systems which are equipped with high-assurance quantitative safety guarantees. This is achieved by the interplay of three core components: a world model (which pro","authors_text":"Alessandro Abate, Ben Goldhaber, Christian Szegedy, Clark Barrett, David \"davidad\" Dalrymple, Ding Zhao, Jeannette Wing, Joar Skalse, Joe Halpern, Joshua Tenenbaum, Max Tegmark, Nora Ammann, Sanjit Seshia, Steve Omohundro, Stuart Russell, Tan Zhi-Xuan, Yoshua Bengio","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06624","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:c849453d682bdfb75dbb997e55cdd80a4b7de4621b322b9ea32ae6ec8c4efb6d","target":"record","created_at":"2026-07-05T08:41:02Z","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":"25ae4dbc94445af2485372a2dbfdcc539da04c719e7ea37625d92527d8f45c98","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-10T17:38:32Z","title_canon_sha256":"b6be10fe9b276985aeb3c24351ede842bf7ea22682565d8a4a2a8c9debdd9232"},"schema_version":"1.0","source":{"id":"2405.06624","kind":"arxiv","version":3}},"canonical_sha256":"3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b72e968217043127e44a0d6e38e090e7a3e538767366430cc3140099f824e73","first_computed_at":"2026-07-05T08:41:02.684826Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:41:02.684826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8x9JJTSNoOMrQW3mrsl7us2y0p9BXKrgcd2TaFYaluqzz5Oj/qI4D1uT7uLWFLX5ZD3+NZsI5G5b6ruT2qZdAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:41:02.685339Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.06624","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c849453d682bdfb75dbb997e55cdd80a4b7de4621b322b9ea32ae6ec8c4efb6d","sha256:09831c081ce4d28e5c91b6428bb8cb3678f0ca40b87561e1bcf2fdd68859206c"],"state_sha256":"3feea59fbb020610d4f98017790be9b65bb8ebcdeb054bbcdf3a6bc3a5f9a9bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qVk5UfnZ7NvRJOHA1Np90l5LhFRkoQ2eeKOW6D8/j+eU+skgSj4VuP/kalL2/A1QfxZ5g1uOr3elNAzG5StpDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T11:09:52.526353Z","bundle_sha256":"a49affae4d6791ce377ea437e8a669119b271aa5d196abfded031550acee7cd8"}}