{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:JGKN62C5ATGDN3JTB45ZARINFV","short_pith_number":"pith:JGKN62C5","canonical_record":{"source":{"id":"2403.19332","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-28T11:46:55Z","cross_cats_sorted":[],"title_canon_sha256":"bdaf2425099048dfeb748a15e30d2ad04d741dc1a1c29a40117188f620db500e","abstract_canon_sha256":"0fdb77ea8f642abcb697d067a6d11ee011801f2d2471287e5f11d3b3c8d275e7"},"schema_version":"1.0"},"canonical_sha256":"4994df685d04cc36ed330f3b90450d2d5b31a8cdc4c8a668355cbca5541196e8","source":{"kind":"arxiv","id":"2403.19332","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.19332","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"arxiv_version","alias_value":"2403.19332v1","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.19332","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_12","alias_value":"JGKN62C5ATGD","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_16","alias_value":"JGKN62C5ATGDN3JT","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_8","alias_value":"JGKN62C5","created_at":"2026-07-05T08:01:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:JGKN62C5ATGDN3JTB45ZARINFV","target":"record","payload":{"canonical_record":{"source":{"id":"2403.19332","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-28T11:46:55Z","cross_cats_sorted":[],"title_canon_sha256":"bdaf2425099048dfeb748a15e30d2ad04d741dc1a1c29a40117188f620db500e","abstract_canon_sha256":"0fdb77ea8f642abcb697d067a6d11ee011801f2d2471287e5f11d3b3c8d275e7"},"schema_version":"1.0"},"canonical_sha256":"4994df685d04cc36ed330f3b90450d2d5b31a8cdc4c8a668355cbca5541196e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:01:47.713834Z","signature_b64":"hAdPsaSB4NqaRgYKLreaHgGKenUjsraWYi3ETgDHNQV4QVRxhJobzRmFzrLyPviZRGgQ77m7Y+/KQBydo3I4Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4994df685d04cc36ed330f3b90450d2d5b31a8cdc4c8a668355cbca5541196e8","last_reissued_at":"2026-07-05T08:01:47.713421Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:01:47.713421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.19332","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-05T08:01:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uNbmuw4r0jDSqVAsrHSf7mvF0LxNt3VhghScwZsS4zxX0aWVQbDWWnmEhDNThte4IOTxCPEJ6uBsmFEaXOw2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T18:05:30.340333Z"},"content_sha256":"6e59303caf868bcfa8f16d15aeefdb5705aaa36361a3d01ecd7aa9d393be35c0","schema_version":"1.0","event_id":"sha256:6e59303caf868bcfa8f16d15aeefdb5705aaa36361a3d01ecd7aa9d393be35c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:JGKN62C5ATGDN3JTB45ZARINFV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning a Formally Verified Control Barrier Function in Stochastic Environment","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Andrew Clark, Hongchao Zhang, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","submitted_at":"2024-03-28T11:46:55Z","abstract_excerpt":"Safety is a fundamental requirement of control systems. Control Barrier Functions (CBFs) are proposed to ensure the safety of the control system by constructing safety filters or synthesizing control inputs. However, the safety guarantee and performance of safe controllers rely on the construction of valid CBFs. Inspired by universal approximatability, CBFs are represented by neural networks, known as neural CBFs (NCBFs). This paper presents an algorithm for synthesizing formally verified continuous-time neural Control Barrier Functions in stochastic environments in a single step. The proposed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.19332","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/2403.19332/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-05T08:01:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4bLoohx5zR8zp/tXzp76/wEaFCPdjA07Y+ztiRPD7aziCXP3WhSxC8AL3z6HAa475A9hxDjlr5aichEzPZoyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T18:05:30.340864Z"},"content_sha256":"b0037858561e9a7024c8e65bf69be4e5e4ffbe72df344f005d5e6eb72cb46ffa","schema_version":"1.0","event_id":"sha256:b0037858561e9a7024c8e65bf69be4e5e4ffbe72df344f005d5e6eb72cb46ffa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JGKN62C5ATGDN3JTB45ZARINFV/bundle.json","state_url":"https://pith.science/pith/JGKN62C5ATGDN3JTB45ZARINFV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JGKN62C5ATGDN3JTB45ZARINFV/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-09T18:05:30Z","links":{"resolver":"https://pith.science/pith/JGKN62C5ATGDN3JTB45ZARINFV","bundle":"https://pith.science/pith/JGKN62C5ATGDN3JTB45ZARINFV/bundle.json","state":"https://pith.science/pith/JGKN62C5ATGDN3JTB45ZARINFV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JGKN62C5ATGDN3JTB45ZARINFV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JGKN62C5ATGDN3JTB45ZARINFV","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":"0fdb77ea8f642abcb697d067a6d11ee011801f2d2471287e5f11d3b3c8d275e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-28T11:46:55Z","title_canon_sha256":"bdaf2425099048dfeb748a15e30d2ad04d741dc1a1c29a40117188f620db500e"},"schema_version":"1.0","source":{"id":"2403.19332","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.19332","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"arxiv_version","alias_value":"2403.19332v1","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.19332","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_12","alias_value":"JGKN62C5ATGD","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_16","alias_value":"JGKN62C5ATGDN3JT","created_at":"2026-07-05T08:01:47Z"},{"alias_kind":"pith_short_8","alias_value":"JGKN62C5","created_at":"2026-07-05T08:01:47Z"}],"graph_snapshots":[{"event_id":"sha256:b0037858561e9a7024c8e65bf69be4e5e4ffbe72df344f005d5e6eb72cb46ffa","target":"graph","created_at":"2026-07-05T08:01:47Z","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/2403.19332/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety is a fundamental requirement of control systems. Control Barrier Functions (CBFs) are proposed to ensure the safety of the control system by constructing safety filters or synthesizing control inputs. However, the safety guarantee and performance of safe controllers rely on the construction of valid CBFs. Inspired by universal approximatability, CBFs are represented by neural networks, known as neural CBFs (NCBFs). This paper presents an algorithm for synthesizing formally verified continuous-time neural Control Barrier Functions in stochastic environments in a single step. The proposed","authors_text":"Andrew Clark, Hongchao Zhang, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-28T11:46:55Z","title":"Learning a Formally Verified Control Barrier Function in Stochastic Environment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.19332","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:6e59303caf868bcfa8f16d15aeefdb5705aaa36361a3d01ecd7aa9d393be35c0","target":"record","created_at":"2026-07-05T08:01:47Z","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":"0fdb77ea8f642abcb697d067a6d11ee011801f2d2471287e5f11d3b3c8d275e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-28T11:46:55Z","title_canon_sha256":"bdaf2425099048dfeb748a15e30d2ad04d741dc1a1c29a40117188f620db500e"},"schema_version":"1.0","source":{"id":"2403.19332","kind":"arxiv","version":1}},"canonical_sha256":"4994df685d04cc36ed330f3b90450d2d5b31a8cdc4c8a668355cbca5541196e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4994df685d04cc36ed330f3b90450d2d5b31a8cdc4c8a668355cbca5541196e8","first_computed_at":"2026-07-05T08:01:47.713421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:01:47.713421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hAdPsaSB4NqaRgYKLreaHgGKenUjsraWYi3ETgDHNQV4QVRxhJobzRmFzrLyPviZRGgQ77m7Y+/KQBydo3I4Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:01:47.713834Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.19332","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e59303caf868bcfa8f16d15aeefdb5705aaa36361a3d01ecd7aa9d393be35c0","sha256:b0037858561e9a7024c8e65bf69be4e5e4ffbe72df344f005d5e6eb72cb46ffa"],"state_sha256":"0393aafee759555d88a96dc3adf42d69523be312a7584eab53b8e5b3cd38cedc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LgKo52NQ3YYFNpWgUvF8aTAjDMn2wtWt9PShiPhwxnhBNnteRWMmJXd9LZlqgXu+jmfPVjPwfPLNwLGyUaicCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T18:05:30.344077Z","bundle_sha256":"a3e2eb0182c66c15015950754394b1c768bc283a7c5e93c34032a41cbbf82140"}}