{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:63F6IZ2QFSL6Q5BGYMEHV7H3X3","short_pith_number":"pith:63F6IZ2Q","canonical_record":{"source":{"id":"2504.16879","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T16:54:35Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"1caa9e7a45e6dc31fdd82b4251bb665bea5c368649d66360620e03b21bcf2548","abstract_canon_sha256":"bc72cad1e272cd90dd429ebfe7ed97318a7fde3250f460f16428f9e1e6e595c8"},"schema_version":"1.0"},"canonical_sha256":"f6cbe467502c97e87426c3087afcfbbec684164dc992915b09dd7b34c9d3fa7e","source":{"kind":"arxiv","id":"2504.16879","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16879","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16879v1","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16879","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_12","alias_value":"63F6IZ2QFSL6","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_16","alias_value":"63F6IZ2QFSL6Q5BG","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_8","alias_value":"63F6IZ2Q","created_at":"2026-07-05T10:53:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:63F6IZ2QFSL6Q5BGYMEHV7H3X3","target":"record","payload":{"canonical_record":{"source":{"id":"2504.16879","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T16:54:35Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"1caa9e7a45e6dc31fdd82b4251bb665bea5c368649d66360620e03b21bcf2548","abstract_canon_sha256":"bc72cad1e272cd90dd429ebfe7ed97318a7fde3250f460f16428f9e1e6e595c8"},"schema_version":"1.0"},"canonical_sha256":"f6cbe467502c97e87426c3087afcfbbec684164dc992915b09dd7b34c9d3fa7e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:53:05.798615Z","signature_b64":"alIdN74hYwwLVD4ToyOmm2G11fuf8Avuu1ItcAjinmI5G12i7mwYiAQFolxQQO9tPJmYEn6wGd1Qm2gA1XIoAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6cbe467502c97e87426c3087afcfbbec684164dc992915b09dd7b34c9d3fa7e","last_reissued_at":"2026-07-05T10:53:05.798078Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:53:05.798078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.16879","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-05T10:53:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gF52hOM5h8izpfxXeCNEhdzUBP1JEH4VREQXire7AvchS9NudM/KWRtLJA3/+h/QxKisfn8ZQyACWX21YLCjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T00:42:42.368338Z"},"content_sha256":"2d843ee1327c7157a29b881b2bb73a259951cdc2da8ee2836034b38fcd169ce3","schema_version":"1.0","event_id":"sha256:2d843ee1327c7157a29b881b2bb73a259951cdc2da8ee2836034b38fcd169ce3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:63F6IZ2QFSL6Q5BGYMEHV7H3X3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Verifiable Control Policies Using Relaxed Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Alexander Estornell, Michael Everett, Puja Chaudhury","submitted_at":"2025-04-23T16:54:35Z","abstract_excerpt":"To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy does not meet the specifications, or there is conservatism in the verification algorithm, establishing these guarantees may not be possible. Instead, this work proposes to perform verification throughout training to ultimately aim for policies whose properties can be evaluated throughout runtime with lightweight, relaxed verification algorithms. The approach is to use differentiable reachability analysis and incorpor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16879","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/2504.16879/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-05T10:53:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SezELtzlUckbDskCH99BZuin6Nia7s6lTjw2Xa+ejOeg5JmPr8Rjrvb4dPdqE3lt/YA0AOpzawpLNr0ubMOUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T00:42:42.369396Z"},"content_sha256":"6709ca5b5ac4b7f170887b8d7238bba8c27217e582fdfdb4d054687258ac8cb5","schema_version":"1.0","event_id":"sha256:6709ca5b5ac4b7f170887b8d7238bba8c27217e582fdfdb4d054687258ac8cb5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/bundle.json","state_url":"https://pith.science/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/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-18T00:42:42Z","links":{"resolver":"https://pith.science/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3","bundle":"https://pith.science/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/bundle.json","state":"https://pith.science/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/63F6IZ2QFSL6Q5BGYMEHV7H3X3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:63F6IZ2QFSL6Q5BGYMEHV7H3X3","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":"bc72cad1e272cd90dd429ebfe7ed97318a7fde3250f460f16428f9e1e6e595c8","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T16:54:35Z","title_canon_sha256":"1caa9e7a45e6dc31fdd82b4251bb665bea5c368649d66360620e03b21bcf2548"},"schema_version":"1.0","source":{"id":"2504.16879","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16879","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16879v1","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16879","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_12","alias_value":"63F6IZ2QFSL6","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_16","alias_value":"63F6IZ2QFSL6Q5BG","created_at":"2026-07-05T10:53:05Z"},{"alias_kind":"pith_short_8","alias_value":"63F6IZ2Q","created_at":"2026-07-05T10:53:05Z"}],"graph_snapshots":[{"event_id":"sha256:6709ca5b5ac4b7f170887b8d7238bba8c27217e582fdfdb4d054687258ac8cb5","target":"graph","created_at":"2026-07-05T10:53:05Z","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/2504.16879/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy does not meet the specifications, or there is conservatism in the verification algorithm, establishing these guarantees may not be possible. Instead, this work proposes to perform verification throughout training to ultimately aim for policies whose properties can be evaluated throughout runtime with lightweight, relaxed verification algorithms. The approach is to use differentiable reachability analysis and incorpor","authors_text":"Alexander Estornell, Michael Everett, Puja Chaudhury","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T16:54:35Z","title":"Learning Verifiable Control Policies Using Relaxed Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16879","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:2d843ee1327c7157a29b881b2bb73a259951cdc2da8ee2836034b38fcd169ce3","target":"record","created_at":"2026-07-05T10:53:05Z","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":"bc72cad1e272cd90dd429ebfe7ed97318a7fde3250f460f16428f9e1e6e595c8","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-04-23T16:54:35Z","title_canon_sha256":"1caa9e7a45e6dc31fdd82b4251bb665bea5c368649d66360620e03b21bcf2548"},"schema_version":"1.0","source":{"id":"2504.16879","kind":"arxiv","version":1}},"canonical_sha256":"f6cbe467502c97e87426c3087afcfbbec684164dc992915b09dd7b34c9d3fa7e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f6cbe467502c97e87426c3087afcfbbec684164dc992915b09dd7b34c9d3fa7e","first_computed_at":"2026-07-05T10:53:05.798078Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:53:05.798078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"alIdN74hYwwLVD4ToyOmm2G11fuf8Avuu1ItcAjinmI5G12i7mwYiAQFolxQQO9tPJmYEn6wGd1Qm2gA1XIoAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:53:05.798615Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.16879","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d843ee1327c7157a29b881b2bb73a259951cdc2da8ee2836034b38fcd169ce3","sha256:6709ca5b5ac4b7f170887b8d7238bba8c27217e582fdfdb4d054687258ac8cb5"],"state_sha256":"b91e0db334859110ba8186c8672665425e3e0014e8528689d04d64aeedc42776"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sVngfyQctzXtjaQ55h98V17Qn8bP/8Li870dd7lHocU/xHk/yWZ0dfSRjuKwwGdoHlS7sdJ1s4H7oHE+YKanAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T00:42:42.385340Z","bundle_sha256":"d29b2e7cd39a33fb6fadcaa5c70e996e503611ee9f8910cf2dc6df602ada9f96"}}