{"as_of":"2026-08-18T21:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:af96edd114aaa35718780324e4646e372a549dd878951c7f3b9fc7b2048781da","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-18T06:34:40.430872+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-17T02:44:45.162266Z","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:215162e42fde6326d43b5134de874d1fa51f974cb062abb289ceaaaac4294d65","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:4e0a7a423b31a28b0c4dabe7ae0e8ee859819de262a495935bd453f08e0f93a9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08344","last_updated":"2024-04-12T09:20:23Z","snapshot_observed_at":"2026-08-16T18:16:12.219895Z","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-17T02:44:45.162266Z","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:d6ec60e26c5e9f038c3f8e1ba03726c32af81642bc99f4e18d0968eef9389336","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-17T02:44:45.162266Z","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:f58db0dc6c3187ab02e97b5f4581b3dd6c415d25b2873d4228614efa63c48fd7","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:8395a48f6fb7ee096e3f820b1fa2622f2c03bd94018aed63541d524155f552ec","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:884b252a307da330a346440f0125dd0a74e63c0b86bc7d29d8970ae6f5a0f5e9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06090","last_updated":"2024-10-28T13:50:50Z","snapshot_observed_at":"2026-08-16T15:01:26.894661Z","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-17T02:44:45.162266Z","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:86efa0c37054f48e3a9d6795f6408340b680ef4b821078dd29b6d0bbcd94fcc6","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:f001978b6a6064ce3e2f03252210a67557720d684453fc1ac688cc0f1cee3ffc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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":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-17T02:44:45.162266Z","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:70b04d68334dd873620cf5ec8bb345e2b4eef5e27fc961449ba5c17062b771c6","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-17T02:44:45.162266Z","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:6700100b908b0223188ada40130ab6b5df076bd657fd0f0883ecac9b2bc5bc56","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:0ee3f4b39cfde3e68383aed115368f36ff846267c1325368062cd5969662cf14","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:e1075a4adcd19bfe9b2dd1396b4253845e64089a8980398f1f10da6af06df22e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:30b1f1e9b05d7de1f604af89c1e9fb80677da57d902003d1b2269ceda652349a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:e4040b9ca1ac902f8d4a0da583b4ce8179592c32fb59eeaa9cbd750493293166","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:355f4dd7979d74d2c3e12c4026f09ae66471eda4440cb2ea4259f7435d5bab70","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:795791a176d58a1088939c601602b2742b3e225417f9a6a3758dcab2effca58b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:a8eec0e7b25aadd7cdbf4f3eac5b1a7a35a471f10eef1879ad7794f01a4ecddc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:0613bd416ba543ed974fca0d735b1b6f8bc44d66c031f643f4102e6bbe257adc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.06420","last_updated":"2023-09-09T17:11:44Z","snapshot_observed_at":"2026-08-17T04:59:19.569202Z","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-17T02:44:45.162266Z","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:eab83ff4754252bcc949688e67d95bd5da7d978af6ddef554a2fe75aa0f5aaec","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:6eeacbc5fc9c3a56f9002563d522afd8af8ba1de8ed9f555868018ce7dd3ac43","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1405.4733","last_updated":"2014-12-03T10:42:46Z","snapshot_observed_at":"2026-08-14T23:33:31.489770Z","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-17T02:44:45.162266Z","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:84e9359bddabebfd6eb1e2c557ffc6a2668773ecf3505c718a876e23f697ed55","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-17T02:44:45.162266Z","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:e1c81fc0783808ab18b5db4897a9f40d60603a997b23f6cdae1ab7d332c91be9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:f5e7efe76410c9a14adfe0ed6a82b24ccb57728db88e66127b704b074108646d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-08-15T20:26:32.102285Z","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-17T02:44:45.162266Z","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:73a925b80eda9b034a49b3d606cac188dde37e1ea8a18f80e073785c349a7299","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-17T02:44:45.162266Z","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:97f67a535ee74ceb6d7bc3f0ec382b494438be9601fa97dee620d568a58f055b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:8f965293b23b6a6ae5036d8c860a7ed8c373b0770fc71c8540e8b5fc367ab146","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:6d56ce2016a561cb7bf7c40473a0a3e1cecab6b6a25b4e42f8fe7c20a00a4651","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:0bd8232d7870abe6eb50bef90427440394de2e54e9712d5cd8dae9450732c312","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:ddb2f5ee7288d025a71c82b108699142bf4bc8772a35b232655db7715732cef7","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:0d47f098c3cf05997e14e06b9778388b8a76696c25903e73ba18c7fbcccf8aaf","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:d5f1b5cf920bcbbc1eb45c76b3601ebd0bb0555f5d20af4df865d519040774e8","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:cb74fd6ece59ac7a304c545c7489fdaedd08bd7dbd8a3e991dd0cc1a185c1bcc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:0676bd69d7e7802c43c1947401a0d68c3c102e73767d9e98b223f694505f3f94","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:21c6232b6823b7bb5c2c2fac12659362c521d3b3cad5b862ca236e982c6be2b3","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:9bcc7fd733685e5ff83065d086961a29e6f36c26688e390a1648e87723f23e8a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:e90c772fed622e8941fb6a89ad4b08844f86a985f353e47e640b30621bb32b93","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:48f645d16282ee4503e0b9b8179616f4ca2986f25aabfef5877c80649f525988","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-08-17T19:26:44.032537Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:f00be7b9083224002511e8e5a1243369184c8ab3b8b332113547a0b7bc8b793d","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-17T02:44:45.162266Z","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:372c77d5dfbdfd288831c6fc6b9ac4a246df63eefd77795d204744ec67e3fab9","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:d5a40f4606df0aeca4a903c0478ee79b2161ab16b6f1bb8bf665937f9408b753","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:14a643ecef50cf3186d05fe4b4e68508230f87e4b5352c51454fcdfb6114814b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00826","last_updated":"2025-07-18T07:33:46Z","snapshot_observed_at":"2026-08-16T13:46:58.387096Z","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-17T02:44:45.162266Z","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:8fda27cc8526d3d50666900f879417c289e6dd60fd8728bf0c8299ba53a9fc8c","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-17T02:44:45.162266Z","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:487ff120ddb14914139f9ca828ff689f4871a178c9bd14bd897b2e4dffa7fe84","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:ca70e1fb1bf8c020141e6e2e661e229999519283ac5e5a5b7f763a12de44b101","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T02:44:45.162266Z","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:020f2945fa28ac583bf1b67e2a8b612d70f0b421dd610d25d8e895dfcc8f162c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14001","last_updated":"2025-05-20T06:54:19Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-17T02:44:45.162266Z","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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.14001."}