{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZMG62VBIOXBKQC3GWKMMOSJKQR","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":"7782053f6e063a07951838e47562ac427a3da21922d17ea2e11f3f1d38792021","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-02-14T22:36:54Z","title_canon_sha256":"56b15c7f09557c4f34dff082570c609bb9840a5f7ce1c3f0bdc57c91cbd33b4e"},"schema_version":"1.0","source":{"id":"1902.05632","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.05632","created_at":"2026-05-17T23:44:21Z"},{"alias_kind":"arxiv_version","alias_value":"1902.05632v1","created_at":"2026-05-17T23:44:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.05632","created_at":"2026-05-17T23:44:21Z"},{"alias_kind":"pith_short_12","alias_value":"ZMG62VBIOXBK","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZMG62VBIOXBKQC3G","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZMG62VBI","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:67499dd8b4f21c8e89d8eaa02ecc3731df88181a4c34b155d33f6c7608aeaec1","target":"graph","created_at":"2026-05-17T23:44:21Z","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 desire to use reinforcement learning in safety-critical settings has inspired a recent interest in formal methods for learning algorithms. Existing formal methods for learning and optimization primarily consider the problem of constrained learning or constrained optimization. Given a single correct model and associated safety constraint, these approaches guarantee efficient learning while provably avoiding behaviors outside the safety constraint. Acting well given an accurate environmental model is an important pre-requisite for safe learning, but is ultimately insufficient for systems tha","authors_text":"Andre Platzer, Nathan Fulton","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-02-14T22:36:54Z","title":"Verifiably Safe Off-Model Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.05632","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:8ef039ee6e3b96d5bc87ea52faa54322cc36ca4f8fc170db00d9020d0025066e","target":"record","created_at":"2026-05-17T23:44:21Z","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":"7782053f6e063a07951838e47562ac427a3da21922d17ea2e11f3f1d38792021","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-02-14T22:36:54Z","title_canon_sha256":"56b15c7f09557c4f34dff082570c609bb9840a5f7ce1c3f0bdc57c91cbd33b4e"},"schema_version":"1.0","source":{"id":"1902.05632","kind":"arxiv","version":1}},"canonical_sha256":"cb0ded542875c2a80b66b298c7492a84550b31f96e2f7d4e97850e6395acb555","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb0ded542875c2a80b66b298c7492a84550b31f96e2f7d4e97850e6395acb555","first_computed_at":"2026-05-17T23:44:21.628211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:21.628211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RFLTebWkv+B8iw/o0cGnJEVglPBWCKjOzBsU3a/CixA6tmH/lyZkF7tlf8VIaN+QZuMA8icJgceBnNV4kmikAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:21.628944Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.05632","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ef039ee6e3b96d5bc87ea52faa54322cc36ca4f8fc170db00d9020d0025066e","sha256:67499dd8b4f21c8e89d8eaa02ecc3731df88181a4c34b155d33f6c7608aeaec1"],"state_sha256":"2d6c23a56e6b70aeb45ee67f6f9624534eb62dce013dd0b210767befa0283ccf"}