{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OUTOTO76JCV4C4THGA4NKHKNIF","short_pith_number":"pith:OUTOTO76","schema_version":"1.0","canonical_sha256":"7526e9bbfe48abc172673038d51d4d415c81601e295975f60deaebfefa0facb3","source":{"kind":"arxiv","id":"2504.02607","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2504.02607","created_at":"2026-07-05T10:43:59.796963+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.02607v1","created_at":"2026-07-05T10:43:59.796963+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02607","created_at":"2026-07-05T10:43:59.796963+00:00"},{"alias_kind":"pith_short_12","alias_value":"OUTOTO76JCV4","created_at":"2026-07-05T10:43:59.796963+00:00"},{"alias_kind":"pith_short_16","alias_value":"OUTOTO76JCV4C4TH","created_at":"2026-07-05T10:43:59.796963+00:00"},{"alias_kind":"pith_short_8","alias_value":"OUTOTO76","created_at":"2026-07-05T10:43:59.796963+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF","json":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF.json","graph_json":"https://pith.science/api/pith-number/OUTOTO76JCV4C4THGA4NKHKNIF/graph.json","events_json":"https://pith.science/api/pith-number/OUTOTO76JCV4C4THGA4NKHKNIF/events.json","paper":"https://pith.science/paper/OUTOTO76"},"agent_actions":{"view_html":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF","download_json":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF.json","view_paper":"https://pith.science/paper/OUTOTO76","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.02607&json=true","fetch_graph":"https://pith.science/api/pith-number/OUTOTO76JCV4C4THGA4NKHKNIF/graph.json","fetch_events":"https://pith.science/api/pith-number/OUTOTO76JCV4C4THGA4NKHKNIF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/action/storage_attestation","attest_author":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/action/author_attestation","sign_citation":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/action/citation_signature","submit_replication":"https://pith.science/pith/OUTOTO76JCV4C4THGA4NKHKNIF/action/replication_record"}},"created_at":"2026-07-05T10:43:59.796963+00:00","updated_at":"2026-07-05T10:43:59.796963+00:00"}