{"as_of":"2026-08-21T11:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a7799f672ee75056f3677e6089127c0072ae49c210bc4b53b319773ed0dc60c3","coverage":[{"denominator":102,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T16:19:18.692686Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2605.26577/citation-record","integrity":"/paper/2605.26577/integrity","json":"/paper/2605.26577/citation-record.json","paper":"/paper/2605.26577"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Champion-level drone racing using deep rein- forcement learning,","venue":null,"work_id":null,"year":2023},"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":1,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4ccc8753326615fdc7566b85e8514bace91e0597edc7c71498b01c49c7158ea0","observation_id":"fea80758-c476-4a2d-b730-fb5ee3d81dd2","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Applications of machine learning in real-time control systems: a review,","venue":null,"work_id":null,"year":2024},"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":2,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:33b9033b623939db2dfea05c1cedea27fc21c71801c9ecf0b2e5a26cbc83827d","observation_id":"244494de-cca7-4cee-a932-4df5875bb6e0","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"(deep) reinforcement learning for electric power system control and related problems: A short review and perspectives,","venue":null,"work_id":null,"year":2019},"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":3,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:893a07b4fc373e27f9d48a6126f3844ac96068c54bb356745e7659b9a5a2ec9a","observation_id":"1af9344c-e18f-4134-bea2-a3f50b0f28fc","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Reinforcement learning for control: Performance, stability, and deep approximators,","venue":null,"work_id":null,"year":2018},"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":4,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:1020118bf3f44f26a072145bd26a6e9ac696562cd9b25e2f7ac5908380c7a111","observation_id":"bfba68b2-4805-4bb9-985e-3bd40f87ae4d","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Verification approaches for learning-enabled autonomous cyber–physical systems,","venue":null,"work_id":null,"year":2020},"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":5,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:40f1af2e8074b8ad5c7f8f97b4ee90871af4de4951e18a07a6f366b78f6c28a9","observation_id":"5b80c9bb-c9dd-457e-8fc6-405068eacf3a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Safe control with learned certifi- cates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,","venue":null,"work_id":null,"year":2023},"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":6,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:edb961afba44144f5162153cccedc72c9c95fd44bc5daf6930a35477cf582b66","observation_id":"ccf69ed1-e836-466f-8e1b-fec32814ab02","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Neural lyapunov control,","venue":null,"work_id":null,"year":2019},"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":7,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:f0a6feda6bce933aa2ceff014fa1f5db86406c4a2d3f19356c84bd2bac6bceed","observation_id":"a8d2be60-dce0-415f-a32b-02c658d68615","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Formal synthesis of stochas- tic systems via control barrier certificates,","venue":null,"work_id":null,"year":2020},"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":8,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4cbbf57947af1372f73d4164563a36f1ca8ac25a6276e8887205297eb246822a","observation_id":"3687d2e0-2011-4dd3-b6ef-309067a8830a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Formally verified physics-informed neural control lyapunov functions,","venue":null,"work_id":null,"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":9,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:c7c2dfc6f4bca9718e2244e8372b9984b7eaba44e4698ce57b7979845d487519","observation_id":"509a166c-dbe8-4ac9-bd03-6fa55aa2ebf3","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification,","venue":null,"work_id":null,"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":10,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:cca7aa7d0900fcc6892ad12df50605c47bc5dee099fad5bbe554680f9d539124","observation_id":"89f0d461-077e-4638-bb5d-437a9903ae33","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Learning regions of attraction in unknown dynamical systems via zubov-koopman lifting: Regularities and convergence,","venue":null,"work_id":null,"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":11,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4305981d1ff91214521e020eda0788c45b8e105c81f2dcbeb9e80b852f7bc245","observation_id":"05f644cf-0194-40a9-8c0f-37f527d26604","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Tool lyznet: A lightweight python tool for learning and verifying neural lyapunov functions and regions of attraction,","venue":null,"work_id":null,"year":2024},"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":12,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:739b537794b1aae612593824feddaed3d09f81e63369336f4c79ced46deeb2dc","observation_id":"c7299d7e-e72f-4fae-a5d6-f6a067b49f05","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Actor-critic physics-informed neural lya- punov control,","venue":null,"work_id":null,"year":2024},"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":13,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:de42ad2b880f72703408e074b61d49a27c17f2b8974ddf7a9e606ba832bbbce3","observation_id":"5fc2e47f-cf17-49ab-9090-4cbdbeb749ff","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,","venue":null,"work_id":null,"year":2024},"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":14,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:b6da04beb0fea00cc7ce6ee90a2bc0ea2ff860c1f251b930fe6296a704cb3985","observation_id":"dfefd063-9a5f-4f5b-af14-555f5c65512a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Towards learning and verifying maximal neural lyapunov functions,","venue":null,"work_id":null,"year":2023},"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":15,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:af47b1f3d86568bc44975445ee6f429cb3052ea7e18cb93210349513b2b9c177","observation_id":"7469d996-818b-46db-9fde-60efa18b4174","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"dreal: An smt solver for nonlinear theories over the reals,","venue":null,"work_id":null,"year":2013},"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":16,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:cef1048d1126fa8d74d09f995e970e7dc1b043fce4f310d02578ac2768f7524e","observation_id":"f919847f-93a7-48fc-a2af-d72be38e2041","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Z3: An efficient smt solver,","venue":null,"work_id":null,"year":2008},"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":17,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:8046a0a019866d07bc2eb2ab905b10a8341e8523f3b9f392b846a18b88f0568b","observation_id":"c662ce75-a5c9-41cc-b713-627428984e5d","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.07356","last_updated":"2019-02-18T04:39:10Z","snapshot_observed_at":"2026-08-17T22:18:35.161858Z","submitted_at":"2017-11-20T15:05:33Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","version":3},"cited_work":{"arxiv_id":"1711.07356","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.07356","snapshot_observed_at":"2026-07-03T00:17:29.235187Z","title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","venue":"cs.LG","work_id":"6675e600-5a2b-4411-b255-3136020fc288","year":2017},"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":18,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1711.07356","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:730a7f02234a33a3b4ad84298a7e45cb0964bf1c7a0b53e09ca2a5dad5e89886","observation_id":"31d9982f-a35b-4259-8dc2-111b78f907ee","resolution":{"observed_at":"2026-06-29T16:23:39.377751Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Reluplex: An efficient smt solver for verifying deep neural net- works,","venue":null,"work_id":null,"year":2017},"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":19,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:94f8bd9f2050f9ba5ac4154ab4c96036db61c696176dd702489c57d89e9faf2c","observation_id":"5f46d9e6-cb6c-4b02-9807-bc3b3e5be893","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"The marabou framework for verification and analysis of deep neural networks,","venue":null,"work_id":null,"year":2019},"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":20,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:909c3dcc0739d820979cfa27b7f034ddcc6bc31d8fc559bfbca21a24746c1de9","observation_id":"a1882a96-f42c-4ed0-903f-fe92087113db","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Stability and feasibility of neural network- based controllers via output range analysis,","venue":null,"work_id":null,"year":2020},"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":21,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:7c6cb992aed947885ce640cdcfd105fe7d04a1f4ea7ce9757e106c9a2e526014","observation_id":"47c48855-92e5-40c7-9cc1-6875fe1a05e4","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.14152","last_updated":"2021-09-29T02:40:32Z","snapshot_observed_at":"2026-08-16T17:53:15.842577Z","submitted_at":"2021-09-29T02:40:32Z","title":"Lyapunov-stable neural-network control","version":1},"cited_work":{"arxiv_id":"2109.14152","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2109.14152","snapshot_observed_at":"2026-07-01T13:05:44.250893Z","title":"Lyapunov-stable neural-network control","venue":null,"work_id":"9d0b3600-3917-414b-89c6-b478566ea2cd","year":2021},"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":22,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2109.14152","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:cf1941d4ab5b409b4f290e236fb64078b2279186b0a40fd1ded7ca775f0f481b","observation_id":"c55bda56-e24b-448b-8bcb-08da4be895b6","resolution":{"observed_at":"2026-06-29T16:23:39.380491Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Neural lyapunov control for discrete-time systems,","venue":null,"work_id":null,"year":2023},"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":23,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2b2809399d074d4801233d3f6d58a80a3d402246443a9b5c270efbf8d0738715","observation_id":"4c1cbb17-793b-43d9-be98-67edfa7b4ad7","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"A tutorial on sum of squares techniques for systems analysis,","venue":null,"work_id":null,"year":2005},"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":24,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:237955de5240e0d3cd810df2f35fe27def90b0a77997597661a7f3bf38157c2c","observation_id":"ebf7d0ab-b3df-4706-a2f0-cde2b78d3cdd","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Stability analysis using quadratic constraints for systems with neural network controllers,","venue":null,"work_id":null,"year":1980},"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":25,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:be184525e80c10fd8037987cb0fb60bc7949f19cb0cd1cdf79d3c4a37fc8bfd7","observation_id":"e67b9c99-eba8-430f-b4ba-f8a1cfcbf072","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Verification and synthesis of compatible control lyapunov and control barrier functions,","venue":null,"work_id":null,"year":2024},"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":26,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:d75314f23853711adc5cdf5e1d498a1a6b3d36d6fd2b42d958e2adadeae913c7","observation_id":"9a950b84-6bdd-43e3-ab02-6c48eeb91eb4","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Stability of non-linear neural feedback loops using sum of squares,","venue":null,"work_id":null,"year":2022},"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":27,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:9c3e1d46b9d97b13bc002db71c545e83875e87206c0cf14b03516cfd4e070972","observation_id":"4d99a74f-5cd2-475c-aa64-2b51c697c067","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-18T23:16:45.378085Z","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:c829a70a2590a896ef0e313c32335aec84cca3b6352347e486ed52e5b1b76567","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Imitation learning with stability and safety guarantees,","venue":null,"work_id":null,"year":2021},"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":29,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:713d0d0c6025033ef9d34c13d7cd124cf4fbd4be6659b80b4820c5b4de46a5d1","observation_id":"8e9b5d7a-17aa-40d3-a8fd-87b1bb2bfc61","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"A semialgebraic framework for verification and synthe- sis of control barrier functions,","venue":null,"work_id":null,"year":2024},"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":30,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:85038caace5697edccea82531f3dc9a8721c06a13df0bea1cb5571176bdad73e","observation_id":"68bef539-cc2a-4e8f-822b-4d352574061a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Control contraction metric synthesis for discrete-time nonlinear systems,","venue":null,"work_id":null,"year":2021},"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":31,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2af2a28dc182159109a56bac7d86caa26120c0299d9031a3fa43968e32d1ca00","observation_id":"1d266512-4660-4c27-a7ed-0d6b4bcff665","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Lqr- trees: Feedback motion planning via sums-of-squares verification,","venue":null,"work_id":null,"year":2010},"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":32,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:bcbe36a168cb47ca6f8ff031b51d9338c1bed8acd6a1c8ab25ce6257bfefd757","observation_id":"a3f94f8b-ac4e-420c-8f09-2bc11c862abd","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Safety index synthesis via sum-of-squares programming,","venue":null,"work_id":null,"year":2023},"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":33,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:13345ea9829df55de12e0b4309a2393f871b3718e8a3b449b6f73f605e344396","observation_id":"b8d81bc3-4391-4ad7-a06b-3185cf60d4c8","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Verification of neural control barrier functions with symbolic derivative bounds propagation,","venue":null,"work_id":null,"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":34,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:d6a16cfc0726eca89d580c7aea150e5764d5eef54e50a28501415e8103c394a5","observation_id":"d3b524b8-fbef-48fa-b776-e3b32a7f5802","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Exact verification of relu neural control barrier functions,","venue":null,"work_id":null,"year":2023},"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":35,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:800669b2dfe15df2a7e1544259eea2fd13f20d86997e47a50cf973a5ba67154b","observation_id":"5f2a0b4d-0e40-4773-b49d-0d6480f72295","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-11T05:57:33.265461Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"cited_work":{"arxiv_id":"2511.06341","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.06341","snapshot_observed_at":"2026-06-29T16:23:39.420462Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","venue":"cs.LG","work_id":"4cc677d3-05e9-4ed7-99cd-898ffab1e034","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":36,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2511.06341","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:13fbcb3ecca8b18ee712851531082e3aa3ae6cc762308a95a6ee817f646a763e","observation_id":"04b00fcb-a082-453d-a1f8-58fd1d63d225","resolution":{"observed_at":"2026-06-29T16:23:39.421657Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Real-time safe control of neural network dynamic models with sound approximation,","venue":null,"work_id":null,"year":2024},"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":37,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:5d89ee3ebf13a9a86f5cafd40a78a670cebde7fcfa09964dd81cbd07173e97f7","observation_id":"1d67c35e-45c7-4171-9212-b9e293905631","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Verifiable safety q-filters via hamilton-jacobi reachability and multiplicative q-networks,","venue":null,"work_id":null,"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":38,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:6a8af6dc86aaae64a6eb3e02091b8b98864d554e711fe88a54c073228e83f22e","observation_id":"b62c8246-e4f1-4cd0-95f3-0775ec09ff59","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope,","venue":null,"work_id":null,"year":2018},"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":39,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2dfcf42ffcb050835c0e3ea2090fdb79baa5eb6a82a4a683207f806375401223","observation_id":"ac29b39a-c60d-4e35-9dee-92dc3be8720f","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1801.09344","last_updated":"2020-10-31T23:38:30Z","snapshot_observed_at":"2026-08-14T19:51:15.176190Z","submitted_at":"2018-01-29T02:08:21Z","title":"Certified Defenses against Adversarial Examples","version":2},"cited_work":{"arxiv_id":"1801.09344","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1801.09344","snapshot_observed_at":"2026-06-29T16:23:39.422776Z","title":"Certified defenses against adversarial examples","venue":null,"work_id":"e842cd67-0449-48bb-a778-48ff522c1d08","year":2018},"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":40,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1801.09344","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:20db595e5ba16080c5a4357793dc20c83b12e5870676a0e4b8e088615a811826","observation_id":"f6724ee7-185f-41ee-8d25-374b9efd57c6","resolution":{"observed_at":"2026-06-29T16:23:39.424150Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"A unified view of sdp-based neural network verification through completely positive programming,","venue":null,"work_id":null,"year":2022},"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":41,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:9eee030320675a1703454be8cbf53269f04d4ad62e24647230a6779c7bb5b3a7","observation_id":"1f7c5128-fe47-454c-8e0b-e4dcc2e11443","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Ai2: Safety and robustness certification of neural networks with abstract interpretation,","venue":null,"work_id":null,"year":2018},"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":42,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:bbe33b83c255fb4f05ccf1ee0e3666359456d5181c5fa902c9ea27a0a35e3910","observation_id":"9d9041a8-cc5c-431f-8641-78083298472f","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Fast and effective robustness certification,","venue":null,"work_id":null,"year":2018},"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":43,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:dee8fd5b3a71076022ddc17852badd864732442d2770fa0134d34641d93eb404","observation_id":"9660a383-adb2-4cfd-bcaa-c7ec035e9a26","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-19T11:14:47.905269Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":"1811.00866","doi":"10.48550/arxiv.1811.00866","metadata_source":"pith","pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","venue":"cs.LG","work_id":"bc24cb0c-915a-4373-a8fb-2ca1bc809038","year":2018},"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":44,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:323634f0f046ab2644e2496329bf07f4527eaf48760ce6430cacc664ae35dc81","observation_id":"e8e07e6c-b756-4d6f-88d5-4d4f806e3d25","resolution":{"observed_at":"2026-06-29T16:23:39.409148Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Efficient interaction- aware interval analysis of neural network feedback loops,","venue":null,"work_id":null,"year":2024},"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":45,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:885973fc3109e1aea01fb919b6e3861c3b22d2416225a8ebb74eeed7817dbdf3","observation_id":"983ad89c-98c7-45cd-b0c8-84d0b582d80c","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Interval reachability of nonlinear dynamical systems with neural network controllers,","venue":null,"work_id":null,"year":2023},"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":46,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:061579c53ac6a5dbc235dc75e59e2ce4746751d7b96e22d9de360213d06c6be7","observation_id":"3148c4d3-3873-4c21-8d38-be9fb7f076f0","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-14T18:07:07.555009Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":"1810.12715","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-07-04T16:09:56.544822Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":"5b5a8476-61fa-49bf-b72b-3064818f2d1d","year":2018},"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":47,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:100ee9728a1ba080b0cbca350533ae24789f3e58c12c5ff543f4315edcfe3784","observation_id":"16e2763d-b3cd-4e03-81ce-06ce0da1ce5f","resolution":{"observed_at":"2026-06-29T16:23:39.411639Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"A convex relaxation barrier to tight robustness verification of neural networks,","venue":null,"work_id":null,"year":2019},"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":48,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2468ec6a8373ba3c9e1d5ee027ffefd20c42d5da9735ad1a660284c6dbf451d1","observation_id":"6f612f12-5c38-4ef9-8378-7afb7d7a1330","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond,","venue":null,"work_id":null,"year":2020},"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":49,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:c7523c479648abdf69ed64ae02b19d9eff084fcb98d3da60ccf41876ea9f790a","observation_id":"2a54124c-635b-4f06-a351-fc734f1b83f0","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,","venue":null,"work_id":null,"year":2021},"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":50,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4f053ea1979b844197a2a39125ec6150f3ae491bb287496557ce967aa7637f92","observation_id":"57f6a967-ffe0-4231-8de7-c5676db73ab4","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Beta-CROWN: Efficient bound propagation with per- neuron split constraints for complete and incomplete neural network verification,","venue":null,"work_id":null,"year":2021},"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":51,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:098fdf9fb602e9f6326fbe096c1c266ec43c975acc6be2affb6fb44bb79c7ffb","observation_id":"ada36107-6a7e-4fd5-87f3-2a813f3b2173","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"General cutting planes for bound-propagation-based neural network verification,","venue":null,"work_id":null,"year":2022},"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":52,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:5d01c0ba8599f87fd1256f6dae8ae9c55dcfe75794aa198f113de97ce169b81c","observation_id":"0e71f52d-0f40-4c31-b500-dbf70a87dfe7","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Prov- ably bounding neural network preimages,","venue":null,"work_id":null,"year":2023},"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":53,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:77de79108733e411c87f771cab8415e31d1631b4a56a5b5fe97244af4ec82b47","observation_id":"5bf48291-d3be-4628-b0a3-6afd696944ba","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Scalable neural network verification with branch-and-bound inferred cutting planes,","venue":null,"work_id":null,"year":2024},"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":54,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:eaabb28ef36fd839c97395a4b18f901d7f68c484580218449eb046a90939165a","observation_id":"3d44e226-4720-4769-8134-1f27dd1add15","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Neural network verification with branch-and-bound for general nonlinearities,","venue":null,"work_id":null,"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":55,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:22eac2c5df3b81ae7617a73967feb804bd5209f7231c3e3c081e79b27781db80","observation_id":"b41bdd11-dfb1-4fde-8402-e70d91ec0b2c","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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":"2512.11087","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:23:39.412695Z","title":"Clip-and-verify: Linear constraint-driven domain clip- ping for accelerating neural network verification,","venue":null,"work_id":"eeef5fcb-e7d5-4a3e-819f-4b46b61e0faa","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":56,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4fb786a8546725a6abe29c77b1601eea34543a5b517357aa53dfc1f7bd22b482","observation_id":"af25be14-77cd-420c-8568-376e2f883cc9","resolution":{"observed_at":"2026-06-29T16:23:39.414272Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.07956","last_updated":"2024-06-05T00:30:57Z","snapshot_observed_at":"2026-08-16T14:01:39.030092Z","submitted_at":"2024-04-11T17:49:15Z","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","version":2},"cited_work":{"arxiv_id":"2404.07956","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.07956","snapshot_observed_at":"2026-06-29T22:13:59.830942Z","title":"Lyapunov-stable neural control for state and output feedback: A novel formulation for efficient synthesis and verification","venue":null,"work_id":"4d593bb8-397f-474b-93ab-553ce4fcc9e7","year":2024},"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":57,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2404.07956","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4909e48cdcb3cf59e4b3b7237bbbf25a70f8d6c8b3aa332febdea1088386d3aa","observation_id":"f8db912f-50d6-4d36-9391-96a26b17e53f","resolution":{"observed_at":"2026-06-29T16:23:39.388994Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.18235","last_updated":"2026-04-06T08:09:44Z","snapshot_observed_at":"2026-08-17T20:59:53.082699Z","submitted_at":"2024-11-27T11:12:46Z","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","version":3},"cited_work":{"arxiv_id":"2411.18235","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.18235","snapshot_observed_at":"2026-06-29T22:13:59.869865Z","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","venue":"cs.LG","work_id":"00b2e22a-7951-483e-aa90-3455e4b09991","year":2024},"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":58,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2411.18235","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:7def8ba95cad0a00a3dce3ccc5b519aa2f9037838403ee795a1f96c8d6e1109a","observation_id":"86836f69-edb1-4d82-a712-cc39a6f5784d","resolution":{"observed_at":"2026-06-29T16:23:39.386258Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17102","last_updated":"2025-04-23T21:27:32Z","snapshot_observed_at":"2026-08-19T12:45:09.489896Z","submitted_at":"2025-04-23T21:27:32Z","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","version":1},"cited_work":{"arxiv_id":"2504.17102","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17102","snapshot_observed_at":"2026-06-29T22:13:59.863161Z","title":"Neural contraction metrics with formal guarantees for discrete-time nonlinear dynamical systems.arXiv preprint arXiv:2504.17102, 2025","venue":null,"work_id":"3d27eb33-c382-4999-88df-8059039b6860","year":2025},"citing_paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","snapshot_observed_at":"2026-08-13T19:36:43.125073Z","submitted_at":"2026-05-26T05:49:19Z","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2504.17102","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:cca281dcee24d7aa6d11e08ef57047c6be11ea01723a7e46ef5f2f01d8064639","observation_id":"602441d1-0930-4876-be9c-a4b993d92a98","resolution":{"observed_at":"2026-06-29T16:23:39.396393Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13961","last_updated":"2025-06-16T20:09:51Z","snapshot_observed_at":"2026-08-17T21:05:40.609747Z","submitted_at":"2025-06-16T20:09:51Z","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","version":1},"cited_work":{"arxiv_id":"2506.13961","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.13961","snapshot_observed_at":"2026-06-29T16:23:39.397573Z","title":"Safe domains of at- traction for discrete-time nonlinear systems: Characterization and ver- ifiable neural network estimation,","venue":null,"work_id":"d7599a49-29f1-4bc5-a833-fbeb1486d4b7","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":60,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2506.13961","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:1812b9d882a86151467f6228282d2b540f0e45f2633ae8332d0123e6a2df9023","observation_id":"5e822be0-15bc-46ff-8a82-08ba671020ec","resolution":{"observed_at":"2026-06-29T16:23:39.399602Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2506.01356","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T22:13:59.843913Z","title":"Two-stage learning of stabilizing neural controllers via Zubov sampling and iterative domain expansion","venue":null,"work_id":"a2399346-d88c-4f62-991e-af21443e1375","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":61,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:0b8fc7edddf5687cf159fc8392b7950371e8706e0634bd9d243c7aa047dde9ae","observation_id":"2d632cae-fc8f-43c2-9a30-affd1ff586a2","resolution":{"observed_at":"2026-06-29T16:23:39.403237Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Flow*: An ana- lyzer for non-linear hybrid systems,","venue":null,"work_id":null,"year":2013},"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":62,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:ff96d2e6a06961c517b23e6745e3e568d9caeb15b250e5798033298f97e5f561","observation_id":"0770e857-1887-4864-99ed-1d7d6b72fe19","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Set propagation techniques for reachability analysis,","venue":null,"work_id":null,"year":2021},"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":63,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:a0c18bde2cb3da67883f185925e85b31b7da5d3d404492e857005e8c254455ee","observation_id":"a89b938f-0ddc-4194-bdae-1174831c24ec","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Nnv: the neural network verification tool for deep neural networks and learning-enabled cyber- physical systems,","venue":null,"work_id":null,"year":2020},"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":64,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:471308b62b5bdfaf9fa0f9806368687de70eff41e32887ddedade9616608fcdf","observation_id":"bcf6ac2c-071a-42c1-9c39-8899a1625e7f","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Reachability analysis of neural network control systems,","venue":null,"work_id":null,"year":2023},"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":65,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:6f2738f2113342f7a8c92b2fffa1604b2d9348a29396b3645ad4ee5920f12a10","observation_id":"7f3a04fc-639d-446b-a7ba-68a2bd5237f6","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Reachability analysis of neural network control systems with tunable accuracy and efficiency,","venue":null,"work_id":null,"year":2024},"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":66,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:14118ca89066e1246e1b6598cd63b75661710688e3913c3c6b5068324be64f94","observation_id":"fc310e2a-b327-4159-8b13-3f32ab071c03","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Safe reach set computation via neural barrier certificates,","venue":null,"work_id":null,"year":2024},"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":67,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:c31edb664c6ddde5c21bcd228f7189d486c470ae26a94773d93ab37847edf485","observation_id":"0c834f11-a774-49b4-b4b4-c4819d174ed7","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Parallel differentiable reachability for learning and planning with certified neural dynamics and controllers,","venue":null,"work_id":null,"year":2026},"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":68,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:ba8940435576d0383c5a4bffa420c347fa0b1a418eca18db7f01aa2f158c02f5","observation_id":"78c3ce85-df30-49be-945f-d15516e650e1","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Efficient finite abstraction of mixed mono- tone systems,","venue":null,"work_id":null,"year":2015},"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":69,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:89c1d63736080297e1063c8e0df97bc7d76cc6e5e2fd8a0206d5a4463f4253be","observation_id":"69748fb3-ea36-40c9-b304-82ce0b1024bc","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Finite abstraction of mixed monotone systems with discrete and continuous inputs,","venue":null,"work_id":null,"year":2017},"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":70,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:4f69275b5d7029b3a8f3b3ce40b6b7d0b43eb1acf2f7947c9c1d87f1f8ab96fe","observation_id":"8fbab48a-b40d-4500-95cf-b2550af99a47","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Mixed monotonicity for reachability and safety in dynamical systems,","venue":null,"work_id":null,"year":2020},"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":71,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:6b44d39a74d4b9e2613fee955f5ce065a8ae7f4aa7c14ad25313cdb0154ae6f0","observation_id":"3a545615-107f-413d-af5d-e747d2ca8dd3","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Specification-guided verification and abstraction refinement of mixed monotone stochastic systems,","venue":null,"work_id":null,"year":2020},"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":72,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:9529759aebdfbae9889741c387ab7aecfd84aace95e74174724040d740505fe0","observation_id":"5190793c-a0f7-4800-b914-c09765959f34","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,","venue":null,"work_id":null,"year":2022},"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":73,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2277871041dd1c3ca3e99562404bc6e95fa2647b8285b9ebc76015478663a5c8","observation_id":"a7163efb-5d42-42d4-8a25-67c023a5f8e8","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Zubov-koopman learning of maximal lyapunov functions,","venue":null,"work_id":null,"year":2024},"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":74,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:056bfae40c9c165824acec086c13cdc123cefcdb1f460a2de22dd86360d54a76","observation_id":"c4b9480a-3824-4a25-9da4-331d1953cb92","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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":"2511.09523","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:23:39.404358Z","title":"Towards learning and verifying maximal lyapunov-barrier functions with a zubov pde formulation,","venue":null,"work_id":"5bad1d4c-0895-436d-b8aa-7c304a31680c","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":75,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:86ba67b794726fae26e4e34afc7b2deef2bc0551c43a2ee07b36521ff66bd28d","observation_id":"1206b016-3af8-46d5-bbc7-678771c0fea6","resolution":{"observed_at":"2026-06-29T16:23:39.406719Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.10510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T15:38:33.439928Z","title":"Formal verification of control lyapunov-barrier func- tions for safe stabilization with bounded controls.arXiv preprint arXiv:2511.10510, 2025","venue":null,"work_id":"2d36e195-4699-4046-8271-f04b6fe9b9a4","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":76,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:0ce2a68ca96143f13dfde141e4050007ae8ea7978f7704814a8e07a7f8f2e27c","observation_id":"a39c6205-0ba3-4784-b619-d4ee61d86bff","resolution":{"observed_at":"2026-06-29T16:23:39.416779Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2016},"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":77,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:0e0ae1f3503677e83668a2d8b62105837ddff912b6d15107dc9e12f250feb8d3","observation_id":"a48e482b-74b9-45b0-bbea-a282a4c1f58a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Learning control barrier functions from expert demonstrations,","venue":null,"work_id":null,"year":2020},"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":78,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:c6509f791b2fd675ec195c609296dec033428a3b7a50e88cfeaefccb8aed1efd","observation_id":"e531f0eb-bc7f-49c0-b48e-1445e5e3f1ba","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Convex synthesis and verification of control-lyapunov and barrier functions with input constraints,","venue":null,"work_id":null,"year":2023},"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":79,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:a0ee5df9967be3798d082d1bba03f61fc5053dccf969d31846ba73f64f459ab6","observation_id":"ec0080ed-51c8-4f1c-9cc1-8a1519071c41","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Safe nonlinear control using robust neural lyapunov-barrier functions,","venue":null,"work_id":null,"year":2022},"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":80,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:7247a1e7b2750c3b7fbf0bfb7e153857f0f31d636feebda225242923e4593ae1","observation_id":"90dcda16-7a1b-4e54-ba51-d17a6a4d6f3c","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Neural contraction metrics for robust estimation and control: A convex optimization approach,","venue":null,"work_id":null,"year":2020},"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":81,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:534979d10d675df133ec29ebe3cfc07e62610865ee40b70e562d0f4a7f2ea9b2","observation_id":"616ecc73-9714-4152-bbe1-3030ad38df38","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Neural stochastic contraction metrics for learning-based control and estimation,","venue":null,"work_id":null,"year":2020},"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":82,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:f830656910315cc04e23c54ee394bf500ae2c2607d9e69449f008f40b19c145b","observation_id":"326b1837-2369-4c2c-8f46-7ba0935c9b7c","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"A theoretical overview of neural contraction metrics for learning-based control with guaranteed stability,","venue":null,"work_id":null,"year":2021},"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":83,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:dd2e88403ca1df4427a2716830bbe4ea4a013c01b9830bafaf7d8d36941dd1d0","observation_id":"683041cc-4842-4815-8ece-b6c6d8d8849d","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Learning certified control using contraction metric,","venue":null,"work_id":null,"year":2021},"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":84,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:883ed195fe5bd2d329a6c0c0f5ac184606c581e0fce465e1ab47904cc9a35636","observation_id":"c9128055-74c0-4a20-8851-34eeb19ac719","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.09584","last_updated":"2025-03-16T06:49:12Z","snapshot_observed_at":"2026-08-17T04:43:54.534877Z","submitted_at":"2024-12-12T18:55:14Z","title":"BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics","version":3},"cited_work":{"arxiv_id":"2412.09584","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.09584","snapshot_observed_at":"2026-06-29T22:13:59.872724Z","title":"Bab-nd: Long-horizon motion planning with branch-and-bound and neural dynamics.arXiv preprint arXiv:2412.09584, 2024","venue":null,"work_id":"2ef6a3ab-bea3-4265-85d2-e4e3aac52407","year":2024},"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":85,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2412.09584","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:6683fe37c1de43188a0676372eb0d9e3d109dddd5bf4dd995c48ede539eb009d","observation_id":"c58ba40b-0e6c-476f-be1f-d6a30d826458","resolution":{"observed_at":"2026-06-29T16:23:39.426892Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Counterexample guided inductive synthesis modulo theories,","venue":null,"work_id":null,"year":2018},"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":86,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:31f65b650b7c6288ea9732cba8819ed7b2bb4bb9ea1eea100fc989e37bf74ea1","observation_id":"ccea7d8d-ae4a-4259-9b11-c945a6c15de5","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1505.01180","last_updated":"2015-09-23T19:54:46Z","snapshot_observed_at":"2026-08-14T22:49:44.232736Z","submitted_at":"2015-05-05T20:45:09Z","title":"Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties","version":3},"cited_work":{"arxiv_id":"1505.01180","doi":null,"metadata_source":"pith","pith_arxiv_id":"1505.01180","snapshot_observed_at":"2026-06-29T16:23:39.390351Z","title":"Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties","venue":"cs.SY","work_id":"15d4ab83-8a8c-4515-910a-ee96e7bb987b","year":2015},"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":87,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1505.01180","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:c5c6def0235bec8c8af95f5006aa5eb6cebc779400dcd16c6b67bf66571eac36","observation_id":"a69b3a6d-cb18-4825-ad29-ea66732aa102","resolution":{"observed_at":"2026-06-29T16:23:39.391587Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Formal synthesis of lyapunov neural networks,","venue":null,"work_id":null,"year":2020},"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":88,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:38db4c93d80b712f28d6dd83026860c8df1176a11d783a3de330ca368cc2ec21","observation_id":"6178cc59-d554-4fed-b4b8-9af4b84fafa7","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Counter- example guided inductive synthesis of control lyapunov functions for uncertain systems,","venue":null,"work_id":null,"year":2047},"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":89,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:454c7e1b2cc86e6007f7bee45df1c4b512795cad2775c8825bad893d2f13c4a8","observation_id":"2ea9126a-6e89-4cd6-922f-f77443ed2b7c","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems,","venue":null,"work_id":null,"year":2020},"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":90,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:066b112a966f0a7254d3f1e6773c2aee8e36d3d97540a8f85cbc2ade78fdfd25","observation_id":"4985ce17-045b-4616-a375-ae3289e43a7f","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Robust controller syn- thesis of switched systems using counterexample guided framework,","venue":null,"work_id":null,"year":2016},"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":91,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:54ed283ae9761957789d6cb762ec63a873f2cc2bea3fff0ec044638430481140","observation_id":"d692eb42-00f5-45b5-9206-3ab0b7f82f3a","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"Differentiable abstract in- terpretation for provably robust neural networks,","venue":null,"work_id":null,"year":2018},"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":92,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:3393a1118e1feb67f70e491ecfe53646c7ab6eb9d554d91ab955d9afa899d8b6","observation_id":"809c79f1-8755-49d4-b052-6fe63380b034","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":null,"venue":null,"work_id":null,"year":2002},"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":93,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:f3f9c38273fc7cbe40862ef258346e0083f99fc3d4660deec83b21a107772fa0","observation_id":"349adcef-d379-4b69-83dd-c894dc358014","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"The general problem of the stability of motion,","venue":null,"work_id":null,"year":1992},"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":94,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:202a4311866f6ce60bbacabf24f0e6c448ac11521a936bbf8c70f825eb4c404e","observation_id":"67d5b97e-afe4-4eb2-95af-96ac4b4569cc","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:19:18.692686Z","title":"A unified view of piecewise linear neural network verification,","venue":null,"work_id":null,"year":2018},"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":95,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:5b8de76834789124aa49e7a0e79e634fb390e2a6d6e87897127d4d9caff4b593","observation_id":"b1b8d260-b532-46e7-b6cb-97f396b3d332","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1706.06083","last_updated":"2019-09-04T18:53:10Z","snapshot_observed_at":"2026-08-07T14:27:46.872660Z","submitted_at":"2017-06-19T17:53:11Z","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","version":4},"cited_work":{"arxiv_id":"1706.06083","doi":"10.48550/arxiv.1706.06083","metadata_source":"pith","pith_arxiv_id":"1706.06083","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","venue":"stat.ML","work_id":"b20a57fa-4b7d-40ec-8b6a-ce48234630de","year":2017},"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":96,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1706.06083","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:5eccd21b3101fdd9ab25c25d489fc9f71f7b184f158c077814c9611722da69e2","observation_id":"8c9469f1-7305-4769-ba6d-d919deeb3e28","resolution":{"observed_at":"2026-06-29T16:23:39.383335Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1809.05289","last_updated":"2018-09-14T07:52:37Z","snapshot_observed_at":"2026-08-14T18:28:30.781020Z","submitted_at":"2018-09-14T07:52:37Z","title":"Lyapunov Theory for Discrete Time Systems","version":1},"cited_work":{"arxiv_id":"1809.05289","doi":null,"metadata_source":"pith","pith_arxiv_id":"1809.05289","snapshot_observed_at":"2026-07-03T19:08:49.420600Z","title":"Lyapunov Theory for Discrete Time Systems","venue":"math.OC","work_id":"86ba6ed0-17ed-4520-a5fb-7073734d781d","year":2018},"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":97,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1809.05289","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:86acae469bc17b7dd52884d0d47e7fef7da6e6c8232c4d0b1fedfe3e04096a4f","observation_id":"dbfc6ae3-d34d-4ecf-8bc4-a6cd0443029c","resolution":{"observed_at":"2026-06-29T16:23:39.368094Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Convergence prop- erties for discrete-time nonlinear systems,","venue":null,"work_id":null,"year":2018},"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":98,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:e3ca3ab934cc4cb53c28a429b5d43e642388d54f97bcb81eb71465c2d05f0788","observation_id":"ad91a72f-c084-45a7-b20c-788c7298bc34","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1906.06316","last_updated":"2019-11-27T11:03:27Z","snapshot_observed_at":"2026-08-14T16:15:26.763241Z","submitted_at":"2019-06-14T17:44:40Z","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","version":2},"cited_work":{"arxiv_id":"1906.06316","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1906.06316","snapshot_observed_at":"2026-06-29T22:13:59.827170Z","title":"Towards stable and efficient training of verifiably robust neural networks","venue":null,"work_id":"a5f71679-1d0d-468c-8e3d-a2a424313ec9","year":1906},"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":99,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/1906.06316","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:606872f980d1a32db91114d7e83c7e4aa2c6ee7f54d371d3e368019adcdb54fe","observation_id":"252d9504-ece1-4166-a74d-eb42da363833","resolution":{"observed_at":"2026-06-29T16:23:39.365407Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T16:19:18.692686Z","title":"Fast certified robust training with short warmup,","venue":null,"work_id":null,"year":2021},"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":100,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:2d76ddb082ec5f2e330dbcf54372adc4bc185d5e52427c704b183c9e08d52539","observation_id":"947a7e18-fc75-428d-9dd1-89d8128efc5f","resolution":{"observed_at":"2026-06-29T16:19:18.692686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","latest_version":1,"primary_category":"eess.SY","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"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":80,"verified_exact":20,"verified_fuzzy":0},"total_outbound_references":102},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 100 of 102 outbound references and 0 inbound Pith citation observations for arXiv:2605.26577."}