{"as_of":"2026-08-22T01:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2ca5c5488d3eef3db2c894f9ff1ddf760057b190c19cc264556c83075edf0d0c","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T10:58:01.590095Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T05:08:49.469474Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-29T22:13:59.863161Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"cited_work":{"arxiv_id":"2504.17102","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17102","snapshot_observed_at":"2026-06-29T22:13:59.863161Z","title":"Neural contraction metrics with formal guarantees for discrete-time nonlinear dynamical systems.arXiv preprint arXiv:2504.17102, 2025","venue":null,"work_id":"3d27eb33-c382-4999-88df-8059039b6860","year":2025},"citing_paper":{"arxiv_id":"2605.25346","last_updated":"2026-05-25T02:04:06Z","snapshot_observed_at":"2026-08-12T19:03:23.549524Z","submitted_at":"2026-05-25T02:04:06Z","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-29T22:10:50.600849Z"},"links":{"cited_paper":"/paper/2504.17102","citing_paper":"/paper/2605.25346"},"observation_digest":"sha256:97663ca60b8ba05d521d515cf5bd53c42e91da308483c870451a32dec06fe704","observation_id":"a9557176-7bb1-4bb6-a84f-29399aa6aced","resolution":{"observed_at":"2026-06-29T22:13:59.865307Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"cited_work":{"arxiv_id":"2504.17102","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17102","snapshot_observed_at":"2026-06-29T22:13:59.863161Z","title":"Neural contraction metrics with formal guarantees for discrete-time nonlinear dynamical systems.arXiv preprint arXiv:2504.17102, 2025","venue":null,"work_id":"3d27eb33-c382-4999-88df-8059039b6860","year":2025},"citing_paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","snapshot_observed_at":"2026-08-13T19:36:43.125073Z","submitted_at":"2026-05-26T05:49:19Z","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2504.17102","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:cca281dcee24d7aa6d11e08ef57047c6be11ea01723a7e46ef5f2f01d8064639","observation_id":"602441d1-0930-4876-be9c-a4b993d92a98","resolution":{"observed_at":"2026-06-29T16:23:39.396393Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.17102","snapshot_observed_at":"2026-08-03T05:08:49.469474Z","title":"Neural contraction metrics with formal guarantees for discrete-time nonlinear dynamical systems,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.29538","last_updated":"2026-07-31T15:34:28Z","snapshot_observed_at":"2026-08-16T21:07:43.391478Z","submitted_at":"2026-07-31T15:34:28Z","title":"Tube MPC for Bilinear Koopman Models using Robust Control Contraction Metrics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T05:08:49.469474Z"},"links":{"cited_paper":"/paper/2504.17102","citing_paper":"/paper/2607.29538"},"observation_digest":"sha256:2e73ead3280bf4f18da318f909b086def515cbebb385165354947b0282c3932f","observation_id":"a48f1a13-8ab4-4f6f-a0ee-a04300705818","resolution":{"observed_at":"2026-08-03T05:08:49.469474Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2504.17102/citation-record","integrity":"/paper/2504.17102/integrity","json":"/paper/2504.17102/citation-record.json","paper":"/paper/2504.17102"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.205428Z","title":"A unified algebraic perspective on L ipschitz neural networks","venue":null,"work_id":"a7072449-bdc5-49d9-8af4-a3e0a3c8ad79","year":2023},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.434087Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:2a8dd38510a11d3e1990ebee3fd5b73597e2ee0c7653e517da03d3445ff8ac6e","observation_id":"afd9e65f-be67-4e69-9588-89304b5475cd","resolution":{"observed_at":"2026-08-16T10:58:02.210627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.189546Z","title":"Contraction theory for dynamical systems","venue":null,"work_id":"17a8e01a-9829-4526-b925-1598e7c953a4","year":2022},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.439394Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:1c71166ef7ee80c901be22080e4af5b6616353dd458f536c88c09ce148ee5108","observation_id":"ea3ee8e1-5318-4ef1-8055-367c23c4c70a","resolution":{"observed_at":"2026-08-16T10:58:02.194612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.444835Z","title":"Neural lyapunov control","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.444835Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:5525c6f9f58f494d6f45a23ea3faed97f0dd348915f52c859f88a0377e1e40de","observation_id":"d37dbc6b-c214-4bda-9ee7-4e8feab54b37","resolution":{"observed_at":"2026-08-16T10:58:01.444835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.14152","last_updated":"2021-09-29T02:40:32Z","snapshot_observed_at":"2026-08-16T17:53:15.842577Z","submitted_at":"2021-09-29T02:40:32Z","title":"Lyapunov-stable neural-network control","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.14152","snapshot_observed_at":"2026-08-16T10:58:01.449514Z","title":"Lyapunov-stable neural-network control","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.449514Z"},"links":{"cited_paper":"/paper/2109.14152","citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:75c6c6874f79ccfeb77b0156f7805bfac267ab75c840b5c25a46908d986d8be4","observation_id":"79ffdbb1-2dec-4016-a539-d63112a6ec79","resolution":{"observed_at":"2026-08-16T10:58:01.449514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.455080Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.455080Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:2c3d18333e4c5b17c2c438a65f14cb3449590e05ddbb07ed472765dcff804a90","observation_id":"e31b5273-7e4b-4ede-b90d-d2920922a416","resolution":{"observed_at":"2026-08-16T10:58:01.455080Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.153438Z","title":"Drip: Domain refinement iteration with polytopes for backward reachability analysis of neural feedback loops","venue":null,"work_id":"0526f9c0-96b2-4371-8d33-882b10eaec39","year":2023},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.459896Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:19df47cec5fbb65b6fee47f7c283cbd251d2c686217f3267dc2f0517b5fa314a","observation_id":"d044763c-ad91-45d0-b298-d1fc25760292","resolution":{"observed_at":"2026-08-16T10:58:02.158375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.138275Z","title":"Efficient and accurate estimation of L ipschitz constants for deep neural networks","venue":null,"work_id":"8a2bead7-12c9-492f-a5b4-c257aa59e989","year":2019},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.465100Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:47b676c8b013fdbfd00b7e75ea967adf4e1422418c87c9c4cfa86da95e9cb61a","observation_id":"888b8fc2-212f-421a-8d0d-f36b9043469a","resolution":{"observed_at":"2026-08-16T10:58:02.143399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.470268Z","title":"Computation and formal verification of neural network contraction metrics","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.470268Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:a0171ff5d7dfc6e4924166e35d78cd005bbe0b6edf95480e757bdcaa48d3eec4","observation_id":"64212182-a749-440b-8286-1f7646cfa296","resolution":{"observed_at":"2026-08-16T10:58:01.470268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.122876Z","title":"Construction of a contraction metric by meshless collocation","venue":null,"work_id":"d320f833-9000-40a1-b8da-b7db85b4467a","year":2019},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.474912Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:8ec67892da57086a12a42c030866807fdb12464db7ea5f51ff16fa6d9c9b0f79","observation_id":"af9837b4-fdf2-42bb-9dc1-dd1027ceb930","resolution":{"observed_at":"2026-08-16T10:58:02.127820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.01367","last_updated":"2022-03-02T19:32:01Z","snapshot_observed_at":"2026-08-16T17:17:23.936799Z","submitted_at":"2022-03-02T19:32:01Z","title":"Review on contraction analysis and computation of contraction metrics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.01367","snapshot_observed_at":"2026-08-16T10:58:01.479745Z","title":"Review on contraction analysis and computation of contraction metrics","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.479745Z"},"links":{"cited_paper":"/paper/2203.01367","citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:c62be6a800f59b0451794d37ab75cfdf41d06d491c7c3209a3a9f628aa20061b","observation_id":"45f3d6c9-57e3-4b20-bab8-87391d53725e","resolution":{"observed_at":"2026-08-16T10:58:01.479745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.107549Z","title":"Contraction metric computation using numerical integration and quadrature","venue":null,"work_id":"b9c101e0-a174-49bf-973b-4b6a4abb9d7b","year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.484527Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:afeba78e871be3bb9d208d41a1de50b1d35e16b57456e469e7a1d4eafc86c2d5","observation_id":"2171a5ea-2cb0-4ea8-9310-53f562e62753","resolution":{"observed_at":"2026-08-16T10:58:02.112419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.091750Z","title":"Training certifiably robust neural networks with efficient local L ipschitz bounds","venue":null,"work_id":"f745fe0b-95c8-44df-a45b-d9bb18703f8e","year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.489042Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:1c68f6afe7311786ad87e7ef24cfacb81cad5b2754ffbba57b4b5d7e83602f8a","observation_id":"537baeec-a200-4af2-8a94-b41e8af52b43","resolution":{"observed_at":"2026-08-16T10:58:02.096749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.076133Z","title":"Introduction to Riemannian manifolds, volume 2","venue":null,"work_id":"9b79b85d-5ebb-4516-9e05-f2e45df5b853","year":2018},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.493831Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:0a94021fb98aff2e6193374cd961fe0919a557d2dc903b9b05a9b0ad5436dcfc","observation_id":"ebf690a4-bdb2-446f-af33-4715dee256a0","resolution":{"observed_at":"2026-08-16T10:58:02.080979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.059592Z","title":"On contraction analysis for non-linear systems","venue":null,"work_id":"1f9c7491-0030-4267-bd27-71ced74a4d64","year":1998},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.498315Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:052fc624b13c1b2a2c8e34da5c3d51d3d7a7c18948da0f4329352a71c89c16b1","observation_id":"28695931-dfb1-4947-9327-593e3537425a","resolution":{"observed_at":"2026-08-16T10:58:02.065548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.044441Z","title":"The general problem of the stability of motion","venue":null,"work_id":"521456bc-cd24-40db-85fd-fc54ee82b3b7","year":1992},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.502952Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:22b1c4d66567e2384fbe119eaf694e1c9320f7c6df2389d1f1b4617f1be2fd44","observation_id":"013db361-50e0-4f5b-b6cf-b2317db855d6","resolution":{"observed_at":"2026-08-16T10:58:02.049311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.028224Z","title":"Control contraction metrics: Convex and intrinsic criteria for nonlinear feedback design","venue":null,"work_id":"61cfb4c5-684c-4081-84ef-6778c07886f3","year":2017},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.507576Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:ed671a4887fb8331d4dcb92384826d81d3a53e843cf89c3b90806287799f5439","observation_id":"346d2c94-0b75-42a4-9ffe-af95093c011f","resolution":{"observed_at":"2026-08-16T10:58:02.033593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:02.010837Z","title":"Construction of contraction metrics for discrete-time dynamical systems using meshfree collocation","venue":null,"work_id":"b5a4a47e-14a7-497c-9cd6-5cf95cd94125","year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.512447Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:c70413700b82d760c4471169317da7eb60a656048239fd090fd670a2ab641eac","observation_id":"ce466261-931c-4bcc-9ed4-fdb298db2521","resolution":{"observed_at":"2026-08-16T10:58:02.016107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.995545Z","title":"Contraction theory on riemannian manifolds","venue":null,"work_id":"4d2902b4-5d16-4ee1-80e8-3da76c571543","year":2014},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.516882Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:2ef02cb716481f9173fdcbc75bcde30326794fa783a7372cb50b39d1bf79a5db","observation_id":"0ab3240f-8897-4fdc-bec8-29f77dfa7c73","resolution":{"observed_at":"2026-08-16T10:58:02.000375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.979862Z","title":"Learning certified control using contraction metric","venue":null,"work_id":"0920d30e-3aff-48f8-96f5-7139609f625e","year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.521736Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:6b1cffa02d2bc7b69344d139caeaad075f8c3a8e381a8088177b7dd953f869b1","observation_id":"0efec9f5-eb0c-41e5-af20-6014e5258fcd","resolution":{"observed_at":"2026-08-16T10:58:01.984799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.964238Z","title":"o rn S R \\","venue":null,"work_id":"52e06e6e-867f-47f5-9b4c-ad9142fde433","year":2018},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.526290Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:f04ee3a7a4d53dbc6e0ec2372475449428fc6ac5b11a589dd9498a04dbd387c6","observation_id":"305b78ac-da02-42d0-8376-a4d707cff25a","resolution":{"observed_at":"2026-08-16T10:58:01.968868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.948948Z","title":"Neural contraction metrics for robust estimation and control: A convex optimization approach","venue":null,"work_id":"ab7c40bc-74f7-4bc6-ac80-a8eab9a12485","year":2020},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.531130Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:67084da5fb9049b15cd0d28fe370db7c99fc9e76eec759fd10d270a36062331c","observation_id":"36ffe371-6cf2-448c-9364-969965711f1b","resolution":{"observed_at":"2026-08-16T10:58:01.953854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.535615Z","title":"Contraction theory for nonlinear stability analysis and learning-based control: A tutorial overview","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.535615Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:ec8baae16866e70d4c8c26a4d1199c164235beabaac201f773ea0e993d2c38aa","observation_id":"18fa1e95-1f8d-450f-b848-7f7c0d6e29a6","resolution":{"observed_at":"2026-08-16T10:58:01.535615Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.08448","last_updated":"2024-08-01T15:16:26Z","snapshot_observed_at":"2026-08-21T21:42:46.790486Z","submitted_at":"2024-03-13T12:03:27Z","title":"Actor-Critic Physics-informed Neural Lyapunov Control","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.08448","snapshot_observed_at":"2026-08-16T10:58:01.540186Z","title":"Actor-critic physics-informed neural lyapunov control","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.540186Z"},"links":{"cited_paper":"/paper/2403.08448","citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:a68fd86f6c5e554f4844e92e9b9f84bb559e95b0a7f46716c32956c850f41a78","observation_id":"ff262a83-e890-46cb-bb2c-87cd3816b375","resolution":{"observed_at":"2026-08-16T10:58:01.540186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.920790Z","title":"Beta-CROWN : Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","venue":null,"work_id":"63479ae3-6f49-452a-998b-c803a20e4e1d","year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.544891Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:dc474fe8418eac45bd5b8b535b3bded8315c989a8d2ae156975a60945f2acb9a","observation_id":"e382316d-8bdc-4c2b-a6f8-2715f9a6e129","resolution":{"observed_at":"2026-08-16T10:58:01.925894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.904923Z","title":"On the scalability and memory efficiency of semidefinite programs for L ipschitz constant estimation of neural networks","venue":null,"work_id":"4de5ebc3-8792-4560-9b24-843ae4119a5f","year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.549479Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:3a8a8fa207d53010a09f61ba2030af4bbb9d4225416a499bd004a4090eae37ad","observation_id":"7aa28b05-51fa-4126-a829-7a46c308e9e1","resolution":{"observed_at":"2026-08-16T10:58:01.910019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.889384Z","title":"Control contraction metric synthesis for discrete-time nonlinear systems","venue":null,"work_id":"0dd9995b-9b43-4b3d-bf9d-063d70e909c3","year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.553847Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:70d5b48111394d93f726222dc149d61c72f333a4801cd995259f0b93d755b6a3","observation_id":"03a6973d-83ec-4d41-872a-cdf94d922727","resolution":{"observed_at":"2026-08-16T10:58:01.894431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.873701Z","title":"Discrete-time contraction-based control of nonlinear systems with parametric uncertainties using neural networks","venue":null,"work_id":"068a34c5-a085-44e0-b400-a1ac05e524f6","year":2022},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.558348Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:d03e86afbc3ece9833c7496e366e3788917a7e6b682363bd5026c5065e0ee148","observation_id":"191ec21f-5538-4a19-9ce8-bb493f880b07","resolution":{"observed_at":"2026-08-16T10:58:01.878708Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.858202Z","title":"Neural lyapunov control for discrete-time systems","venue":null,"work_id":"06e805d7-6c70-48ba-bbaa-847a5ec2ce5b","year":2023},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.562884Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:6a429b7b5d4774e10b662414b4404bfa8410feb2f4e3bd5d0db9cf9f045fa7f4","observation_id":"16741d64-1879-4a2a-a38a-9ade68f1ab6c","resolution":{"observed_at":"2026-08-16T10:58:01.863157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.567664Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.567664Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:30b64c9ec93b93f572884411f202a0c575e30a113de3e1937e5c09426293e513","observation_id":"26e0d8c2-f001-4537-a944-08b69357bb83","resolution":{"observed_at":"2026-08-16T10:58:01.567664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.830007Z","title":"Fast and Complete : Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":"3c1e2f5d-3300-43e8-b62c-30da7b23f229","year":2021},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.572185Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:12ae89269ba5e76e41097a48011a128a522f3d128cc20ef8fc2f0c15f20a463a","observation_id":"6e029ca0-9065-4896-a66c-205a5b780d6e","resolution":{"observed_at":"2026-08-16T10:58:01.835739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.813486Z","title":"Lyapunov-stable neural control for state and output feedback: A novel formulation","venue":null,"work_id":"7e3eae77-30b9-4f76-8f87-73f567126ce7","year":2024},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.576487Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:023eb62fc88ee98d231e0eaa3313a21f54a998510ee67f9831bf81ad7c239081","observation_id":"82f5fdcf-d60c-473a-a41d-22f3250e8fc4","resolution":{"observed_at":"2026-08-16T10:58:01.818650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.796444Z","title":"Neural-network-based online optimal control for uncertain non-linear continuous-time systems with control constraints","venue":null,"work_id":"25749db7-d647-41bd-a104-f4a51f9997bf","year":2013},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.581042Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:fc4f17b069f809a7f0098b95484e6eb81d58fe29cc3a0676ce560cace2f94779","observation_id":"2970508b-18dd-40c6-b08b-521ab9201ba8","resolution":{"observed_at":"2026-08-16T10:58:01.801729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.780172Z","title":"Efficient neural network robustness certification with general activation functions","venue":null,"work_id":"aa2c4772-409c-45ab-834a-a10ea409a13a","year":2018},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.585435Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:f6818989374ba613fac9b7ffce8b3bb7c45291023f3ffebcc44c222a33d41018","observation_id":"8b1a02e0-487d-4406-84fb-29559df68ac1","resolution":{"observed_at":"2026-08-16T10:58:01.785615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:58:01.762596Z","title":"General cutting planes for bound-propagation-based neural network verification","venue":null,"work_id":"e9dee3e0-ad08-4ab5-b029-29633e3f828a","year":2022},"citing_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-16T10:58:01.590095Z"},"links":{"citing_paper":"/paper/2504.17102"},"observation_digest":"sha256:1973c6af42062c7f69659b08def226e7590f4bda5b5e70175910f72a9c41aff4","observation_id":"a2dc0c98-3398-4e63-ba55-fc9d8c123359","resolution":{"observed_at":"2026-08-16T10:58:01.769261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":26},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 3 inbound Pith citation observations for arXiv:2504.17102."}