{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6T453XTWAWYVQB6MIRYY4VRVFQ","short_pith_number":"pith:6T453XTW","canonical_record":{"source":{"id":"2510.03520","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-03T21:24:41Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"33de4708d94978572fef2c8605e8ad4d48d5cb416cbf648b1091e8693e85ec00","abstract_canon_sha256":"7f8750398c8fe2759293f1123cb02f167ae13515825a4647ddc4dd1d96c1e0ca"},"schema_version":"1.0"},"canonical_sha256":"f4f9ddde7605b15807cc44718e56352c1e09eca65a54ec77d2d3fd2c60743bb0","source":{"kind":"arxiv","id":"2510.03520","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.03520","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"arxiv_version","alias_value":"2510.03520v2","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.03520","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_12","alias_value":"6T453XTWAWYV","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_16","alias_value":"6T453XTWAWYVQB6M","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_8","alias_value":"6T453XTW","created_at":"2026-06-11T01:10:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6T453XTWAWYVQB6MIRYY4VRVFQ","target":"record","payload":{"canonical_record":{"source":{"id":"2510.03520","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-03T21:24:41Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"33de4708d94978572fef2c8605e8ad4d48d5cb416cbf648b1091e8693e85ec00","abstract_canon_sha256":"7f8750398c8fe2759293f1123cb02f167ae13515825a4647ddc4dd1d96c1e0ca"},"schema_version":"1.0"},"canonical_sha256":"f4f9ddde7605b15807cc44718e56352c1e09eca65a54ec77d2d3fd2c60743bb0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T01:10:28.824824Z","signature_b64":"eGxXdkz9iQvpJmHiRdAxyxAPY7kiDHnkhJJRJ28lIECrYr+3kVQjROVOYmXZ5dYTItaS2OKvesqrzh74wcQjAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4f9ddde7605b15807cc44718e56352c1e09eca65a54ec77d2d3fd2c60743bb0","last_reissued_at":"2026-06-11T01:10:28.823727Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T01:10:28.823727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.03520","source_version":2,"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-06-11T01:10:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SIhZTy2yqQG8Ettm1c97irbNtpzBScjz7sNIsncXjK95McLu1zn7RIg/HGTBTjwWOilihV5Sl1rbjnK7hy2pBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T10:29:01.691882Z"},"content_sha256":"338d6151642147de51effa28d6bfc960cd67485518dcb14809691ca1184c3797","schema_version":"1.0","event_id":"sha256:338d6151642147de51effa28d6bfc960cd67485518dcb14809691ca1184c3797"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6T453XTWAWYVQB6MIRYY4VRVFQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certifiable Safe RLHF: Semantic Grounding and Fixed Penalty Constraint Optimization for Safer LLM Alignment","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Arnesh Banerjee, Arnob Ghosh, Kartik Pandit, Shaahin Angizi, Sourav Ganguly","submitted_at":"2025-10-03T21:24:41Z","abstract_excerpt":"Ensuring safety is a foundational requirement for large language models (LLMs). Achieving an appropriate balance between enhancing the utility of model outputs and mitigating their potential for harm is a complex and persistent challenge. Contemporary approaches frequently formalize this problem within the framework of Constrained Markov Decision Processes (CMDPs) and employ established CMDP optimization techniques. However, these methods exhibit two notable limitations. First, their reliance on reward and cost functions renders performance highly sensitive to the underlying scoring mechanism,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.03520","kind":"arxiv","version":2},"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/2510.03520/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-06-11T01:10:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/sCaiEDjNTJpg8tVhnMTe9fyHmRLOe/WZHqxojJtsis77T61TQ4W2d1NiQ8U61oVDr3fgjR9k0lDheAqnxFFCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T10:29:01.692262Z"},"content_sha256":"bf36ba5c17c75de0d4b9097d085feb7f3da089aa7c42a31f09f70baf15e1e4f4","schema_version":"1.0","event_id":"sha256:bf36ba5c17c75de0d4b9097d085feb7f3da089aa7c42a31f09f70baf15e1e4f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/bundle.json","state_url":"https://pith.science/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/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-07-04T10:29:01Z","links":{"resolver":"https://pith.science/pith/6T453XTWAWYVQB6MIRYY4VRVFQ","bundle":"https://pith.science/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/bundle.json","state":"https://pith.science/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6T453XTWAWYVQB6MIRYY4VRVFQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6T453XTWAWYVQB6MIRYY4VRVFQ","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":"7f8750398c8fe2759293f1123cb02f167ae13515825a4647ddc4dd1d96c1e0ca","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-03T21:24:41Z","title_canon_sha256":"33de4708d94978572fef2c8605e8ad4d48d5cb416cbf648b1091e8693e85ec00"},"schema_version":"1.0","source":{"id":"2510.03520","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.03520","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"arxiv_version","alias_value":"2510.03520v2","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.03520","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_12","alias_value":"6T453XTWAWYV","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_16","alias_value":"6T453XTWAWYVQB6M","created_at":"2026-06-11T01:10:28Z"},{"alias_kind":"pith_short_8","alias_value":"6T453XTW","created_at":"2026-06-11T01:10:28Z"}],"graph_snapshots":[{"event_id":"sha256:bf36ba5c17c75de0d4b9097d085feb7f3da089aa7c42a31f09f70baf15e1e4f4","target":"graph","created_at":"2026-06-11T01:10: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/2510.03520/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring safety is a foundational requirement for large language models (LLMs). Achieving an appropriate balance between enhancing the utility of model outputs and mitigating their potential for harm is a complex and persistent challenge. Contemporary approaches frequently formalize this problem within the framework of Constrained Markov Decision Processes (CMDPs) and employ established CMDP optimization techniques. However, these methods exhibit two notable limitations. First, their reliance on reward and cost functions renders performance highly sensitive to the underlying scoring mechanism,","authors_text":"Arnesh Banerjee, Arnob Ghosh, Kartik Pandit, Shaahin Angizi, Sourav Ganguly","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-03T21:24:41Z","title":"Certifiable Safe RLHF: Semantic Grounding and Fixed Penalty Constraint Optimization for Safer LLM Alignment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.03520","kind":"arxiv","version":2},"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:338d6151642147de51effa28d6bfc960cd67485518dcb14809691ca1184c3797","target":"record","created_at":"2026-06-11T01:10: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":"7f8750398c8fe2759293f1123cb02f167ae13515825a4647ddc4dd1d96c1e0ca","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-10-03T21:24:41Z","title_canon_sha256":"33de4708d94978572fef2c8605e8ad4d48d5cb416cbf648b1091e8693e85ec00"},"schema_version":"1.0","source":{"id":"2510.03520","kind":"arxiv","version":2}},"canonical_sha256":"f4f9ddde7605b15807cc44718e56352c1e09eca65a54ec77d2d3fd2c60743bb0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4f9ddde7605b15807cc44718e56352c1e09eca65a54ec77d2d3fd2c60743bb0","first_computed_at":"2026-06-11T01:10:28.823727Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:10:28.823727Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eGxXdkz9iQvpJmHiRdAxyxAPY7kiDHnkhJJRJ28lIECrYr+3kVQjROVOYmXZ5dYTItaS2OKvesqrzh74wcQjAA==","signature_status":"signed_v1","signed_at":"2026-06-11T01:10:28.824824Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.03520","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:338d6151642147de51effa28d6bfc960cd67485518dcb14809691ca1184c3797","sha256:bf36ba5c17c75de0d4b9097d085feb7f3da089aa7c42a31f09f70baf15e1e4f4"],"state_sha256":"3a7b813db63cd7150e448ca2b7f0b79794ea424dbedde4d924edbaf6c457d0e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7wdkWgvNnjeNcWdsvo50CWeg0gDDeIfDlNXaP0UNoxLaUhtb3dgPTgO7ioYJKyXbdZL0VnftW/3KFG73hMaZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T10:29:01.694302Z","bundle_sha256":"b2a2e0af1a103604bee06ea0c3877463d2d00990972470e343977572fcda58ad"}}