{"as_of":"2026-08-09T18:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3d9d38fff013a4b63e3cd1a8a0ba0f992e1b560b8a25dde30baf734b6bee0b57","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:44:56.594892Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2505.14001/citation-record","integrity":"/paper/2505.14001/integrity","json":"/paper/2505.14001/citation-record.json","paper":"/paper/2505.14001"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:08.384844Z","title":"Formal synthesis of Lyapunov neural networks","venue":null,"work_id":"5d8adadd-b8df-4862-88e7-2edc78fbdab6","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.013450Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:ad8765d84abac5eafc0167da2869c21b9765bb2c87469ce34d9234b6fdddb84b","observation_id":"c1e72a7e-ccb5-4e56-9177-ca8e588a48d7","resolution":{"observed_at":"2026-08-07T15:45:08.484741Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:07.290663Z","title":null,"venue":null,"work_id":"52d10edc-23b6-42ef-92bd-f0f15f2144f5","year":1968},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.643509Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:faf9bad95ed66eab810dc5038556b543c8d7626a8da0009bf389cdb92bc43e10","observation_id":"02234e8f-d4a1-40b1-80a2-724401eacc45","resolution":{"observed_at":"2026-08-07T15:45:07.350071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08344","last_updated":"2024-04-12T09:20:23Z","snapshot_observed_at":"2026-08-09T12:06:15.433166Z","submitted_at":"2024-04-12T09:20:23Z","title":"Data-driven Interval MDP for Robust Control Synthesis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.08344","snapshot_observed_at":"2026-08-07T15:44:51.976288Z","title":"Data- driven Interval MDP for Robust Control Synthesis","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.976288Z"},"links":{"cited_paper":"/paper/2404.08344","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:257f08d17ffdbf3cccdc9a5b1e4920c56eb0445c4245063b77ca3c444c21750a","observation_id":"5ac5a4c6-0652-41d9-b3d9-a1a144c78586","resolution":{"observed_at":"2026-08-07T15:44:51.976288Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:06.434875Z","title":"Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction meth- ods for robotics and control","venue":null,"work_id":"a0acca87-28eb-4f88-99cf-a4e926325295","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.194863Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:fabebf9ab3ec131d3b7cd110e9bbdef88ad13c4a9386f82f760df5235b6351ac","observation_id":"8bf24202-c5de-491b-b427-cc108a30547a","resolution":{"observed_at":"2026-08-07T15:45:06.502470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:05.982688Z","title":"DelftBlue Supercomputer (Phase 2)","venue":null,"work_id":"47b0304b-dc08-4d69-a8da-257ff9c2f656","year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.314768Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:7209172ad8cebc118ec3a489104c9711e409fd03ab7973718d068d7378011b0d","observation_id":"562bb35a-440c-4d6e-ae9c-fc373fb2992a","resolution":{"observed_at":"2026-08-07T15:45:06.155938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:05.704856Z","title":"Controller synthesis from deep reinforcement learn- ing policies","venue":null,"work_id":"d08a0394-fdd4-47cc-8fb5-a130464106ca","year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.409122Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:8f516b9a1a0c7c57758ab656fd23a859e024c194ee1a77ad7ad9dad9316fb99e","observation_id":"096f831b-0c87-4bfd-a25c-b4aa1f6d1932","resolution":{"observed_at":"2026-08-07T15:45:05.805623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06090","last_updated":"2024-10-28T13:50:50Z","snapshot_observed_at":"2026-08-08T14:53:03.067461Z","submitted_at":"2023-09-12T09:37:26Z","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","version":3},"cited_work":{"arxiv_id":"2309.06090","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.06090","snapshot_observed_at":"2026-08-07T15:44:57.735007Z","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","venue":"eess.SY","work_id":"4e870a9f-87fd-4041-813e-6c60ca543e97","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.543087Z"},"links":{"cited_paper":"/paper/2309.06090","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:866d253fcb34119c83d5bbd5e373c1fdd9c41f4701996bc01302a65d5242d00e","observation_id":"b769a172-7fe2-4ad5-8a65-7978c81b38dc","resolution":{"observed_at":"2026-08-07T15:44:57.864753Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:05.414844Z","title":null,"venue":null,"work_id":"d1864f0c-d167-46eb-bd9c-372d131308c3","year":2018},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.667569Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:a9a1e651737c5ff7fa455ef9a9d8f05b8b178d552ea3402a05116d2012c2d20c","observation_id":"7fb439b0-d53c-46f3-b63d-c6e1f2570a10","resolution":{"observed_at":"2026-08-07T15:45:05.534757Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-08T14:49:59.485488Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-07T15:44:52.987971Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.987971Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:54792e7c0b3d5360597988ce8979dcec2fa403b5a9ad60c93d1f41845a6a7cc8","observation_id":"6e17e070-0337-405f-87b7-ec0d3ec3df83","resolution":{"observed_at":"2026-08-07T15:44:52.987971Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:04.705939Z","title":"Swart, and Daniel A","venue":null,"work_id":"d8b3764b-1ee4-4e27-be76-d82f1049e154","year":2008},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.124822Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:29de827125d8e01f59cf21d3fdf648d879da494b5b140c92b2c2226a8b1a53f2","observation_id":"b0a74d37-1513-4152-8132-c01e456a03cd","resolution":{"observed_at":"2026-08-07T15:45:04.794815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:04.437847Z","title":"Compositional Learning and Verification of Neural Network Controllers","venue":null,"work_id":"86a2f916-e873-4c8f-b0a8-406c835728b9","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.244747Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:a28797c75be505d9207c08e09e6388fe99ed14391cbec0835c5d4ea485ca65e0","observation_id":"e8498b25-ca35-430a-9949-ffaddf250c96","resolution":{"observed_at":"2026-08-07T15:45:04.567185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:04.054820Z","title":"Safe Learning for Uncertainty-Aware Planning via Interval MDP Abstraction","venue":null,"work_id":"5ab29cfb-5850-4d28-8d70-508d03be98c1","year":2022},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.350869Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:da5efc57218ee9718079e4757e59aad6638e494dbb2791450a42fb113a77631a","observation_id":"0eae5459-af4e-48ea-926b-f32db1259283","resolution":{"observed_at":"2026-08-07T15:45:04.201349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:03.610304Z","title":"Compositional Reinforcement Learning from Logical Specifications","venue":null,"work_id":"5cd0047a-971b-4ac0-848d-3a42897e88af","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.502022Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:84aaf52c999ad40ac453e404ef8e1a4a009c0a9d4d96da0b0923336285877deb","observation_id":"2d6abd31-7c0e-4fb8-82c8-0fe10765348c","resolution":{"observed_at":"2026-08-07T15:45:03.706516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:03.351533Z","title":"Control system analysis and design via the sec- ond method of Lyapunov: (i) continuous-time systems (ii) discrete time systems","venue":null,"work_id":"14527dd6-e033-405c-a7ab-cb91f86f8af8","year":1959},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.684973Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:cd451fa95d7e00433d27a4b57f0f7d6bc54fad834b2da06660f4e4f610dd103b","observation_id":"71b5f5b0-050c-434f-8a2d-87355fbd2089","resolution":{"observed_at":"2026-08-07T15:45:03.476853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:02.585069Z","title":"Towards scalable complete verification of ReLU neural networks via dependency-based branch- ing","venue":null,"work_id":"b5e60bc2-b3e0-4898-9d9e-a4b0fd216042","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.237307Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:f7fab7a3f417b2d1c788232e2e2f61cada8886c861d35b7f9d5bb639ed5aa00f","observation_id":"857d3efd-0bcd-4cb7-83a4-7c7fa9f13651","resolution":{"observed_at":"2026-08-07T15:45:02.724761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:02.290118Z","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","venue":null,"work_id":"315396f6-4377-4fe2-b485-c25eec9f377b","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.480957Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:35c98d6f6ae8453f1662f45596da79d6ea73c8848b572f43b6658fff98b887b6","observation_id":"24339279-1560-4d1a-8408-6860afaf9e9d","resolution":{"observed_at":"2026-08-07T15:45:02.391921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:02.098299Z","title":"Calvert, and Luca Laurenti","venue":null,"work_id":"5cebba90-78ff-476f-9289-1d2937017fde","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.583293Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:a8c15a743edd8215c4cd9597042fcb529c283f06bf5f9b0d493a3ba68a67c6b0","observation_id":"36678a78-bf52-4dfc-89da-7a3dd9c41ce6","resolution":{"observed_at":"2026-08-07T15:45:02.149599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:01.941289Z","title":"Differentiable Abstract Interpretation for Provably Robust Neural Networks","venue":null,"work_id":"947b6c81-e518-49d5-9e7a-8097a463d967","year":2018},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.726675Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:8267f29562b5103757d2b0475649262e8adba406b69b4d8f610c093d91272214","observation_id":"1cdcc9d4-428b-48d3-9935-39702599ed7f","resolution":{"observed_at":"2026-08-07T15:45:02.004942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06420","last_updated":"2023-09-09T17:11:44Z","snapshot_observed_at":"2026-08-03T19:44:12.842369Z","submitted_at":"2023-09-09T17:11:44Z","title":"Verifiable Reinforcement Learning Systems via Compositionality","version":1},"cited_work":{"arxiv_id":"2309.06420","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.06420","snapshot_observed_at":"2026-08-07T15:44:57.189651Z","title":"Verifiable Reinforcement Learning Systems via Compositionality","venue":"eess.SY","work_id":"fc2c2f66-f481-43a7-9313-cd346ffe1b66","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.826854Z"},"links":{"cited_paper":"/paper/2309.06420","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:c77a604a33d32c7969dfcfa7cdf4aeae18ae204a657dfc70fdfea4b14c4deac4","observation_id":"c6a79755-a34e-4a0b-8b4f-93b262228b28","resolution":{"observed_at":"2026-08-07T15:44:57.322818Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:01.737394Z","title":"Neural continuous-time su- permartingale certificates","venue":null,"work_id":"e9710d4b-8895-4699-87d7-78f36092426b","year":2025},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.900303Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:fd5e4889ad7bcaf7a1f497b1f1b3076c8b56401031bf7ebba86f771e6cb12a1c","observation_id":"ee631c78-118f-4570-b121-93f57e885757","resolution":{"observed_at":"2026-08-07T15:45:01.853023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1405.4733","last_updated":"2014-12-03T10:42:46Z","snapshot_observed_at":"2026-08-05T02:02:09.195837Z","submitted_at":"2014-05-19T14:21:15Z","title":"Multiple-Environment Markov Decision Processes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1405.4733","snapshot_observed_at":"2026-08-07T15:44:55.354834Z","title":"Multiple-Environment Markov Decision Pro- cesses","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.354834Z"},"links":{"cited_paper":"/paper/1405.4733","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e7f365be1f4dce77cac69a4f983437ae5c1c396154c015fa4a42ae25b3605401","observation_id":"f7ab52b9-eb3a-4997-9596-5b5f6f1ad130","resolution":{"observed_at":"2026-08-07T15:44:55.354834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:00.788776Z","title":"Richards, Felix Berkenkamp, and Andreas Krause","venue":null,"work_id":"b309d20b-ea0a-4fdc-a01c-9cf6821ab8e8","year":2018},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.454749Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:2d9a28770d4fcca509e27287379ad4e314da3e77a902f01dce98ce336eabd5fa","observation_id":"a1450bc6-8f30-4077-9f35-3852f69aea8a","resolution":{"observed_at":"2026-08-07T15:45:00.929455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:00.521231Z","title":"Learning stable deep dynamics models for partially observed or delayed dynamical systems","venue":null,"work_id":"e1d8938a-ead9-4ac3-9338-b2f57a50e843","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.564778Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:486697026ae30a9a788a2f9cf814c6e314daa0d8b7d6b7577dc2d89a419be26c","observation_id":"405bb5b1-d906-4807-889c-2e1f7f40dec4","resolution":{"observed_at":"2026-08-07T15:45:00.627423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-07T15:44:55.703082Z","title":"Prox- imal Policy Optimization Algorithms","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.703082Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e33e6b0baa217b05a7704c97e2ad2c146546e7d4d16a92728f6fd1e10473d47a","observation_id":"b93241dd-ea53-4f57-ab15-0c01b6c68eea","resolution":{"observed_at":"2026-08-07T15:44:55.703082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:00.241059Z","title":"Sutton, Doina Precup, and Satinder Singh","venue":null,"work_id":"49b0f61d-b816-4105-aebc-4b181d67d802","year":1999},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.798378Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:08a28f124389185111cccb9b6f04e83bff28781bcbf91d88ebd77de7e648ed0c","observation_id":"f0393c9e-ef67-4f9f-b2f7-60b714fdeb01","resolution":{"observed_at":"2026-08-07T15:45:00.338442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:59.819918Z","title":"Packard, and Peter J","venue":null,"work_id":"4e53c2fe-3d63-4601-a741-d61937141948","year":2008},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.025557Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:c86d98c6239f358d82a9ede551f02383e0e766cb50d09ac230e2f7d1a0b679a5","observation_id":"f5e6e43a-0ab6-4e4c-80d1-2798bab486d2","resolution":{"observed_at":"2026-08-07T15:44:59.905338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:59.060867Z","title":"Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekate- rina Komendantskaya, Guy Katz, and Clark W","venue":null,"work_id":"e36bcce0-5edb-4a2f-b687-6bdde5f95e30","year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.406650Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:6c1578e86f00f20bd7351fb853797e9647f51be54d0f9b09d81a968dc89f6fef","observation_id":"9cabb7d2-353d-4bd7-bd2f-75399e0389c2","resolution":{"observed_at":"2026-08-07T15:44:59.127931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:58.674960Z","title":"Efficient neu- ral network robustness certification with general activation functions","venue":null,"work_id":"25bb2f3b-bc2b-459c-996d-c462fdf2932a","year":2018},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.494018Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:88af2b5fb8113b90e2b8cac119b93ce299ea831787d0a887e249c1a7ae708fe6","observation_id":"d5c0d786-0ede-4416-b157-607fc83f0f87","resolution":{"observed_at":"2026-08-07T15:44:58.842484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:58.355611Z","title":"Compositional neural certifi- cates for networked dynamical systems","venue":null,"work_id":"69964263-5db4-4a81-96a2-2c8b9a624e66","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.594892Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:5e5d3e83aa5a08955aa19e0e6f7382f093cbcfaa9963684cb86eed25293a94aa","observation_id":"c3d9a7ea-578b-4b83-8739-2a54d9391186","resolution":{"observed_at":"2026-08-07T15:44:58.466433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:03.044804Z","title":"Barrett, David L","venue":null,"work_id":"126415f4-764f-4448-a0de-ea2e0088424b","year":2017},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":1959,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:53.860317Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e19b36aec3da71e7e01fa4b04cb9df03da363c26cc023e69bc1d54a662b7ca9b","observation_id":"5b3658e2-c4b4-4571-92ba-2e4f606ab077","resolution":{"observed_at":"2026-08-07T15:45:03.121239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:07.002139Z","title":"Neural Lyapunov control","venue":null,"work_id":"74855dc3-1d75-4425-a41b-78e3751412cd","year":2019},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":1968,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.734745Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:662a1591f73c5878b048729d0bfbc1b3cf1810473176c987731a2f0424b5b022","observation_id":"0f54f305-9c01-459e-9970-0ab3b34d13fb","resolution":{"observed_at":"2026-08-07T15:45:07.121148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:00.034805Z","title":"Learning dynamics models with stable invariant sets","venue":null,"work_id":"c42ccc71-e922-41cf-90a4-2563029670e0","year":2021},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.905678Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:d47aa959650ddce1a41719f9179da1eb6cb1d07a5517676b167e8486591c1435","observation_id":"2993190b-ce65-44f8-a300-34f79d221365","resolution":{"observed_at":"2026-08-07T15:45:00.139782Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:01.267339Z","title":null,"venue":null,"work_id":"7297f659-8cee-47f8-91a1-83276f7e9929","year":2004},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.129421Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e55408a66ff4c75b6f3c9d5842d0c82c32c1e9daef077b72232dca36379eba8c","observation_id":"8e110581-7e65-43b8-91bb-f6b41314fc0a","resolution":{"observed_at":"2026-08-07T15:45:01.319721Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:01.063790Z","title":"Puterman","venue":null,"work_id":"30e1491a-d58a-4e8d-9d91-faf23e46b1af","year":2014},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:55.234814Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:b68bdaf91d187a2b8d9af80733572e857b594cb872e507977d7040b35a95408a","observation_id":"bb6a0eda-01aa-4dee-95bd-ce04f6949450","resolution":{"observed_at":"2026-08-07T15:45:01.122676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:59.557474Z","title":"Robust control of uncertain Markov decision processes with temporal logic specifications","venue":null,"work_id":"86854795-606f-40ba-b3e5-00486cbb9cf4","year":2012},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.142725Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:4b3abb11cd593d7b54aaf82efb88b2384ebab1b44f2e2a098a03ab0b5909cec4","observation_id":"05121fb4-bc2a-4006-8e9f-9a85cfe848ec","resolution":{"observed_at":"2026-08-07T15:44:59.636401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:44:59.364081Z","title":"Neural Lyapunov con- trol for discrete-time systems","venue":null,"work_id":"da04a93f-3cae-4e78-a853-58b87c7c58bd","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:56.273092Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:c19c9c0be5f52be38fb5c941a00869f47b53b980d0e1d885894846bc09a62667","observation_id":"c2f2190f-d2e5-41a7-89e9-676a6ded759f","resolution":{"observed_at":"2026-08-07T15:44:59.418328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:02.874349Z","title":"Zico Kolter and Gaurav Manek","venue":null,"work_id":"3e2f6681-b2da-4506-8e19-e8f9866310cf","year":2019},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.171173Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:2738afb28112504163aa8f2b14eabd9481ca97bd4861cecc9476efa7300b15e0","observation_id":"aafffc00-4394-4c04-aaea-ba52fd85ca49","resolution":{"observed_at":"2026-08-07T15:45:02.954173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-07T15:44:54.038799Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.038799Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:ae40842500c00e2da92e3c380801f8f0074567717a2adf98139d25dce67d73b1","observation_id":"c5b39a09-c9d8-4fa4-8195-df27040d78f8","resolution":{"observed_at":"2026-08-07T15:44:54.038799Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:05.031090Z","title":"Neural termination analysis","venue":null,"work_id":"271414be-fa0f-45a2-b032-f631035d5e1c","year":2022},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:52.879415Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:00b03e3d662b0fb3b9a797b49c3f403e578878a2ce39d74829d85489f061c006","observation_id":"117c0fcf-4c8b-4fa6-8014-b605799c3a00","resolution":{"observed_at":"2026-08-07T15:45:05.222326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:06.776335Z","title":"Henzinger, Mathias Lechner, and Dorde Žikeli ´c","venue":null,"work_id":"9a0f3aaf-f746-4934-9a6a-184726aba695","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.874745Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e8b4806e3dfb4ef923bed9ddfa1665a8b97f3ad36f3d9aca29c46018f96a8dd9","observation_id":"89b5e5bc-7d3f-4786-bbd2-22a30e686270","resolution":{"observed_at":"2026-08-07T15:45:06.877123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:08.108752Z","title":"Stochastic omega-regular verification and control with supermartingales","venue":null,"work_id":"f5a373f4-9c6f-4fe7-848f-aa7ccf8c5671","year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.125287Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:bd55a75a1498232c84b9e2604438b703b5f42f1a1dcc8f9a67a18af0bcb54b7a","observation_id":"154cbe99-92bd-423f-927a-26c1f55e492f","resolution":{"observed_at":"2026-08-07T15:45:08.244746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00826","last_updated":"2025-07-18T07:33:46Z","snapshot_observed_at":"2026-08-09T12:05:49.244855Z","submitted_at":"2024-06-02T18:19:19Z","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00826","snapshot_observed_at":"2026-08-07T15:44:51.534904Z","title":"Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.534904Z"},"links":{"cited_paper":"/paper/2406.00826","citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:317b827963534be4603962d945f9c9a05acf7b71af26d1525bc7628ade6df480","observation_id":"7a5db5dc-9468-459a-b72f-ab63c1a47969","resolution":{"observed_at":"2026-08-07T15:44:51.534904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:07.524782Z","title":"Scenario-based verification of uncertain para- metric MDPs","venue":null,"work_id":"c69a355c-af84-4a9b-ba71-312734fa60b8","year":2022},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.423477Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:afe04271c545ce821946facbf416e540e16dcf814f908ca65458945971dcacea","observation_id":"d8cbacad-3d17-4934-bf15-e2c0c908832f","resolution":{"observed_at":"2026-08-07T15:45:07.644918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:07.805025Z","title":"Henzinger, Mathias Lechner, and Dorde Žikeli ´c","venue":null,"work_id":"1f600f02-c2fd-4109-8198-5f482a50f94a","year":2023},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:51.202117Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:be633866ab6eb5f019996d69d4213d5cabfb25b90e35925174794d0b9da51bb3","observation_id":"b763c097-4692-47e6-8ebf-a00ed01ae248","resolution":{"observed_at":"2026-08-07T15:45:07.944747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:45:01.406544Z","title":"On the con- struction of Lyapunov functions using the sum of squares decomposition","venue":null,"work_id":"916a50df-842b-4e99-8dc0-1dc64ce4bffa","year":2002},"citing_paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T15:44:54.995717Z"},"links":{"citing_paper":"/paper/2505.14001"},"observation_digest":"sha256:e65fa587c04473a8d293644381e59558b64f63e1e0f762543eb08efa247c5846","observation_id":"07f0f521-aa43-4945-abf5-1d9f907288a3","resolution":{"observed_at":"2026-08-07T15:45:01.534748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T14:52:56.851256Z","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":2,"verified_fuzzy":34},"total_outbound_references":45},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.14001."}