{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GTQDEAXE54HGOEZQPIJ5LADS37","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":"80b12c2e20d2a82c5af9c3e5cacf000e68878ad2803033ccacb70292e50e19fe","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-23T21:27:32Z","title_canon_sha256":"ec231db2f72905fc0d9268a03f1682cc1f58d46c7ab8d0232372ab3e8c3721e9"},"schema_version":"1.0","source":{"id":"2504.17102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.17102","created_at":"2026-07-05T10:53:22Z"},{"alias_kind":"arxiv_version","alias_value":"2504.17102v1","created_at":"2026-07-05T10:53:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.17102","created_at":"2026-07-05T10:53:22Z"},{"alias_kind":"pith_short_12","alias_value":"GTQDEAXE54HG","created_at":"2026-07-05T10:53:22Z"},{"alias_kind":"pith_short_16","alias_value":"GTQDEAXE54HGOEZQ","created_at":"2026-07-05T10:53:22Z"},{"alias_kind":"pith_short_8","alias_value":"GTQDEAXE","created_at":"2026-07-05T10:53:22Z"}],"graph_snapshots":[{"event_id":"sha256:28b2b5fa3db163d617d96e9c52baec70feb0d611cd0208f7911cb4ac2ba9f57a","target":"graph","created_at":"2026-07-05T10:53:22Z","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.17102/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. However, identifying these metrics for complex nonlinear systems remains an open challenge due to the lack of scalable and effective tools. This paper explores the approach of learning verifiable contraction metrics parametrized as neural networks (NNs) for discrete-time nonlinear dynamical systems. While prior works on formal verification of contraction metrics for general nonlinear systems have focused on convex optimiz","authors_text":"Bin Hu, Haoyu Li, Huan Zhang, Xiangru Zhong","cross_cats":["cs.LG","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.17102","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:9b6367f74f5bb822294044e02c527dc87743254ebccca5b28dae722b1cea54ef","target":"record","created_at":"2026-07-05T10:53:22Z","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":"80b12c2e20d2a82c5af9c3e5cacf000e68878ad2803033ccacb70292e50e19fe","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-23T21:27:32Z","title_canon_sha256":"ec231db2f72905fc0d9268a03f1682cc1f58d46c7ab8d0232372ab3e8c3721e9"},"schema_version":"1.0","source":{"id":"2504.17102","kind":"arxiv","version":1}},"canonical_sha256":"34e03202e4ef0e6713307a13d58072dff0d4262fd24debb3d92595df6004eaff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34e03202e4ef0e6713307a13d58072dff0d4262fd24debb3d92595df6004eaff","first_computed_at":"2026-07-05T10:53:22.353669Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:53:22.353669Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kbn5ogf721oNhclZpvEkQZ2XowBcaJweEjYuuBvML98/m95paVqLQ/DXr7zk8XDzfmQlfcL13JNZ9uRaXsEBBw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:53:22.354246Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.17102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b6367f74f5bb822294044e02c527dc87743254ebccca5b28dae722b1cea54ef","sha256:28b2b5fa3db163d617d96e9c52baec70feb0d611cd0208f7911cb4ac2ba9f57a"],"state_sha256":"3d28e2a00bb2ed26342c2ce7800bec691d70e9db780b2e7ebe5299aeae1eb1b4"}