{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RVGOSDJQZ4P2AOUJ6SRYPKED2G","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":"f664855f74bea0f29a65d1ddc8a6b56267d3d280a71618fe354be61a55e79fd0","cross_cats_sorted":["cs.LG","cs.LO","cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T08:30:03Z","title_canon_sha256":"98bd939593ddecb2c40cfd8205731717113bb2f9a8675add469d37ed896b3cde"},"schema_version":"1.0","source":{"id":"2505.22104","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22104","created_at":"2026-07-05T11:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22104v1","created_at":"2026-07-05T11:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22104","created_at":"2026-07-05T11:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"RVGOSDJQZ4P2","created_at":"2026-07-05T11:11:09Z"},{"alias_kind":"pith_short_16","alias_value":"RVGOSDJQZ4P2AOUJ","created_at":"2026-07-05T11:11:09Z"},{"alias_kind":"pith_short_8","alias_value":"RVGOSDJQ","created_at":"2026-07-05T11:11:09Z"}],"graph_snapshots":[{"event_id":"sha256:dd95be487eca48904a4ee0a6527ab397526a5c8046230746dc2c9e1f836c0c68","target":"graph","created_at":"2026-07-05T11:11:09Z","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/2505.22104/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Shielding has emerged as a promising approach for ensuring safety of AI-controlled autonomous systems. The algorithmic goal is to compute a shield, which is a runtime safety enforcement tool that needs to monitor and intervene the AI controller's actions if safety could be compromised otherwise. Traditional shields are designed statically for a specific safety requirement. Therefore, if the safety requirement changes at runtime due to changing operating conditions, the shield needs to be recomputed from scratch, causing delays that could be fatal. We introduce dynamic shields for parametric sa","authors_text":"Andoni Rodriguez, Cesar Sanchez, Davide Corsi, Kaushik Mallik","cross_cats":["cs.LG","cs.LO","cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T08:30:03Z","title":"Efficient Dynamic Shielding for Parametric Safety Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22104","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:1eaef14ed0481703e6731ef8c29e6de372521fc580fb661fae1096deb30a6cbb","target":"record","created_at":"2026-07-05T11:11:09Z","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":"f664855f74bea0f29a65d1ddc8a6b56267d3d280a71618fe354be61a55e79fd0","cross_cats_sorted":["cs.LG","cs.LO","cs.RO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-28T08:30:03Z","title_canon_sha256":"98bd939593ddecb2c40cfd8205731717113bb2f9a8675add469d37ed896b3cde"},"schema_version":"1.0","source":{"id":"2505.22104","kind":"arxiv","version":1}},"canonical_sha256":"8d4ce90d30cf1fa03a89f4a387a883d1b6522ffa99691a7775d49e581d987bb8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d4ce90d30cf1fa03a89f4a387a883d1b6522ffa99691a7775d49e581d987bb8","first_computed_at":"2026-07-05T11:11:09.988305Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:11:09.988305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R+4I7gwLXhwjGeZhDKtOOD7o/m7Q+mx1rkIQyffBdfSTzXVaQnfaq4rTiV49SvXl9+LjfVKfq43EQgmnQjYgDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:11:09.988803Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.22104","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1eaef14ed0481703e6731ef8c29e6de372521fc580fb661fae1096deb30a6cbb","sha256:dd95be487eca48904a4ee0a6527ab397526a5c8046230746dc2c9e1f836c0c68"],"state_sha256":"9f976214589527b5e2b160d529307c42f3812d4a9523a70addafb2ed140f3e68"}