{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:ZMG62VBIOXBKQC3GWKMMOSJKQR","short_pith_number":"pith:ZMG62VBI","schema_version":"1.0","canonical_sha256":"cb0ded542875c2a80b66b298c7492a84550b31f96e2f7d4e97850e6395acb555","source":{"kind":"arxiv","id":"1902.05632","version":1},"attestation_state":"computed","paper":{"title":"Verifiably Safe Off-Model Reinforcement Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andre Platzer, Nathan Fulton","submitted_at":"2019-02-14T22:36:54Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1902.05632","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-02-14T22:36:54Z","cross_cats_sorted":[],"title_canon_sha256":"56b15c7f09557c4f34dff082570c609bb9840a5f7ce1c3f0bdc57c91cbd33b4e","abstract_canon_sha256":"7782053f6e063a07951838e47562ac427a3da21922d17ea2e11f3f1d38792021"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:21.628944Z","signature_b64":"RFLTebWkv+B8iw/o0cGnJEVglPBWCKjOzBsU3a/CixA6tmH/lyZkF7tlf8VIaN+QZuMA8icJgceBnNV4kmikAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb0ded542875c2a80b66b298c7492a84550b31f96e2f7d4e97850e6395acb555","last_reissued_at":"2026-05-17T23:44:21.628211Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:21.628211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifiably Safe Off-Model Reinforcement Learning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andre Platzer, Nathan Fulton","submitted_at":"2019-02-14T22:36:54Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.05632","kind":"arxiv","version":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1902.05632","created_at":"2026-05-17T23:44:21.628337+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.05632v1","created_at":"2026-05-17T23:44:21.628337+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.05632","created_at":"2026-05-17T23:44:21.628337+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZMG62VBIOXBK","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZMG62VBIOXBKQC3G","created_at":"2026-05-18T12:33:33.725879+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZMG62VBI","created_at":"2026-05-18T12:33:33.725879+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR","json":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR.json","graph_json":"https://pith.science/api/pith-number/ZMG62VBIOXBKQC3GWKMMOSJKQR/graph.json","events_json":"https://pith.science/api/pith-number/ZMG62VBIOXBKQC3GWKMMOSJKQR/events.json","paper":"https://pith.science/paper/ZMG62VBI"},"agent_actions":{"view_html":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR","download_json":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR.json","view_paper":"https://pith.science/paper/ZMG62VBI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.05632&json=true","fetch_graph":"https://pith.science/api/pith-number/ZMG62VBIOXBKQC3GWKMMOSJKQR/graph.json","fetch_events":"https://pith.science/api/pith-number/ZMG62VBIOXBKQC3GWKMMOSJKQR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR/action/storage_attestation","attest_author":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR/action/author_attestation","sign_citation":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR/action/citation_signature","submit_replication":"https://pith.science/pith/ZMG62VBIOXBKQC3GWKMMOSJKQR/action/replication_record"}},"created_at":"2026-05-17T23:44:21.628337+00:00","updated_at":"2026-05-17T23:44:21.628337+00:00"}