{"as_of":"2026-08-08T23:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c2d2fe22dae095ff80ff13f480cf842409af4287c9a42eb837c30ad302c1819f","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T06:54:29.832222Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.11122/citation-record","integrity":"/paper/2607.11122/integrity","json":"/paper/2607.11122/citation-record.json","paper":"/paper/2607.11122"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T06:54:29.832222Z","title":"Implicit deep learning,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:df4b87f042033b6e09d8f7bf5d6905e02375c8175ed9059363e105882c19ea9d","observation_id":"f8f7f592-a1d6-4d61-8041-0e63c2e84ba7","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Identification and control of dynamical systems using neural networks,","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:a4fb3a6543349a9d676a79fbd44ddf992927ab7b77ac65c38b83306cc36b181f","observation_id":"d62ab93d-263b-4de1-b166-d21581c37e4b","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:78f02ee6394fee5918badaae289338abcf96d122ff7bcd913286fde71e5a9428","observation_id":"70def3b5-7165-47b1-9520-85d7a1bd33cb","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:e7ffeae0260a85def9b45e4dd5d4766f264fa6840a3e4993811f99b68dfa0f80","observation_id":"399883a5-00b0-4531-86af-b30d83ba1298","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Control of dynamical systems with neural networks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:d4e837fbbf0ee98fd96ca8c92adeb4374f67fb6383f88bd66b7bbebdb36edc86","observation_id":"d19e5f6c-f446-49da-bb74-f17defadfdcf","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","resolver_source":null,"status":"malformed_identifier"},"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-07-14T06:54:29.832222Z","title":"Human-level control through deep reinforcement learning,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:385dc014918738a2024579b45af588a4791da1f159fc1169c9e06386910c3cfb","observation_id":"f231d546-38bc-44eb-bc87-12d056024b55","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Magnetic control of tokamak plasmas through deep reinforcement learning,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:cc56d3a515a0a72ba937255fded443f2ec71682f6e58e78b8f28b73d9509a785","observation_id":"e52beef4-2c0f-45f4-ada7-b98a487b2200","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Neural net based model predictive control,","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:45b03f4e029de53a532d0bbd85a2fdf412f84fd80c9a1136fa1b44862cf79d91","observation_id":"23c78e0e-66aa-41ca-b458-5a15ff131ab2","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Model predictive control using neural networks,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:79ad0b44e263eea5e1c26d6056bdb91df74a7e6bf548dca170940771d64e4d01","observation_id":"a7a0b804-de47-4006-ac98-89adaa3e1cd2","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"OptNet: Differentiable optimization as a layer in neural networks,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:0aaa9006129399912d18fc69b5a1e8ccecb3ea6a99275795903bd2c7151a19e9","observation_id":"8998fda3-7553-450b-a825-ec8473066655","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Differentiable MPC for end-to-end planning and control,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:5e657d44be541e4a9144d66ba30c193267c95c06bc8274c3fcfbbb3032eeb84e","observation_id":"a5437605-f324-49bd-944e-0dadaf53aa48","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Neural ordinary differential equations,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:daf86f07c7daa8d5ca670fdba966ce5bda8da5441a5374a5079940b80232dd47","observation_id":"04590047-07b2-480f-8fe6-013d0c992f29","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Sparse identification of nonlinear dynamics for model predictive control in the low-data limit,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:3f3ded87e2c67c97c718c83f8aed710ffb223339adeb0235e6c466a689188b95","observation_id":"3015aebb-d412-4668-8b46-b8d08a54ae1a","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Deep equilibrium models,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:4d7ac40008024dc4f96555467cb920c69d02079af1dcc31c07567c93187291f1","observation_id":"a35dc16a-9f7f-4cc0-b5bb-a5e4d3699c02","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:c461170bde405eded2a4f4ee73c4a102182db93c8cd1d53da9b5a12e83242f1f","observation_id":"6c8bc5e7-7944-477e-9709-524ca3415e5f","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"System analysis via integral quadratic constraints,","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:48ce4b988fb9d5ad31084432b9c979faacb371ed13dea4ebda6b978155a0171c","observation_id":"5527747d-3d88-4a92-83ec-b9804d2a8aaa","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:c2a0f09dbcd058be9f9768cf235e28940bf0a44ec2d73ff887246aa944b2e2bc","observation_id":"4e1b2527-e364-412e-b7eb-614da3f69d86","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:9ccc06332319b784f12ce102d5f6f4cba71ffb819602d6ab1787f03a796adbbd","observation_id":"483196fb-7584-4336-9474-5fbb7b3db646","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Semidefinite relaxations for certifying robustness to adversarial examples,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:ae2081da988f027ff0527d21b53305b606bb93040997501bd4a66dfb2c7d3925","observation_id":"a3f18b74-bd32-4e78-965e-c6d649fd1168","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:db00129f68029f2dc54b2de07612176e4f2592d8cb2e9897cbbb6c7fb6487d32","observation_id":"a805e5dc-90ee-4d00-9e1f-82a3b5888b9e","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Stability analysis using quadratic con- straints for systems with neural network controllers,","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:691467c64cc0ffb2695f464a22c9c313280cfe4e07d4b51186d4ad8e4b210718","observation_id":"2eccfd4a-f3d6-4c8d-937d-1ed516720d3f","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.07373","last_updated":"2026-05-30T01:41:43Z","snapshot_observed_at":"2026-07-06T17:58:35.401092Z","submitted_at":"2024-04-10T22:15:28Z","title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.07373","snapshot_observed_at":"2026-07-14T06:54:29.832222Z","title":"Synthesizing neural network controllers with closed-loop dissipativity guarantees,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"cited_paper":"/paper/2404.07373","citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:0c38c26f78b76e64b9191892955e468cdd7cf734f2db1c6622ac4bd43c83445d","observation_id":"778bb87d-88df-46d6-8b4a-8080e1575801","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Linear systems with state and control constraints: The theory and application of maximal output admissible sets,","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:dea854419d1f9a68d5ae9f37e8175eaf4392b4b1c36a7f7490ec75591c835dab","observation_id":"e3b0ed16-107a-45f8-aff1-13aed18f9519","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Tarbouriech, G","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:a385d4355f7d8d2f793c28eafb04fee2085f00dd9908f3a0dcd0d80aef7b2c2d","observation_id":"45fc471b-05c5-4f6d-a803-e296e6019cd9","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"The explicit linear quadratic regulator for constrained systems,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:153f7f4b4cc399a08b76141dedf1ef73fb3c1cc1fded8ff807c46ba9066a7bb3","observation_id":"b58b3a73-6c87-4735-9a9c-7d4c0ef57107","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:4505977547f2620b7425d838456b2c7560a1874c9b1f349e26348a8342bbcc6d","observation_id":"d2e29cd4-9b66-43ea-8d37-f1dc74b7ed44","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":"Boyd and L","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:7ec60389a17357a3e49f65735773a058d41ce6a4e1ccf6e03d5540b4851ef4d2","observation_id":"c6551fe0-f018-4a52-a0fb-14ea90c1124c","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","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-07-14T06:54:29.832222Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-14T06:54:29.832222Z"},"links":{"citing_paper":"/paper/2607.11122"},"observation_digest":"sha256:b3a2d71cb0babb214a4686f814d09b572a2fe69a7926e8ac4b4fff747398b35b","observation_id":"4c2c03ec-5f32-4ce3-859a-fb045a5a31c6","resolution":{"observed_at":"2026-07-14T06:54:29.832222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.11122","last_updated":"2026-07-13T05:56:49Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-02T12:51:59.587714Z","submitted_at":"2026-07-13T05:56:49Z","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":27,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":28},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2607.11122."}