{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:HON5NPGXSK6YIHUIOG4K5V2K4E","short_pith_number":"pith:HON5NPGX","canonical_record":{"source":{"id":"2210.04763","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-10-10T15:18:28Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"8182b0b82d24585cab374bc0dbfe9769b6cc36c4994345ba9b587875d9d5b2de","abstract_canon_sha256":"df3e50026e392cc15043e93b6747f479d49e23eec34dc52a87c950f23473773c"},"schema_version":"1.0"},"canonical_sha256":"3b9bd6bcd792bd841e8871b8aed74ae1018bb3a5b10567b800db506436472831","source":{"kind":"arxiv","id":"2210.04763","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.04763","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"arxiv_version","alias_value":"2210.04763v2","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.04763","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_12","alias_value":"HON5NPGXSK6Y","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_16","alias_value":"HON5NPGXSK6YIHUI","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_8","alias_value":"HON5NPGX","created_at":"2026-07-05T06:16:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:HON5NPGXSK6YIHUIOG4K5V2K4E","target":"record","payload":{"canonical_record":{"source":{"id":"2210.04763","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-10-10T15:18:28Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"title_canon_sha256":"8182b0b82d24585cab374bc0dbfe9769b6cc36c4994345ba9b587875d9d5b2de","abstract_canon_sha256":"df3e50026e392cc15043e93b6747f479d49e23eec34dc52a87c950f23473773c"},"schema_version":"1.0"},"canonical_sha256":"3b9bd6bcd792bd841e8871b8aed74ae1018bb3a5b10567b800db506436472831","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:16:00.665159Z","signature_b64":"DOZ+iCv5X6DEYw3dDfLQBKcwYdwm9GXr2gF782h4Ir3MPBYRBReDwPVt0XcFBBhDzXFDX6QbhvqYcVkFZarIBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b9bd6bcd792bd841e8871b8aed74ae1018bb3a5b10567b800db506436472831","last_reissued_at":"2026-07-05T06:16:00.664626Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:16:00.664626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.04763","source_version":2,"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-05T06:16:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/V1kt8sYHtxHA0yFyotIR9bn+DffWJ8qZ9kwmfuht6ptpzthRljW9SLTs+6eU8GYA2aMrG0FPkSC1vWNsJLKCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:19:53.121781Z"},"content_sha256":"739422f119f01a900a7e18e1d62efe9f91eb1f9b85a8376aba37fa57c2044d5f","schema_version":"1.0","event_id":"sha256:739422f119f01a900a7e18e1d62efe9f91eb1f9b85a8376aba37fa57c2044d5f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:HON5NPGXSK6YIHUIOG4K5V2K4E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Forward Invariance of Neural ODEs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.RO","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Chuang Gan, Daniela Rus, Mathias Lechner, Ramin Hasani, Tsun-Hsuan Wang, Wei Xiao, Yutong Ban","submitted_at":"2022-10-10T15:18:28Z","abstract_excerpt":"We propose a new method to ensure neural ordinary differential equations (ODEs) satisfy output specifications by using invariance set propagation. Our approach uses a class of control barrier functions to transform output specifications into constraints on the parameters and inputs of the learning system. This setup allows us to achieve output specification guarantees simply by changing the constrained parameters/inputs both during training and inference. Moreover, we demonstrate that our invariance set propagation through data-controlled neural ODEs not only maintains generalization performan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.04763","kind":"arxiv","version":2},"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/2210.04763/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-05T06:16:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"86G1XuqGO0EQAOJeAW2bYT3L3/+JYST2+w5JvSVPiwZh7kRde6jS1duulavFjc4XoiEmrVQ8AcOXmmyPxFerBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:19:53.125813Z"},"content_sha256":"196c7974a556aefef375341546bf4e5bb2e5a19bd5b7a406a565ad61b9c2029c","schema_version":"1.0","event_id":"sha256:196c7974a556aefef375341546bf4e5bb2e5a19bd5b7a406a565ad61b9c2029c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/bundle.json","state_url":"https://pith.science/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/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-04T11:19:53Z","links":{"resolver":"https://pith.science/pith/HON5NPGXSK6YIHUIOG4K5V2K4E","bundle":"https://pith.science/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/bundle.json","state":"https://pith.science/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HON5NPGXSK6YIHUIOG4K5V2K4E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:HON5NPGXSK6YIHUIOG4K5V2K4E","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":"df3e50026e392cc15043e93b6747f479d49e23eec34dc52a87c950f23473773c","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-10-10T15:18:28Z","title_canon_sha256":"8182b0b82d24585cab374bc0dbfe9769b6cc36c4994345ba9b587875d9d5b2de"},"schema_version":"1.0","source":{"id":"2210.04763","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.04763","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"arxiv_version","alias_value":"2210.04763v2","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.04763","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_12","alias_value":"HON5NPGXSK6Y","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_16","alias_value":"HON5NPGXSK6YIHUI","created_at":"2026-07-05T06:16:00Z"},{"alias_kind":"pith_short_8","alias_value":"HON5NPGX","created_at":"2026-07-05T06:16:00Z"}],"graph_snapshots":[{"event_id":"sha256:196c7974a556aefef375341546bf4e5bb2e5a19bd5b7a406a565ad61b9c2029c","target":"graph","created_at":"2026-07-05T06:16:00Z","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/2210.04763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a new method to ensure neural ordinary differential equations (ODEs) satisfy output specifications by using invariance set propagation. Our approach uses a class of control barrier functions to transform output specifications into constraints on the parameters and inputs of the learning system. This setup allows us to achieve output specification guarantees simply by changing the constrained parameters/inputs both during training and inference. Moreover, we demonstrate that our invariance set propagation through data-controlled neural ODEs not only maintains generalization performan","authors_text":"Chuang Gan, Daniela Rus, Mathias Lechner, Ramin Hasani, Tsun-Hsuan Wang, Wei Xiao, Yutong Ban","cross_cats":["cs.AI","cs.RO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-10-10T15:18:28Z","title":"On the Forward Invariance of Neural ODEs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.04763","kind":"arxiv","version":2},"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:739422f119f01a900a7e18e1d62efe9f91eb1f9b85a8376aba37fa57c2044d5f","target":"record","created_at":"2026-07-05T06:16:00Z","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":"df3e50026e392cc15043e93b6747f479d49e23eec34dc52a87c950f23473773c","cross_cats_sorted":["cs.AI","cs.RO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-10-10T15:18:28Z","title_canon_sha256":"8182b0b82d24585cab374bc0dbfe9769b6cc36c4994345ba9b587875d9d5b2de"},"schema_version":"1.0","source":{"id":"2210.04763","kind":"arxiv","version":2}},"canonical_sha256":"3b9bd6bcd792bd841e8871b8aed74ae1018bb3a5b10567b800db506436472831","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b9bd6bcd792bd841e8871b8aed74ae1018bb3a5b10567b800db506436472831","first_computed_at":"2026-07-05T06:16:00.664626Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:16:00.664626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DOZ+iCv5X6DEYw3dDfLQBKcwYdwm9GXr2gF782h4Ir3MPBYRBReDwPVt0XcFBBhDzXFDX6QbhvqYcVkFZarIBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:16:00.665159Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.04763","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:739422f119f01a900a7e18e1d62efe9f91eb1f9b85a8376aba37fa57c2044d5f","sha256:196c7974a556aefef375341546bf4e5bb2e5a19bd5b7a406a565ad61b9c2029c"],"state_sha256":"086f347c1666820c2f28a4577e28366dfe3668ca55dfc397bcdc9c4275b98ebf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lSxidkrWFRDpTYw4v15VQefvxgYTapHEo2kuawoGtFUcanEqr4LEsXZISvNs0f4WSx8unO//T68YaVQQ1LfQCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:19:53.134788Z","bundle_sha256":"45461f1b4fbee5a2a90ecabaa31fbed7623f06229c159ec16a25c11563254a49"}}