{"as_of":"2026-08-18T08:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8413a6a0f3e89b019451a6cd032f878677aedc422ee80e145fd9175858e7191","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-18T06:34:40.430872+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-14T18:38:35.120721Z","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-14T18:38:54.146258Z","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:706fc3a29313f6cb3781afc07bc80539c4fb7d169107c7b8ebd5b682d882eb20","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-14T18:38:35.120721Z","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-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":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:7f5b4f7f341fe2c0eea06cb29f1f3c2ff3183089571c8fe16dd98d8d032bdd30","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:2b1ad8fa9c211abf0f9f6830920c1bd40ec238165967336fc87882c56478dc99","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-14T18:38:35.120721Z","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:e5cc307f515df21349ebfc595f1e5279c7ea0d973b1f9d20085c3a0c6e839b7b","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-14T18:38:35.120721Z","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:f31a5293ed1746a6ba8cda14835bd6b0bff9ea55573e316abaaf79e9edf22266","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-14T18:38:35.120721Z","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:80f585da865e8dc7c42efb92c2dc00fb3d7aa828d72dc5dbf07642c8a55c0dd4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:fcb4e3179b60a717c62c18cb04ba378e8afef836142d1923ca5ca02b6907b76e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:919589af32a7a0bbf979909ea7f3ecdb10b9869ac402260220d51492ec0aad21","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:1f5d73babdae3ea8968abc803f3bff096b5a5b33ab4fdd43fec171f7a0b95c18","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:a97e34e5754ac6c2031aa11d72497cc3da1e901983bd74dfe785c655189c1798","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:d1254342743a56d9400c419eaa9ab381627aa56d6246e69674943387cc396eaa","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-14T18:38:35.120721Z","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:84ce4c9578c89a52cddb83a4161c9e2a7bbd14955788d6dfb5bf939fa61101eb","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-14T18:38:35.120721Z","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:b94252aec290ad0e333ccffe7217aa42bb700ed37efa1a64179125919fc6a479","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:e7ed18e7e8466c8f1fc573dd8a0ba77c2f0a870b02a0d1811f601426f41e3c33","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-14T18:38:35.120721Z","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:5ece42a26ab28b5e48236058886c161bb646c8ad0e9cabbd2ad340140f6ed568","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-14T18:38:35.120721Z","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:49fe07cf12d97a722c0b48f9f03407b3b4b22dafa1f848b33090b9fd40555592","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-14T18:38:35.120721Z","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:5893b481d105164861b19373015a899db8c59a557c93a0c9a0c254d1b768d5de","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-14T18:38:35.120721Z","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:6276009c458994125b428de0d5d5920d613e57321dbf8913ba80386b416f6aae","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-14T18:38:35.120721Z","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:a1fa63c8a4582c82f6a03c93e6b86daf05b01d1b4e65eb17c6cbf881fb62265c","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-14T18:38:35.120721Z","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:b6399761b0a9f181422e0932a28ad1c1683c3f7d3ce329c099e5005b5f503f66","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:774c3cb92f9578b79c37665d3475e0a2dd80a731644ba8f33245d746da463616","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:72f372856192a9ba58bff4ef78a91bc5c3dce929b1a9a091e8294973a5ae5617","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-08-16T19:15:57.425607Z","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-14T18:38:35.120721Z","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:ddf551a3811c75daada25432fcdede3c1b71398924e64d5a3d814bfd12396311","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-14T18:38:35.120721Z","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:385f8c45c5cd35e244e379f258ed090a73edfdbafe355db6ca28050d5498e19a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:c326003427755941f010dde314243450b27cd8e3b37e99bceabf6ffeaa61b4d3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:b2f2abf22926ffeffea7e9f8d55ebce79ce8c33df30e99dc425d2ca5af0e280d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:ba1872bc7c6baa229b79f521a0737a326445eecf2ac22225e97687a6ed3ba44e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:8fa8f3e9b895659312ac2d43f9c887f5b2ee7d244ef9adca195f04e141794b38","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-16T00:35:02.259584Z","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-14T18:38:35.120721Z","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:d3f22bb6f8c5e9880912c383071e1f467ba248a1338a899aaeca7b036d8a1bfe","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-14T18:38:35.120721Z","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:f1567703dc5792d29ec94069ad1a58d491b1f207d73e40376ca254c1f93d8c3c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T18:38:35.120721Z","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:57a1f25124f832f93677b092e9b8db8f7712cdb1a526ecb1a70a0d8c4e253edb","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-14T18:38:35.120721Z","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:81e09911da97400da70fdcdad127e088b4a4768a28db1a1bd5000dabe921959c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-17T19:26:44.032537Z","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-14T18:38:35.120721Z","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:0b768de0743f12395c000ea4c8c972368b110351f4b02d6136e158d8dbe0da35","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-14T18:38:35.120721Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 2 inbound Pith citation observations for arXiv:2507.10352."}