{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:J3C7RQOMBROOTPJW7WF2WHDKAM","short_pith_number":"pith:J3C7RQOM","canonical_record":{"source":{"id":"2606.19109","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:23:41Z","cross_cats_sorted":[],"title_canon_sha256":"fdae4735ac2016d38581df913a083bac7fbf55f7680b026c56a49901a31b2e5e","abstract_canon_sha256":"5debe31bc0040a6758f3eeac8f37d2a71788b246619b45be74c013899c4492da"},"schema_version":"1.0"},"canonical_sha256":"4ec5f8c1cc0c5ce9bd36fd8bab1c6a032d09d6446e7ce19ae705c340ca4f264e","source":{"kind":"arxiv","id":"2606.19109","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19109","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19109v1","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19109","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_12","alias_value":"J3C7RQOMBROO","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_16","alias_value":"J3C7RQOMBROOTPJW","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_8","alias_value":"J3C7RQOM","created_at":"2026-06-19T16:11:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:J3C7RQOMBROOTPJW7WF2WHDKAM","target":"record","payload":{"canonical_record":{"source":{"id":"2606.19109","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:23:41Z","cross_cats_sorted":[],"title_canon_sha256":"fdae4735ac2016d38581df913a083bac7fbf55f7680b026c56a49901a31b2e5e","abstract_canon_sha256":"5debe31bc0040a6758f3eeac8f37d2a71788b246619b45be74c013899c4492da"},"schema_version":"1.0"},"canonical_sha256":"4ec5f8c1cc0c5ce9bd36fd8bab1c6a032d09d6446e7ce19ae705c340ca4f264e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:11:56.844421Z","signature_b64":"+iYoRyCVaK9LkK+fJ1of/+5j4H0WGJPkWsNuJlcFvZqLSnJEp/mPnvBNsukhlaK+r3tK5iovaBA4W7NseVGGAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ec5f8c1cc0c5ce9bd36fd8bab1c6a032d09d6446e7ce19ae705c340ca4f264e","last_reissued_at":"2026-06-19T16:11:56.844057Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:11:56.844057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.19109","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-06-19T16:11:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U6481z2SCw6FLL8TW+RhsBpxyonQmm/B/cA28FZW1wmKXFoNY4J/lFoablmcWy9wf27FvbrJiZkx5e7S0eTdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:59:35.321651Z"},"content_sha256":"3ae42a09f5ee54b97e7e539690ee626a9162806ae5891dfbbed8cd9bd6d81df7","schema_version":"1.0","event_id":"sha256:3ae42a09f5ee54b97e7e539690ee626a9162806ae5891dfbbed8cd9bd6d81df7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:J3C7RQOMBROOTPJW7WF2WHDKAM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Locally Stable Neural ODEs with Characterized Region of Attraction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alice Harting, Karl Henrik Johansson, Matthieu Barreau, Sophie Tarbouriech","submitted_at":"2026-06-17T14:23:41Z","abstract_excerpt":"We propose a class of neural ODEs that universally approximates locally exponentially stable dynamics and the region of attraction from trajectory data. The model dynamics are constrained by the gradient field of a jointly learned maximal Lyapunov function. Under this constraint, we show that exponentially stable dynamics can be approximated arbitrarily well within the region of attraction. Furthermore, the region of attraction of the constrained model is exactly characterized by the 1-sublevel set of the jointly learned Lyapunov function, and we derive conditions under which it approximates t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19109","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/2606.19109/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-06-19T16:11:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k2p3t6vJs+kWxs3xL+XaEVZaoRUyk/69NuPrLxd8xufTCb9qS2fvfjhKdqJQw5IMlGYo9UjvEtST+tkFda66Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:59:35.322330Z"},"content_sha256":"8abec265555c0d86c8bf879fb7a8d65631b619d98e0ece4b05d8221647102028","schema_version":"1.0","event_id":"sha256:8abec265555c0d86c8bf879fb7a8d65631b619d98e0ece4b05d8221647102028"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/bundle.json","state_url":"https://pith.science/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/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-07-03T22:59:35Z","links":{"resolver":"https://pith.science/pith/J3C7RQOMBROOTPJW7WF2WHDKAM","bundle":"https://pith.science/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/bundle.json","state":"https://pith.science/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J3C7RQOMBROOTPJW7WF2WHDKAM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:J3C7RQOMBROOTPJW7WF2WHDKAM","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":"5debe31bc0040a6758f3eeac8f37d2a71788b246619b45be74c013899c4492da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:23:41Z","title_canon_sha256":"fdae4735ac2016d38581df913a083bac7fbf55f7680b026c56a49901a31b2e5e"},"schema_version":"1.0","source":{"id":"2606.19109","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19109","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19109v1","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19109","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_12","alias_value":"J3C7RQOMBROO","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_16","alias_value":"J3C7RQOMBROOTPJW","created_at":"2026-06-19T16:11:56Z"},{"alias_kind":"pith_short_8","alias_value":"J3C7RQOM","created_at":"2026-06-19T16:11:56Z"}],"graph_snapshots":[{"event_id":"sha256:8abec265555c0d86c8bf879fb7a8d65631b619d98e0ece4b05d8221647102028","target":"graph","created_at":"2026-06-19T16:11:56Z","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/2606.19109/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a class of neural ODEs that universally approximates locally exponentially stable dynamics and the region of attraction from trajectory data. The model dynamics are constrained by the gradient field of a jointly learned maximal Lyapunov function. Under this constraint, we show that exponentially stable dynamics can be approximated arbitrarily well within the region of attraction. Furthermore, the region of attraction of the constrained model is exactly characterized by the 1-sublevel set of the jointly learned Lyapunov function, and we derive conditions under which it approximates t","authors_text":"Alice Harting, Karl Henrik Johansson, Matthieu Barreau, Sophie Tarbouriech","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:23:41Z","title":"Locally Stable Neural ODEs with Characterized Region of Attraction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19109","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:3ae42a09f5ee54b97e7e539690ee626a9162806ae5891dfbbed8cd9bd6d81df7","target":"record","created_at":"2026-06-19T16:11:56Z","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":"5debe31bc0040a6758f3eeac8f37d2a71788b246619b45be74c013899c4492da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-17T14:23:41Z","title_canon_sha256":"fdae4735ac2016d38581df913a083bac7fbf55f7680b026c56a49901a31b2e5e"},"schema_version":"1.0","source":{"id":"2606.19109","kind":"arxiv","version":1}},"canonical_sha256":"4ec5f8c1cc0c5ce9bd36fd8bab1c6a032d09d6446e7ce19ae705c340ca4f264e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ec5f8c1cc0c5ce9bd36fd8bab1c6a032d09d6446e7ce19ae705c340ca4f264e","first_computed_at":"2026-06-19T16:11:56.844057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:11:56.844057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+iYoRyCVaK9LkK+fJ1of/+5j4H0WGJPkWsNuJlcFvZqLSnJEp/mPnvBNsukhlaK+r3tK5iovaBA4W7NseVGGAw==","signature_status":"signed_v1","signed_at":"2026-06-19T16:11:56.844421Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.19109","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ae42a09f5ee54b97e7e539690ee626a9162806ae5891dfbbed8cd9bd6d81df7","sha256:8abec265555c0d86c8bf879fb7a8d65631b619d98e0ece4b05d8221647102028"],"state_sha256":"c80becdf90322f4ca2b36a1ab593e597bf8e41ca29d4325e17b2230a291445e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pbxyKXSFuhnCBFchOU/rCiZsaecOKsylzWGCsx/ALSvWK2ZBcXFK7mAsgMrE5+X5SqsO7aRYhmk+yUMijPLPCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T22:59:35.325921Z","bundle_sha256":"9b5af27b23f0ff7dcd744b32b51abfb07b71b56c551d7a64c5c931b98aa3b319"}}