{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OUTOTO76JCV4C4THGA4NKHKNIF","short_pith_number":"pith:OUTOTO76","canonical_record":{"source":{"id":"2504.02607","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-03T14:09:17Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"545b27709367c4370105cd813c0333b97ddb4c55f8698bffd9464633ceabc1f5","abstract_canon_sha256":"072a02726f0ca8f2d1d3c01bafd90d576d4f4207d8c672c118e09dd4ba216bb5"},"schema_version":"1.0"},"canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","source":{"kind":"arxiv","id":"2504.02607","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.02607","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"arxiv_version","alias_value":"2504.02607v1","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02607","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_12","alias_value":"OUTOTO76JCV4","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_16","alias_value":"OUTOTO76JCV4C4TH","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_8","alias_value":"OUTOTO76","created_at":"2026-07-05T10:43:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OUTOTO76JCV4C4THGA4NKHKNIF","target":"record","payload":{"canonical_record":{"source":{"id":"2504.02607","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-03T14:09:17Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"545b27709367c4370105cd813c0333b97ddb4c55f8698bffd9464633ceabc1f5","abstract_canon_sha256":"072a02726f0ca8f2d1d3c01bafd90d576d4f4207d8c672c118e09dd4ba216bb5"},"schema_version":"1.0"},"canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:43:59.797430Z","signature_b64":"vZ/40KM/Ln9n3VB7dSk5KDSkg1dCZhY2DXCw3aXzlGanoFOb0KoYKfNr+DWJQIDP35EdaijF+a3KKR/b2+0HAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","last_reissued_at":"2026-07-05T10:43:59.796895Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:43:59.796895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.02607","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-05T10:43:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THzwmu7M9FXekfrC+na2MIdXg0T0XZCdYXAPvyD11hhZYx6Y7Mr9+tTZKOIJnIUyeBl45jqyQ2xMu9xg1azcAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:57:28.322001Z"},"content_sha256":"8296649f2315388652304eeadf7631165867883f3f2d228c77e11386f39dee6a","schema_version":"1.0","event_id":"sha256:8296649f2315388652304eeadf7631165867883f3f2d228c77e11386f39dee6a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OUTOTO76JCV4C4THGA4NKHKNIF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Leonhard Sprandl, Samuel Tesfazgi, Sandra Hirche","submitted_at":"2025-04-03T14:09:17Z","abstract_excerpt":"The practical deployment of learning-based autonomous systems would greatly benefit from tools that flexibly obtain safety guarantees in the form of certificate functions from data. While the geometrical properties of such certificate functions are well understood, synthesizing them using machine learning techniques still remains a challenge. To mitigate this issue, we propose a diffeomorphic function learning framework where prior structural knowledge of the desired output is encoded in the geometry of a simple surrogate function, which is subsequently augmented through an expressive, topolog"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.02607","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/2504.02607/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-05T10:43:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+hRpcEESZvj4EocACLHSwQN/kBzko6kN6Ngiw/mmuN5NZBlzoxgwbt3F/XoXXQ3lrNPn5c7iKlep6/ZsaVd1Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:57:28.322381Z"},"content_sha256":"2c1921fd49c44fd609f474a660383fb8c06e04085ccfb4cb875381b231a5936c","schema_version":"1.0","event_id":"sha256:2c1921fd49c44fd609f474a660383fb8c06e04085ccfb4cb875381b231a5936c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/bundle.json","state_url":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OUTOTO76JCV4C4THGA4NKHKNIF/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-08T22:57:28Z","links":{"resolver":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF","bundle":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/bundle.json","state":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OUTOTO76JCV4C4THGA4NKHKNIF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OUTOTO76JCV4C4THGA4NKHKNIF","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":"072a02726f0ca8f2d1d3c01bafd90d576d4f4207d8c672c118e09dd4ba216bb5","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-03T14:09:17Z","title_canon_sha256":"545b27709367c4370105cd813c0333b97ddb4c55f8698bffd9464633ceabc1f5"},"schema_version":"1.0","source":{"id":"2504.02607","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.02607","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"arxiv_version","alias_value":"2504.02607v1","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02607","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_12","alias_value":"OUTOTO76JCV4","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_16","alias_value":"OUTOTO76JCV4C4TH","created_at":"2026-07-05T10:43:59Z"},{"alias_kind":"pith_short_8","alias_value":"OUTOTO76","created_at":"2026-07-05T10:43:59Z"}],"graph_snapshots":[{"event_id":"sha256:2c1921fd49c44fd609f474a660383fb8c06e04085ccfb4cb875381b231a5936c","target":"graph","created_at":"2026-07-05T10:43: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/2504.02607/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The practical deployment of learning-based autonomous systems would greatly benefit from tools that flexibly obtain safety guarantees in the form of certificate functions from data. While the geometrical properties of such certificate functions are well understood, synthesizing them using machine learning techniques still remains a challenge. To mitigate this issue, we propose a diffeomorphic function learning framework where prior structural knowledge of the desired output is encoded in the geometry of a simple surrogate function, which is subsequently augmented through an expressive, topolog","authors_text":"Leonhard Sprandl, Samuel Tesfazgi, Sandra Hirche","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-03T14:09:17Z","title":"Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.02607","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:8296649f2315388652304eeadf7631165867883f3f2d228c77e11386f39dee6a","target":"record","created_at":"2026-07-05T10:43: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":"072a02726f0ca8f2d1d3c01bafd90d576d4f4207d8c672c118e09dd4ba216bb5","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-04-03T14:09:17Z","title_canon_sha256":"545b27709367c4370105cd813c0333b97ddb4c55f8698bffd9464633ceabc1f5"},"schema_version":"1.0","source":{"id":"2504.02607","kind":"arxiv","version":1}},"canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","first_computed_at":"2026-07-05T10:43:59.796895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:43:59.796895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vZ/40KM/Ln9n3VB7dSk5KDSkg1dCZhY2DXCw3aXzlGanoFOb0KoYKfNr+DWJQIDP35EdaijF+a3KKR/b2+0HAw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:43:59.797430Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.02607","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8296649f2315388652304eeadf7631165867883f3f2d228c77e11386f39dee6a","sha256:2c1921fd49c44fd609f474a660383fb8c06e04085ccfb4cb875381b231a5936c"],"state_sha256":"89b5a53f09bae5b264d7dd96774207460ec85501dc9e96ff27a35ed90a715214"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a17R3E29rfAC2WyWeJiysSjFYzwZfoH5IS4RfYJqsUpJmsMiXa80ugAi2Zt71NqX7j37gSqFnWjRi37Z3ckpCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T22:57:28.324552Z","bundle_sha256":"20921058f893eee2c66ce7bb3d84a4c7f0c2565c6088889f971e5b03591241ce"}}