{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3OSCP2NA6XXZ7TXJ4LVPY2QQWU","short_pith_number":"pith:3OSCP2NA","canonical_record":{"source":{"id":"2506.03469","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-04T00:54:01Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"d6c489e6bcfa7547a0caa32a03363d46953a4a8216ed6d8571ee6b7f6a990876","abstract_canon_sha256":"70f2d0c3ed0f210f49cfabb8db6638d39613b4d392787ead65799e8e39949326"},"schema_version":"1.0"},"canonical_sha256":"dba427e9a0f5ef9fcee9e2eafc6a10b51a4c176432b20bfed13ac51dbfa46940","source":{"kind":"arxiv","id":"2506.03469","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03469","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03469v1","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03469","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_12","alias_value":"3OSCP2NA6XXZ","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_16","alias_value":"3OSCP2NA6XXZ7TXJ","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_8","alias_value":"3OSCP2NA","created_at":"2026-07-05T11:15:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3OSCP2NA6XXZ7TXJ4LVPY2QQWU","target":"record","payload":{"canonical_record":{"source":{"id":"2506.03469","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-04T00:54:01Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"d6c489e6bcfa7547a0caa32a03363d46953a4a8216ed6d8571ee6b7f6a990876","abstract_canon_sha256":"70f2d0c3ed0f210f49cfabb8db6638d39613b4d392787ead65799e8e39949326"},"schema_version":"1.0"},"canonical_sha256":"dba427e9a0f5ef9fcee9e2eafc6a10b51a4c176432b20bfed13ac51dbfa46940","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:28.004547Z","signature_b64":"XLMPDXpvtqkPupJxGvei8OVTCuJZ9tx+Jnb7VYr5kwYHOvWxNrkI06zGGDbwcY8OcYCHjgB8bEOj7bLrLu1MAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dba427e9a0f5ef9fcee9e2eafc6a10b51a4c176432b20bfed13ac51dbfa46940","last_reissued_at":"2026-07-05T11:15:28.004073Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:28.004073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.03469","source_version":1,"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-05T11:15:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"knlWKC2SdYIzlt43df56taUX+7OZPE0/NB9rxJGIoftALvtnAGu+BA5uRCWip4+J9+alq55e30AkBbBGRENvAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:56:28.195648Z"},"content_sha256":"ab664f4aff6e87b2e310aee7557744ee049bcbfe99d021367a57ed78791156d1","schema_version":"1.0","event_id":"sha256:ab664f4aff6e87b2e310aee7557744ee049bcbfe99d021367a57ed78791156d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3OSCP2NA6XXZ7TXJ4LVPY2QQWU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Debashis Gupta, Risal Shefin, Sarra Alqahtani, Thai Le, Tuan Le","submitted_at":"2025-06-04T00:54:01Z","abstract_excerpt":"Ensuring the safety of reinforcement learning (RL) policies in high-stakes environments requires not only formal verification but also interpretability and targeted falsification. While model checking provides formal guarantees, its effectiveness is limited by abstraction quality and the completeness of the underlying trajectory dataset. We propose a hybrid framework that integrates (1) explainability, (2) model checking, and (3) risk-guided falsification to achieve both rigor and coverage. Our approach begins by constructing a human-interpretable abstraction of the RL policy using Comprehensi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03469","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.03469/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-05T11:15:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z5kmJt5snGtCXUvRhM49WCW645HXzptruoxqlA6BMXj+9EYQy7pUlHm4c12sjcba0h1yepsy8pIg1UCuyabfAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:56:28.196218Z"},"content_sha256":"75636233d1302021d124acc68de75dc94f797964d50999ba493585983cc22203","schema_version":"1.0","event_id":"sha256:75636233d1302021d124acc68de75dc94f797964d50999ba493585983cc22203"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/bundle.json","state_url":"https://pith.science/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/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-08T20:56:28Z","links":{"resolver":"https://pith.science/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU","bundle":"https://pith.science/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/bundle.json","state":"https://pith.science/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3OSCP2NA6XXZ7TXJ4LVPY2QQWU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3OSCP2NA6XXZ7TXJ4LVPY2QQWU","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":"70f2d0c3ed0f210f49cfabb8db6638d39613b4d392787ead65799e8e39949326","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-04T00:54:01Z","title_canon_sha256":"d6c489e6bcfa7547a0caa32a03363d46953a4a8216ed6d8571ee6b7f6a990876"},"schema_version":"1.0","source":{"id":"2506.03469","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03469","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03469v1","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03469","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_12","alias_value":"3OSCP2NA6XXZ","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_16","alias_value":"3OSCP2NA6XXZ7TXJ","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_8","alias_value":"3OSCP2NA","created_at":"2026-07-05T11:15:28Z"}],"graph_snapshots":[{"event_id":"sha256:75636233d1302021d124acc68de75dc94f797964d50999ba493585983cc22203","target":"graph","created_at":"2026-07-05T11:15:28Z","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/2506.03469/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring the safety of reinforcement learning (RL) policies in high-stakes environments requires not only formal verification but also interpretability and targeted falsification. While model checking provides formal guarantees, its effectiveness is limited by abstraction quality and the completeness of the underlying trajectory dataset. We propose a hybrid framework that integrates (1) explainability, (2) model checking, and (3) risk-guided falsification to achieve both rigor and coverage. Our approach begins by constructing a human-interpretable abstraction of the RL policy using Comprehensi","authors_text":"Debashis Gupta, Risal Shefin, Sarra Alqahtani, Thai Le, Tuan Le","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-04T00:54:01Z","title":"Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03469","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:ab664f4aff6e87b2e310aee7557744ee049bcbfe99d021367a57ed78791156d1","target":"record","created_at":"2026-07-05T11:15:28Z","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":"70f2d0c3ed0f210f49cfabb8db6638d39613b4d392787ead65799e8e39949326","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-04T00:54:01Z","title_canon_sha256":"d6c489e6bcfa7547a0caa32a03363d46953a4a8216ed6d8571ee6b7f6a990876"},"schema_version":"1.0","source":{"id":"2506.03469","kind":"arxiv","version":1}},"canonical_sha256":"dba427e9a0f5ef9fcee9e2eafc6a10b51a4c176432b20bfed13ac51dbfa46940","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dba427e9a0f5ef9fcee9e2eafc6a10b51a4c176432b20bfed13ac51dbfa46940","first_computed_at":"2026-07-05T11:15:28.004073Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:28.004073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XLMPDXpvtqkPupJxGvei8OVTCuJZ9tx+Jnb7VYr5kwYHOvWxNrkI06zGGDbwcY8OcYCHjgB8bEOj7bLrLu1MAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:28.004547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.03469","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab664f4aff6e87b2e310aee7557744ee049bcbfe99d021367a57ed78791156d1","sha256:75636233d1302021d124acc68de75dc94f797964d50999ba493585983cc22203"],"state_sha256":"2cfc64a724379f6a201d24b0d6a1e90f7a88581e010d4990fc9c0054858f0602"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7efJyepPD+DjV5LXk0ENeyafhVWdgl5TaDI71ZXa/YsWnC5XUxKpAMPbAm/jA8xDslRuWSo2FNnfHi8DuRYrDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:56:28.200705Z","bundle_sha256":"67da6c02aa598774e2c2d05360aab5c3113c1590f9f8105f24882fdd9f31a65c"}}