{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:WKH6THR6MWXMFGH6AJMUIZU42G","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":"cf5e7003851b03350bc27d0e63fee094a0b90908f7eaf17b84b5579b0e9c3cdb","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-11-22T15:38:11Z","title_canon_sha256":"024fc5b50b908abd6c6b8e957658c99e0abf38342ee254bec5c2be13868c4e77"},"schema_version":"1.0","source":{"id":"2111.11277","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.11277","created_at":"2026-07-05T03:34:01Z"},{"alias_kind":"arxiv_version","alias_value":"2111.11277v1","created_at":"2026-07-05T03:34:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.11277","created_at":"2026-07-05T03:34:01Z"},{"alias_kind":"pith_short_12","alias_value":"WKH6THR6MWXM","created_at":"2026-07-05T03:34:01Z"},{"alias_kind":"pith_short_16","alias_value":"WKH6THR6MWXMFGH6","created_at":"2026-07-05T03:34:01Z"},{"alias_kind":"pith_short_8","alias_value":"WKH6THR6","created_at":"2026-07-05T03:34:01Z"}],"graph_snapshots":[{"event_id":"sha256:353b1dc1d5829df0eb96ec7ef9d2dbca5f4cc35dfc9e7d61c124db3315780559","target":"graph","created_at":"2026-07-05T03:34:01Z","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/2111.11277/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces differentiable higher-order control barrier functions (CBF) that are end-to-end trainable together with learning systems. CBFs are usually overly conservative, while guaranteeing safety. Here, we address their conservativeness by softening their definitions using environmental dependencies without loosing safety guarantees, and embed them into differentiable quadratic programs. These novel safety layers, termed a BarrierNet, can be used in conjunction with any neural network-based controller, and can be trained by gradient descent. BarrierNet allows the safety constraints","authors_text":"Daniela Rus, Ramin Hasani, Wei Xiao, Xiao Li","cross_cats":["cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-11-22T15:38:11Z","title":"BarrierNet: A Safety-Guaranteed Layer for Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.11277","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:8fdb7f217f687bfde101b4aa63bc2e4ab6a1afa7179b15fb052631e440a8ddb4","target":"record","created_at":"2026-07-05T03:34:01Z","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":"cf5e7003851b03350bc27d0e63fee094a0b90908f7eaf17b84b5579b0e9c3cdb","cross_cats_sorted":["cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-11-22T15:38:11Z","title_canon_sha256":"024fc5b50b908abd6c6b8e957658c99e0abf38342ee254bec5c2be13868c4e77"},"schema_version":"1.0","source":{"id":"2111.11277","kind":"arxiv","version":1}},"canonical_sha256":"b28fe99e3e65aec298fe025944669cd1bd29c3db9abc3a430b971ada39a15100","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b28fe99e3e65aec298fe025944669cd1bd29c3db9abc3a430b971ada39a15100","first_computed_at":"2026-07-05T03:34:01.618371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:34:01.618371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9AaZMcwYd3vH3/WSS86MA47tn/4TlfgvQlMd3r3MVQ7npFP0QbQm7NQjd0xeX+GUnA01TDKrBk4C0F+p4ur1DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:34:01.618762Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.11277","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8fdb7f217f687bfde101b4aa63bc2e4ab6a1afa7179b15fb052631e440a8ddb4","sha256:353b1dc1d5829df0eb96ec7ef9d2dbca5f4cc35dfc9e7d61c124db3315780559"],"state_sha256":"18307f81fc2bbf2f840d4bbf6018e43c87e0b0408c6e6022116ff8611907929f"}