{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NK7INRETUKXYME5U6ODFGWA7TF","short_pith_number":"pith:NK7INRET","canonical_record":{"source":{"id":"2507.15022","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-20T16:06:31Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"046a9c468f9d9e92e94ab284a0949f51f64005836710133cbec651b43d216f1d","abstract_canon_sha256":"e6a29fb1a986c9fe40cd3b509adcaa5211553fb48def25fef66bc7ef7e94b790"},"schema_version":"1.0"},"canonical_sha256":"6abe86c493a2af8613b4f38653581f995332173edbd27b953e6ede00843e74d2","source":{"kind":"arxiv","id":"2507.15022","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15022","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15022v1","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15022","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_12","alias_value":"NK7INRETUKXY","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_16","alias_value":"NK7INRETUKXYME5U","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_8","alias_value":"NK7INRET","created_at":"2026-07-05T11:40:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NK7INRETUKXYME5U6ODFGWA7TF","target":"record","payload":{"canonical_record":{"source":{"id":"2507.15022","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-20T16:06:31Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"046a9c468f9d9e92e94ab284a0949f51f64005836710133cbec651b43d216f1d","abstract_canon_sha256":"e6a29fb1a986c9fe40cd3b509adcaa5211553fb48def25fef66bc7ef7e94b790"},"schema_version":"1.0"},"canonical_sha256":"6abe86c493a2af8613b4f38653581f995332173edbd27b953e6ede00843e74d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:16.923719Z","signature_b64":"AykW9BLzI1Igf9YwIId/HkVqCqn/5baHqv6qfXmqmpW46H/SZfafxg9zyIAl2ujLGEQ2TjaPVwvJs0N0GjpMDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6abe86c493a2af8613b4f38653581f995332173edbd27b953e6ede00843e74d2","last_reissued_at":"2026-07-05T11:40:16.923228Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:16.923228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.15022","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:40:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NL07bnHdUoTviJ2V8bCrp/ZpAtOlkLYWWzI0ebt4gYBWREia+gcsk7rHFBow2NrncUIlAn1RkjFP0SyVFwlyCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:55:45.973009Z"},"content_sha256":"b8fc06e066c23ff719020336a055cb91e41b6b9b47f4ed7cadbb85621bab3f3b","schema_version":"1.0","event_id":"sha256:b8fc06e066c23ff719020336a055cb91e41b6b9b47f4ed7cadbb85621bab3f3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NK7INRETUKXYME5U6ODFGWA7TF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Kevin Dsouza, Ravi Prakash, Sumeadh MS","submitted_at":"2025-07-20T16:06:31Z","abstract_excerpt":"Among the promising approaches to enforce safety in control systems, learning Control Barrier Functions (CBFs) from expert demonstrations has emerged as an effective strategy. However, a critical challenge remains: verifying that the learned CBFs truly enforce safety across the entire state space. This is especially difficult when CBF is represented using neural networks (NCBFs). Several existing verification techniques attempt to address this problem including SMT-based solvers, mixed-integer programming (MIP), and interval or bound-propagation methods but these approaches often introduce loo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15022","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/2507.15022/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:40:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3GeBTBa+uYBpd1goZlsWvLPOr0SNY3UMnpt/TEa+7eKotn5UddQNWp/pg3pKyAu9mH1XUnYboVQTJYVSu2s0Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T04:55:45.973560Z"},"content_sha256":"bbdbf0f3ab8e66c083a23df7b4b9f409c67110e29544a82374ada8595c2e9bb0","schema_version":"1.0","event_id":"sha256:bbdbf0f3ab8e66c083a23df7b4b9f409c67110e29544a82374ada8595c2e9bb0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NK7INRETUKXYME5U6ODFGWA7TF/bundle.json","state_url":"https://pith.science/pith/NK7INRETUKXYME5U6ODFGWA7TF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NK7INRETUKXYME5U6ODFGWA7TF/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-08T04:55:45Z","links":{"resolver":"https://pith.science/pith/NK7INRETUKXYME5U6ODFGWA7TF","bundle":"https://pith.science/pith/NK7INRETUKXYME5U6ODFGWA7TF/bundle.json","state":"https://pith.science/pith/NK7INRETUKXYME5U6ODFGWA7TF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NK7INRETUKXYME5U6ODFGWA7TF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NK7INRETUKXYME5U6ODFGWA7TF","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":"e6a29fb1a986c9fe40cd3b509adcaa5211553fb48def25fef66bc7ef7e94b790","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-20T16:06:31Z","title_canon_sha256":"046a9c468f9d9e92e94ab284a0949f51f64005836710133cbec651b43d216f1d"},"schema_version":"1.0","source":{"id":"2507.15022","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15022","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15022v1","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15022","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_12","alias_value":"NK7INRETUKXY","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_16","alias_value":"NK7INRETUKXYME5U","created_at":"2026-07-05T11:40:16Z"},{"alias_kind":"pith_short_8","alias_value":"NK7INRET","created_at":"2026-07-05T11:40:16Z"}],"graph_snapshots":[{"event_id":"sha256:bbdbf0f3ab8e66c083a23df7b4b9f409c67110e29544a82374ada8595c2e9bb0","target":"graph","created_at":"2026-07-05T11:40:16Z","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/2507.15022/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Among the promising approaches to enforce safety in control systems, learning Control Barrier Functions (CBFs) from expert demonstrations has emerged as an effective strategy. However, a critical challenge remains: verifying that the learned CBFs truly enforce safety across the entire state space. This is especially difficult when CBF is represented using neural networks (NCBFs). Several existing verification techniques attempt to address this problem including SMT-based solvers, mixed-integer programming (MIP), and interval or bound-propagation methods but these approaches often introduce loo","authors_text":"Kevin Dsouza, Ravi Prakash, Sumeadh MS","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-20T16:06:31Z","title":"CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15022","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:b8fc06e066c23ff719020336a055cb91e41b6b9b47f4ed7cadbb85621bab3f3b","target":"record","created_at":"2026-07-05T11:40:16Z","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":"e6a29fb1a986c9fe40cd3b509adcaa5211553fb48def25fef66bc7ef7e94b790","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-20T16:06:31Z","title_canon_sha256":"046a9c468f9d9e92e94ab284a0949f51f64005836710133cbec651b43d216f1d"},"schema_version":"1.0","source":{"id":"2507.15022","kind":"arxiv","version":1}},"canonical_sha256":"6abe86c493a2af8613b4f38653581f995332173edbd27b953e6ede00843e74d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6abe86c493a2af8613b4f38653581f995332173edbd27b953e6ede00843e74d2","first_computed_at":"2026-07-05T11:40:16.923228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:40:16.923228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AykW9BLzI1Igf9YwIId/HkVqCqn/5baHqv6qfXmqmpW46H/SZfafxg9zyIAl2ujLGEQ2TjaPVwvJs0N0GjpMDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:40:16.923719Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.15022","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8fc06e066c23ff719020336a055cb91e41b6b9b47f4ed7cadbb85621bab3f3b","sha256:bbdbf0f3ab8e66c083a23df7b4b9f409c67110e29544a82374ada8595c2e9bb0"],"state_sha256":"1651bd45046017ef2cd8e1ed7c998b94775a10787ef44b6cbbcd5298097866e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YpSeEOv5xHW+4yperJkAQiKuPe9ZG/GrNWwQz9k6psn2tmoQMFyHz4mqQAiV+BWZO97wm0+yy7jLSnRKMrbwBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T04:55:45.978363Z","bundle_sha256":"f11462e4c44e1e3d113a237689afb0ace1d027e4e29941c6413c104163f16298"}}