{"as_of":"2026-08-09T20:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9a5d1596e625ff52ec8f02463a23a49409bba745d479d18754b27d1ec09c5fca","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:47:37.578484Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T17:56:04.559168Z","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-29T16:23:39.417833Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.10352","snapshot_observed_at":"2026-08-05T17:56:04.559168Z","title":"Improved sum-of- squares stability verification of neural-network-based controllers,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.559168Z"},"links":{"cited_paper":"/paper/2507.10352","citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:0031dde0994a03557fed34140ebcc816a19330ac2844e42757c77521c65a857d","observation_id":"b761afd0-bde5-4571-ab6c-90f033575abd","resolution":{"observed_at":"2026-08-05T17:56:04.559168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"cited_work":{"arxiv_id":"2507.10352","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.10352","snapshot_observed_at":"2026-06-29T16:23:39.417833Z","title":"Improved sum-of-squares stability verification of neural-network-based controllers,","venue":null,"work_id":"a973d42e-88ce-4a36-9048-18812f32fbc6","year":2025},"citing_paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","snapshot_observed_at":"2026-08-08T20:15:52.538412Z","submitted_at":"2026-05-26T05:49:19Z","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2507.10352","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:00bbd5c818efac5ece08af2bd94c37f77a1eb830e54f6f34b214784ae455ab43","observation_id":"a8c52f28-c8f7-4454-a36a-618f15144289","resolution":{"observed_at":"2026-06-29T16:23:39.419360Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.10352/citation-record","integrity":"/paper/2507.10352/integrity","json":"/paper/2507.10352/citation-record.json","paper":"/paper/2507.10352"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:47:35.471699Z","title":"Neural networks for control systems—a survey,","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.471699Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:2e9c6df2011390bdb8a8156977eb537e81ea7a06d07262cbd6012e5abcae1192","observation_id":"10c9efc0-0c2b-42ff-a173-6db0c46fbb38","resolution":{"observed_at":"2026-08-06T17:47:35.471699Z","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-06T17:47:35.515524Z","title":"Universal function approximation by deep neural nets with bounded width and ReLU activations,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.515524Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:a4f80d147a21f7fcd0f9ce79d4e10a23da203231d4ef8b6aecda6241566c7c4a","observation_id":"745f403a-6fd5-44f5-ba17-beabc1a20308","resolution":{"observed_at":"2026-08-06T17:47:35.515524Z","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-06T17:47:35.583939Z","title":"Neural networks for fast optimisation in model predictive control: A review,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.583939Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:20b700258f973739c8c009ed924da0ec9459b05bd98b5fc64b599f98b3e791d3","observation_id":"8484e953-6509-43da-8575-7debe280acb0","resolution":{"observed_at":"2026-08-06T17:47:35.583939Z","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-06T17:47:40.107650Z","title":"Neural networks for control: A tutorial and survey of stability-analysis methods, properties, and discussions,","venue":null,"work_id":"4f9d9abc-c3e2-43fa-a8c7-8baa92fda226","year":2021},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.639624Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:ab84a41302361558e215a20245d7806f2e43972ae1c4953cf290ad3170b94c40","observation_id":"2645a09f-a085-4dfa-b5c1-3e7c15dd2284","resolution":{"observed_at":"2026-08-06T17:47:40.115993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:40.089226Z","title":"Liberzon, Switching in systems and control , ser","venue":null,"work_id":"e13278ac-8b4a-4607-9b05-2e86d21ec5ca","year":2003},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.691963Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:b8efc96172c481ddff5dcb524349a2b924ea14f16e2c4f571d0ce0a9a3ec3971","observation_id":"e9dbb0a1-0652-4cd5-9afc-c103c055b0f1","resolution":{"observed_at":"2026-08-06T17:47:40.095679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:40.066746Z","title":"Complexity of stability and control- lability of elementary hybrid systems,","venue":null,"work_id":"c7318c6a-e113-4c01-9bd2-ca6aacbe2a8b","year":1999},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.730629Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:4ba3110f575dba6828dc64bd881313b6238d168b3ccb9cdc7cd5685822d38ec7","observation_id":"4ba53bf7-e774-4eaa-8f0b-6a919882d5f0","resolution":{"observed_at":"2026-08-06T17:47:40.073615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:40.038944Z","title":"Stability and performance verification of dynamical systems controlled by neural networks: Algorithms and complexity,","venue":null,"work_id":"5a3385aa-81ef-4d19-88b4-678983fde8d1","year":2022},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.780413Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:b865dab6ee083033335b9572e3806856c0a1769893163acc9ac101797ce85127","observation_id":"5feccb71-0f1b-4d6d-8cf3-74cf0ce5feb5","resolution":{"observed_at":"2026-08-06T17:47:40.046235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:40.019336Z","title":"Reach-SDP: Reacha- bility analysis of closed-loop systems with neural network controllers via semidefinite programming,","venue":null,"work_id":"7ddda145-0015-4d03-8c51-7e270fe9b0fd","year":2020},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.832213Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:dd14a9dc1399dab88f1c2685bc37c7cce00980c5cb2cba2e83f1cd4156382249","observation_id":"e9c1630f-0995-43f4-8783-c9fb64681378","resolution":{"observed_at":"2026-08-06T17:47:40.025399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:35.877154Z","title":"A comparison of verification methods for neural-network controllers using mixed-integer programs,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.877154Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:f586de465ef45e91ae18f00371d7910c76e8a2398bb395d9421f6c825a00b34e","observation_id":"113fd03d-3e5a-47e7-8289-2155a372c8da","resolution":{"observed_at":"2026-08-06T17:47:35.877154Z","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-06T17:47:35.943340Z","title":"Strengthened circle and Popov criteria for the stability analysis of feedback systems with ReLU neural networks,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:35.943340Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:d65facf9ef3872d3e4441096ac6457376f9b6221f64a20bba56e99d14445303b","observation_id":"9518fab7-0b4b-42fb-bec5-daf7a0551362","resolution":{"observed_at":"2026-08-06T17:47:35.943340Z","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-06T17:47:39.813901Z","title":"Stability analysis of model predictive controllers using mixed integer linear programming,","venue":null,"work_id":"af31656a-91ba-40d7-a4c0-73e6ea6d0ded","year":2016},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.040959Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:f4acf5378cb71781455aebc477024a6276e07384078b1bed08a0408a8b1096ff","observation_id":"a4ba29a1-77bd-4d7e-a181-2c67ec46a5cb","resolution":{"observed_at":"2026-08-06T17:47:39.919242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:36.102644Z","title":"Stability verification of neural network controllers using mixed-integer programming,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.102644Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:dbb11988f5cee6f4ca294217065323a1fbb4d1b7b7abc27c9a0e2a8feac70fbd","observation_id":"54727c10-b987-4be5-814a-e641f8b741d0","resolution":{"observed_at":"2026-08-06T17:47:36.102644Z","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-06T17:47:36.179895Z","title":"Linear systems with neural network nonlinearities: Improved stability analysis via acausal zames-falb multipliers,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.179895Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:ad856d472270a54da9821f37488d853662b7c29e614eacdac9f7294f153d8794","observation_id":"fe841b98-c21f-4af8-8f5f-dc98bf026205","resolution":{"observed_at":"2026-08-06T17:47:36.179895Z","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-06T17:47:36.231494Z","title":"Stability analysis using quadratic con- straints for systems with neural network controllers,","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.231494Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:ac9be31223ff04acf790139004f99fc66e1dcbc179ec822d81760d870a567399","observation_id":"751ceabd-16bc-4453-aaa2-732c7329ec5c","resolution":{"observed_at":"2026-08-06T17:47:36.231494Z","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-06T17:47:36.323585Z","title":"A convex parameterization of robust recurrent neural networks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.323585Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:f0196903154dccdcb32c9ac425bc089c189a919cf5e62f932a9598ec42a939a4","observation_id":"d86eefd8-c8b6-41ea-9825-8c0edff73927","resolution":{"observed_at":"2026-08-06T17:47:36.323585Z","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-06T17:47:36.382880Z","title":"Stability of non-linear neural feedback loops using sum of squares,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.382880Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:dfb85f5fc020fa80ea6fb50fc2c5bfb3fe77a4e9294f53099a3cb752cfe5fc74","observation_id":"74131a02-bfd6-47d6-bf3f-2233eb7906b4","resolution":{"observed_at":"2026-08-06T17:47:36.382880Z","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-06T17:47:36.434797Z","title":"Stability and performance verification of optimization-based controllers,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.434797Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:2c926557e9d82e0a0a133da4e7490c78816b1395cbed16756fc6e28e3c56bef2","observation_id":"a8b68fb5-bdf9-403d-97f5-4fb90200bac6","resolution":{"observed_at":"2026-08-06T17:47:36.434797Z","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-06T17:47:39.569134Z","title":"Recurrent equilibrium networks: Flexible dynamic models with guaranteed stability and robust- ness,","venue":null,"work_id":"c1fc5f7a-608a-446d-aef6-64a9f340823d","year":2024},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.489559Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:f7389462c76dcee7603647033671bb3f931424f145b882c292da46225a368564","observation_id":"929689d6-9d99-45cd-b56a-7c247db4a2c2","resolution":{"observed_at":"2026-08-06T17:47:39.666604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:39.357246Z","title":"Neural network verification using polynomial optimisation,","venue":null,"work_id":"d8fee298-bf66-4970-90b5-00cc2bc10181","year":2021},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.530974Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:1493441e7871e38d670b96838b3c5684e868551593cf837ab0889b419485f8bc","observation_id":"869a19b8-f130-4abf-87b7-e65fa7fd0ffc","resolution":{"observed_at":"2026-08-06T17:47:39.487185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:36.580145Z","title":"Semidefinite programming relaxations for semialgebraic problems,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.580145Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:784303a2ddeaeddced56146c9f741cef7546c07ebb728e71ce6d00f928027e66","observation_id":"1ac63832-9650-4e2e-8ef5-5afc9421e1fd","resolution":{"observed_at":"2026-08-06T17:47:36.580145Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.01732","last_updated":"2020-10-05T01:00:40Z","snapshot_observed_at":"2026-07-06T10:01:23.472948Z","submitted_at":"2020-10-05T01:00:40Z","title":"Lipschitz Bounded Equilibrium Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.01732","snapshot_observed_at":"2026-08-06T17:47:36.668196Z","title":"Lipschitz bounded equilibrium networks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.668196Z"},"links":{"cited_paper":"/paper/2010.01732","citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:0dc5f2abbee1142f2a3671fcd65965471aa549ae1c7dc197a64caa00a713576e","observation_id":"d4c4ef8c-5520-4674-9bb9-ab787310de81","resolution":{"observed_at":"2026-08-06T17:47:36.668196Z","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-06T17:47:39.159733Z","title":null,"venue":null,"work_id":"9afc6b3b-3ae0-4cc4-8131-e8d88bcfe7f7","year":2017},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.790661Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:cc33311a4a2a6ef73fa07b27a00a5334c4e5084bde21650db8b171b368f20434","observation_id":"553b9670-2010-4990-8379-7ac24972cb39","resolution":{"observed_at":"2026-08-06T17:47:39.269075Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:38.931113Z","title":"Control system analysis and design via the ’second method’ of Lyapunov,","venue":null,"work_id":"f8313dc5-9afb-4e68-9fc4-79c25f6a4cf1","year":1960},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.927013Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:55a1a6c35f96b268bf23296fbca12fead4b3f1c6a6007db9d76ddae2097e40c5","observation_id":"5fff63af-62fc-439a-99fd-788e2f4f7eb6","resolution":{"observed_at":"2026-08-06T17:47:39.081599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:38.765067Z","title":"Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation,","venue":null,"work_id":"926df59f-996c-4497-8793-24128ddd399c","year":2017},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:36.991493Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:f7e08b2961ee9aa8d3987da24ec3a917f8b9e62498a59ef4921aef2b3dbf27bc","observation_id":"2a5b492b-7237-47db-9b6f-04f02606eae7","resolution":{"observed_at":"2026-08-06T17:47:38.800392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:38.557494Z","title":"Region of attraction analysis via invariant sets,","venue":null,"work_id":"0e97a560-c293-4fde-8086-fe50a96fee6e","year":2014},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.050725Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:d30342dfd996a1ff41188e947f9be83a2bf989e292bc1f1f9e922d2eb385e9ac","observation_id":"26b8a6fd-7dbc-4553-b46f-7ac6d11afb62","resolution":{"observed_at":"2026-08-06T17:47:38.601366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:38.270377Z","title":null,"venue":null,"work_id":"428a15b6-32e0-489a-9c69-f4dfc47a2799","year":1996},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.131744Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:6b3ddb97c8701e430856aa7a4a86ea8c186821a8775fd629993a31488f1bdb29","observation_id":"cbc6d5db-fe40-4ad3-a39a-2540e149cdb9","resolution":{"observed_at":"2026-08-06T17:47:38.394149Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1310.4716","last_updated":"2021-12-27T23:37:26Z","snapshot_observed_at":"2026-07-06T03:25:51.729294Z","submitted_at":"2013-10-17T14:30:42Z","title":"SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1310.4716","snapshot_observed_at":"2026-08-06T17:47:37.190480Z","title":"Papachristodoulou, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.190480Z"},"links":{"cited_paper":"/paper/1310.4716","citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:2131d61af618aa234b1111f1c6e5e828caf70ee6964f01372b6cc4e15d074a8f","observation_id":"ad8e8f21-7507-4ebd-92a0-f5f64517ee82","resolution":{"observed_at":"2026-08-06T17:47:37.190480Z","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-06T17:47:38.078262Z","title":null,"venue":null,"work_id":"40b7ad90-e300-464f-93ab-0887b4e7108c","year":2023},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.305243Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:4f39ded5667bb7784b8289d9864d7fc97de46d0a780ea9c40bc1384d0a75a548","observation_id":"d8c89864-2db6-4cc3-8f0c-70a3b409a44a","resolution":{"observed_at":"2026-08-06T17:47:38.150300Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T17:47:37.442693Z","title":"Adam: A method for stochastic optimization,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.442693Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:495dbd8dec579c5a231e549236f02674a0584a07632075bcab9042fbcc813c3f","observation_id":"7ac18604-f89b-4935-8d69-3e21788a52a6","resolution":{"observed_at":"2026-08-06T17:47:37.442693Z","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-06T17:47:37.965308Z","title":"Invariant approximations of the minimal robust positively invariant set,","venue":null,"work_id":"29d33101-bb0c-455a-9642-f41b96cc2b26","year":2005},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.578484Z"},"links":{"citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:9cb1e4a7bd7a74aa79be632a473ce5ad2806857b7e1374b1bb6bf8a36e6cd9ca","observation_id":"845b0299-0e71-4f9e-9a49-75f6f09ab286","resolution":{"observed_at":"2026-08-06T17:47:38.012972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-06T17:47:37.489828Z","title":"Available: https://arxiv.org/abs/1412.6980","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-06T17:47:37.489828Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2507.10352"},"observation_digest":"sha256:5e890ca7f5f766619f57c5b72da376d52cc39f3fbf16dd53aff81c04db0248df","observation_id":"dbad984f-138a-4dc4-8c2e-963973246383","resolution":{"observed_at":"2026-08-06T17:47:37.489828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":0,"verified_fuzzy":12},"total_outbound_references":31},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 2 inbound Pith citation observations for arXiv:2507.10352."}