{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:B5FAAKYFZLOONMKHSNLGX3OLRQ","short_pith_number":"pith:B5FAAKYF","canonical_record":{"source":{"id":"2506.21697","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-26T18:33:42Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"55380080f01ed3e5d04f82ad34040d5adaef6ea5772d852a50a026896e879120","abstract_canon_sha256":"be491dd57321f90c9d5719bb69da8debf26cbc5a9a43b702ed7623d484c67601"},"schema_version":"1.0"},"canonical_sha256":"0f4a002b05cadce6b14793566bedcb8c030ccd5bd5a594a2d376d46f4fd91bca","source":{"kind":"arxiv","id":"2506.21697","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.21697","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.21697v1","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.21697","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_12","alias_value":"B5FAAKYFZLOO","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"B5FAAKYFZLOONMKH","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"B5FAAKYF","created_at":"2026-07-05T11:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:B5FAAKYFZLOONMKHSNLGX3OLRQ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.21697","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-26T18:33:42Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"55380080f01ed3e5d04f82ad34040d5adaef6ea5772d852a50a026896e879120","abstract_canon_sha256":"be491dd57321f90c9d5719bb69da8debf26cbc5a9a43b702ed7623d484c67601"},"schema_version":"1.0"},"canonical_sha256":"0f4a002b05cadce6b14793566bedcb8c030ccd5bd5a594a2d376d46f4fd91bca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:27:59.658858Z","signature_b64":"IOkp0RdW1ALuZRzb8YAECurIsCWyh9/nbE/0fN3MdIZEUuQB++BZyl69LoJA7nyj6cjF1nDvM+Z76ScCsRMrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f4a002b05cadce6b14793566bedcb8c030ccd5bd5a594a2d376d46f4fd91bca","last_reissued_at":"2026-07-05T11:27:59.658295Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:27:59.658295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.21697","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:27:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JO2SlLfwI+T/CBb31KYVVv8msnffqwxhiQGNRrwJ4qdEQfb5aXV4/oBV0eTUgiA6ROX+qH8Jvzjd9wiCQGzMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T20:14:53.597458Z"},"content_sha256":"9120ea4904e32e1810678158b7f79e2503d94783fc2d44694cd448dcc8e90ec1","schema_version":"1.0","event_id":"sha256:9120ea4904e32e1810678158b7f79e2503d94783fc2d44694cd448dcc8e90ec1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:B5FAAKYFZLOONMKHSNLGX3OLRQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic Neural Control Barrier Functions","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew Clark, Hongchao Zhang, Jackson Cox, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","submitted_at":"2025-06-26T18:33:42Z","abstract_excerpt":"Control Barrier Functions (CBFs) are utilized to ensure the safety of control systems. CBFs act as safety filters in order to provide safety guarantees without compromising system performance. These safety guarantees rely on the construction of valid CBFs. Due to their complexity, CBFs can be represented by neural networks, known as neural CBFs (NCBFs). Existing works on the verification of the NCBF focus on the synthesis and verification of NCBFs in deterministic settings, leaving the stochastic NCBFs (SNCBFs) less studied. In this work, we propose a verifiably safe synthesis for SNCBFs. We c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.21697","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.21697/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:27:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GfmRA0YUlDE6Q9n0oNaYiUKkgHjmbTmLAFytjYhMQXqxrNxRL/Ic2SZKrL6DZYRWAgij5/UyKJ4+TTvQmiVVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T20:14:53.598144Z"},"content_sha256":"225823c453f8cdc4b4701bed5efc279923d0c2992d1c1c293559981e87510cca","schema_version":"1.0","event_id":"sha256:225823c453f8cdc4b4701bed5efc279923d0c2992d1c1c293559981e87510cca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/bundle.json","state_url":"https://pith.science/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/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-11T20:14:53Z","links":{"resolver":"https://pith.science/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ","bundle":"https://pith.science/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/bundle.json","state":"https://pith.science/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B5FAAKYFZLOONMKHSNLGX3OLRQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:B5FAAKYFZLOONMKHSNLGX3OLRQ","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":"be491dd57321f90c9d5719bb69da8debf26cbc5a9a43b702ed7623d484c67601","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-26T18:33:42Z","title_canon_sha256":"55380080f01ed3e5d04f82ad34040d5adaef6ea5772d852a50a026896e879120"},"schema_version":"1.0","source":{"id":"2506.21697","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.21697","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"arxiv_version","alias_value":"2506.21697v1","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.21697","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_12","alias_value":"B5FAAKYFZLOO","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"B5FAAKYFZLOONMKH","created_at":"2026-07-05T11:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"B5FAAKYF","created_at":"2026-07-05T11:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:225823c453f8cdc4b4701bed5efc279923d0c2992d1c1c293559981e87510cca","target":"graph","created_at":"2026-07-05T11:27:59Z","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.21697/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Control Barrier Functions (CBFs) are utilized to ensure the safety of control systems. CBFs act as safety filters in order to provide safety guarantees without compromising system performance. These safety guarantees rely on the construction of valid CBFs. Due to their complexity, CBFs can be represented by neural networks, known as neural CBFs (NCBFs). Existing works on the verification of the NCBF focus on the synthesis and verification of NCBFs in deterministic settings, leaving the stochastic NCBFs (SNCBFs) less studied. In this work, we propose a verifiably safe synthesis for SNCBFs. We c","authors_text":"Andrew Clark, Hongchao Zhang, Jackson Cox, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.21697","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:9120ea4904e32e1810678158b7f79e2503d94783fc2d44694cd448dcc8e90ec1","target":"record","created_at":"2026-07-05T11:27:59Z","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":"be491dd57321f90c9d5719bb69da8debf26cbc5a9a43b702ed7623d484c67601","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-26T18:33:42Z","title_canon_sha256":"55380080f01ed3e5d04f82ad34040d5adaef6ea5772d852a50a026896e879120"},"schema_version":"1.0","source":{"id":"2506.21697","kind":"arxiv","version":1}},"canonical_sha256":"0f4a002b05cadce6b14793566bedcb8c030ccd5bd5a594a2d376d46f4fd91bca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f4a002b05cadce6b14793566bedcb8c030ccd5bd5a594a2d376d46f4fd91bca","first_computed_at":"2026-07-05T11:27:59.658295Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:27:59.658295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IOkp0RdW1ALuZRzb8YAECurIsCWyh9/nbE/0fN3MdIZEUuQB++BZyl69LoJA7nyj6cjF1nDvM+Z76ScCsRMrDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:27:59.658858Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.21697","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9120ea4904e32e1810678158b7f79e2503d94783fc2d44694cd448dcc8e90ec1","sha256:225823c453f8cdc4b4701bed5efc279923d0c2992d1c1c293559981e87510cca"],"state_sha256":"892b625344cfdd1a153c088b3f303774967791a258ea7ede43cbde02603090f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rAbB8B7UifQ2iK30qco0l7c294cMvDQASLA1WgYkJ4nqiyyi2W+E6deTLGdQPUliak/wOA68uHlZf6+7RxzQAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T20:14:53.602870Z","bundle_sha256":"273a40e88054f88d4455d1c1eecdc0ef232e8bc35b2823c82be4f4854ef1553f"}}