{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VPA6R3OO3YREJ4UEJJ3HPYPSO6","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":"72918109d4da7131ab4f8b9e45ddec78e4fd46b911d19d834654d96e39d5d66a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T12:36:43Z","title_canon_sha256":"dad5abfc2546b0f2b69c8ef3f81fd655ea09a1a7cd9f3e207dcf0fd1c847173b"},"schema_version":"1.0","source":{"id":"2606.04812","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.04812","created_at":"2026-06-04T01:09:30Z"},{"alias_kind":"arxiv_version","alias_value":"2606.04812v1","created_at":"2026-06-04T01:09:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.04812","created_at":"2026-06-04T01:09:30Z"},{"alias_kind":"pith_short_12","alias_value":"VPA6R3OO3YRE","created_at":"2026-06-04T01:09:30Z"},{"alias_kind":"pith_short_16","alias_value":"VPA6R3OO3YREJ4UE","created_at":"2026-06-04T01:09:30Z"},{"alias_kind":"pith_short_8","alias_value":"VPA6R3OO","created_at":"2026-06-04T01:09:30Z"}],"graph_snapshots":[{"event_id":"sha256:a9f0016833baf6120f910be5b641d5f4cbd42817fc9ef8a75df3ecff74103fbb","target":"graph","created_at":"2026-06-04T01:09:30Z","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/2606.04812/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Guaranteeing safety is critical to the deployment of reinforcement learning (RL) agents in the real-world, especially as policies learned using deep RL may demonstrate susceptibility to transition perturbations that result in unknown or unsafe behaviour. A method of policy verification is to construct probabilistic barrier-certificates by sampling policy trajectories with respect to safety constraints, thereby demarcating known safe behaviour from unknown behaviour. Obtaining tight upper and lower bounds on the probability of violation of these constraints may be difficult if the policy is sus","authors_text":"Arvind Easwaran, Mohit Prashant","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T12:36:43Z","title":"Scenario Generation for Risk-Aware Reinforcement Learning with Probably Approximately Safe Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.04812","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:c82a6959caeecbf62b386c77410997620c71292e7bff6be0d98566711c0c3a22","target":"record","created_at":"2026-06-04T01:09:30Z","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":"72918109d4da7131ab4f8b9e45ddec78e4fd46b911d19d834654d96e39d5d66a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-03T12:36:43Z","title_canon_sha256":"dad5abfc2546b0f2b69c8ef3f81fd655ea09a1a7cd9f3e207dcf0fd1c847173b"},"schema_version":"1.0","source":{"id":"2606.04812","kind":"arxiv","version":1}},"canonical_sha256":"abc1e8edcede2244f2844a7677e1f277bd4f338ff3929fdc194491f03491bde1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abc1e8edcede2244f2844a7677e1f277bd4f338ff3929fdc194491f03491bde1","first_computed_at":"2026-06-04T01:09:30.958017Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T01:09:30.958017Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hDoLOt448/xH0OgsDwqWRtLSq8TS+xUz+PkBn7ER+GL4WZT/WSJ+bdGZwdIV9dZaKgK1RI3lH8ybT8TMEx0nCA==","signature_status":"signed_v1","signed_at":"2026-06-04T01:09:30.958732Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.04812","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c82a6959caeecbf62b386c77410997620c71292e7bff6be0d98566711c0c3a22","sha256:a9f0016833baf6120f910be5b641d5f4cbd42817fc9ef8a75df3ecff74103fbb"],"state_sha256":"cdf54a6961e84cfd2b95d2aaebdc6d04d98ede4fc600649180570c2adfacc5d0"}