{"as_of":"2026-08-05T10:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f94b0abeea35bf660342a76861563ae13cd28e78ce267b867a13aae93a807c5b","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T09:32:28.132071Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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/2604.15266/citation-record","integrity":"/paper/2604.15266/integrity","json":"/paper/2604.15266/citation-record.json","paper":"/paper/2604.15266"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"InProceedings of the 3rd Annual Symposium on Logic in Computer Science(proceedings of the 3rd annual symposium on logic in computer science ed.)","venue":null,"work_id":"f90e6a94-20b5-4e7d-b3bd-b1ad23e6b2f7","year":1988},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:fc9755667022569c885e27b8f4ae77c00ea857dccb571f5257412ff9d2ed562e","observation_id":"27b4574a-5e86-42f6-ac21-f5bff77c9414","resolution":{"observed_at":"2026-05-20T17:03:42.265425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1646.151649","doi":"10.1145/151646.151649","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","work_id":"f81f27d7-bd4c-4e40-a7a3-7e697448e2ac","year":1993},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:bb66651f8d311f0565e075bede8a575df502c48a3bb251cef4939568fddcb39e","observation_id":"67f0b24f-e535-48e7-ad83-9a4a11779907","resolution":{"observed_at":"2026-05-10T09:33:40.693710Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3095.201069","doi":"10.1145/203095.201069","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","work_id":"82c7539a-719b-4ba6-8554-6de2fb309346","year":1995},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:ad346aa668dbee1b7be24ca697bccd47c356a196b0aa09009551773b20f372df","observation_id":"cea2e764-efea-42f3-b8d6-5989fdc5620f","resolution":{"observed_at":"2026-05-10T09:33:40.689977Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66706-5_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InStatic Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings (Lecture Notes in Computer Science, Vol","venue":"Lecture notes in computer science","work_id":"ca6640d5-32d5-41e6-8a36-703a1032e333","year":2017},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:55ff76ec99aa02fbd63e1c854d75bac5e807f80c6f522d745a767c77e2206931","observation_id":"290658b6-05dd-4860-bd93-9570f3b5dbba","resolution":{"observed_at":"2026-05-10T09:33:40.710125Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00571463","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1007/BF00571463 Patrick Cousot","venue":"Acta Informatica","work_id":"395905d8-2ff6-4fc7-a9b6-215d823fe2b0","year":1973},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:ec90ff5b457a0846a2ff5acee6f4d17b8b7596e50e1762cac549b6472f1128e6","observation_id":"6ef53f45-018a-4b49-ae37-4fdc2d9cbe35","resolution":{"observed_at":"2026-05-10T09:33:40.680617Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4616.238463","doi":"10.1145/2384616.2384633","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"248dcf7a-b52e-482e-ad10-f38db3c128dd","year":2012},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:41a2747f79b1d79e380c58bca3ce5dbf1d4e368d45a3a36c41bcac3fed127631","observation_id":"0e8d1bfd-6097-45a0-b0e3-c7fb4b983a0b","resolution":{"observed_at":"2026-05-10T09:33:40.684927Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T11:50:18.760194+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T11:50:18.760194+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.15137","last_updated":"2025-09-08T23:15:20Z","snapshot_observed_at":"2026-07-06T22:15:55.690108Z","submitted_at":"2025-08-21T00:19:43Z","title":"Software Model Checking via Summary-Guided Search (Extended Version)","version":3},"cited_work":{"arxiv_id":"2508.15137","doi":"10.48550/arxiv.2508.15137","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.15137","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv:2508.15137 doi:10.48550/ARXIV.2508.15137 Eden Frenkel, Tej Chajed, Oded Padon, and Sharon Shoham","venue":"arXiv (Cornell University)","work_id":"f3eba544-d641-4a0a-98c7-bb262e2e9292","year":2025},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"cited_paper":"/paper/2508.15137","citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:b57a89ec1671ea6c7ee31830b7bae62597b9cbf37c5a640b24723e1330619f03","observation_id":"9fc2079c-1827-4fb9-931e-86a7f8d17be1","resolution":{"observed_at":"2026-05-10T09:33:40.705812Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.19071811","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InInternational Conference on Computer Aided Verification","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"106264e1-708e-45fe-a70f-9305ce8e99e8","year":2026},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:5533fd70122e51890b0e36476b043b2b4a5ebb694bf4045972d2c9d874426a7b","observation_id":"74acfe5c-18a0-454f-bf8a-327ad7e92bc1","resolution":{"observed_at":"2026-05-10T09:33:40.700738Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"In18th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2021, April 12-14, 2021, James Mickens and Renata Teixeira (Eds.)","venue":null,"work_id":"76de4e22-e1f1-4c74-b986-149b74d1cacb","year":2021},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:db5227ff6fe5e9aabe2351eb3bbc13b71c0ea8d8872293af3adbeaa9d99369ca","observation_id":"a5b028f7-9eae-4bad-808b-90a8e234921c","resolution":{"observed_at":"2026-05-20T17:03:42.261515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0028765","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InComputer Aided Verification, 10th International Conference, CA V ’98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science, Vol","venue":"Lecture notes in computer science","work_id":"1bc7d002-3d02-4ade-b398-4c8a1094daab","year":1998},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:aac9a3c155b2b5a3345ef8dc7c87411c3807eeabfffd83736d8c13fa0cd1833d","observation_id":"44abe67a-2dba-4b0c-82e6-27abe112b0dc","resolution":{"observed_at":"2026-05-10T09:33:40.697680Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R","venue":null,"work_id":"e8b6b54f-4b7d-4597-98b3-d0e1863ad5b9","year":1983},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:c8e0187b9ad7b88f4a6e4423b03194d9db37a8da3960d1585d12460000f6ce5f","observation_id":"6ad57f3d-8a4e-4862-b44d-c327728c0952","resolution":{"observed_at":"2026-05-20T17:03:42.263426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1d2b8572-6e54-4bf7-900f-52ad37a638d0","year":2017},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:ac52c74445fa23845180b00fb2687190ba874ad51a326f613f344dd51ae13bf7","observation_id":"dfe82b1e-d2d0-48ea-a355-59ef10380825","resolution":{"observed_at":"2026-05-20T17:03:42.267208Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5412.338601","doi":"10.1145/3385412.3386011","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":"371ac66c-5137-4896-b811-446257c5cb75","year":2020},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:c81d0bd6f52b949008aed282183e302df9767357ad87f19ae4def46fcf5d691f","observation_id":"2d675547-1cfb-4723-8e99-e48e9e552771","resolution":{"observed_at":"2026-05-10T09:33:40.729790Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9227.279229","doi":"10.1145/279227.279229","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The part-time parliament.ACM Transactions on Computer Systems, 16 (2):133–169","venue":"ACM Transactions on Computer Systems","work_id":"48f4a343-569d-4354-8bdd-f04092c521f0","year":1998},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:26f16a9b6ff74251630b1f7408e1704cb65c3011b6b464fe162eabe14d4a1070","observation_id":"75c59d8b-b671-431f-b632-fca65fcd6ca7","resolution":{"observed_at":"2026-05-10T09:33:40.748477Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T15:53:40.018077+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T15:53:40.018077+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Leslie Lamport and Stephan Merz","venue":null,"work_id":"c4b9dd20-37f7-4530-9acd-9e25984060ed","year":2001},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:83143d7fcb5298dcfcdfd8cea8c82d797317b91633e8414c555a68090eb5a8b5","observation_id":"c1e474de-1ced-4bfa-b949-ee47067ab09f","resolution":{"observed_at":"2026-05-20T17:03:42.269009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, and Clark W","venue":null,"work_id":"0323bb42-4829-4004-905b-d93ba1f9d750","year":2022},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:1815b956f4300f4953c35f5e0a88514d34426189a56947efc23dbc096565f203","observation_id":"4f72328f-c1da-4c96-b5bd-7a493e860858","resolution":{"observed_at":"2026-05-20T17:03:42.270802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72016-2_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"b61f23f7-1424-4e33-9057-c9aa5448a505","year":2021},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:b8a3da35c0c6ace17c7efbe29a5544e57b1f58f51711eedd1b73acf5e0eb0177","observation_id":"1fe44c7c-d2ec-40fd-b36c-d35e0492265d","resolution":{"observed_at":"2026-05-10T09:33:40.717279Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44798-9_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"cae3209f-a8ec-4cab-9115-8022f560c59a","year":2001},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:7e3bfddcf604318971de6216d868a2fb5a78176d1ac6f804cbc6850b1c19f609","observation_id":"4076385f-64a2-44bc-ba03-5d773064f25b","resolution":{"observed_at":"2026-05-10T09:33:40.743838Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11817963_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InComputer Aided Verification, 18th International Conference, CA V 2006, Seattle, W A, USA, August 17-20, 2006, Proceedings","venue":"Lecture notes in computer science","work_id":"6170bac5-8b6b-4aed-97e6-3cb6baa4fcf2","year":2006},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:f951b3ac95aa95defdeb1260f5a034eba9121f33508fb1cb0f0c8ce89252dd92","observation_id":"55e8ead7-80db-461d-a445-be63b54dfe07","resolution":{"observed_at":"2026-05-10T09:33:40.733386Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-96145-3_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"d5cbbd2f-e73c-442e-9bca-b4b540caeef9","year":2018},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:d6b3cbd30b1b28f0ef11cdc547c4c8f53222ee43ebd23ba82d5e6590a0df7536","observation_id":"8ad5970b-0d1d-4bfb-8b07-9e8e2f864228","resolution":{"observed_at":"2026-05-10T09:33:40.719835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"InProceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference(Philadelphia, PA)(USENIX ATC’14)","venue":null,"work_id":"b9d0dc8f-8c00-43e6-8585-0807392b41d4","year":2014},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:f31d24794fed6b5c206fb318f456ea0732d9d978deef769d1bb8291de4408b7b","observation_id":"8dc272c7-2ae0-467e-8d0f-fdba433de995","resolution":{"observed_at":"2026-05-20T17:03:42.272617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf00268134","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Acta Informatica 6, 319–340 (1976), https://doi.org/10.1007/BF00268134 22","venue":"Acta Informatica","work_id":"3fb2f66a-fb79-46d4-b349-df43d04de54a","year":1976},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:beec332721bbc449b3725d7b0b7d40358c7333c7f7483ff43d7850851b6e3f79","observation_id":"243290f0-b2f5-494f-8298-a20940a03125","resolution":{"observed_at":"2026-05-10T09:33:40.724341Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-14T09:51:00.76212+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T09:51:00.76212+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3140568","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Program","venue":"Proceedings of the ACM on Programming Languages","work_id":"0b0da481-f09e-469f-b016-fad546391e62","year":2017},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:dea3cabb169f85d392b5169257cf31587c62d14c0e1189225e6cf944d64e699a","observation_id":"135aaad3-70fe-4fe5-963b-d689d8b2e2e7","resolution":{"observed_at":"2026-05-10T09:33:40.736382Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18048","last_updated":"2026-04-21T02:50:22Z","snapshot_observed_at":"2026-08-04T01:18:19.555104Z","submitted_at":"2024-04-28T02:07:54Z","title":"Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition","version":2},"cited_work":{"arxiv_id":"2404.18048","doi":"10.48550/arxiv.2404.18048","metadata_source":"pith","pith_arxiv_id":"2404.18048","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition","venue":"cs.DC","work_id":"48634f1d-53aa-436b-aaf1-5fbb9b23d4b5","year":2024},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"cited_paper":"/paper/2404.18048","citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:63078518464e30bf2f0754c99587ce11be18d09fb66c202ac7f59ab6168bc8a5","observation_id":"5ebc5152-780c-449e-97ed-9442844a678f","resolution":{"observed_at":"2026-05-10T09:33:40.740651Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.34727/2022/isbn.978-3-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In2022 Formal Methods in Computer-Aided Design (FMCAD)","venue":null,"work_id":"c020417e-2e40-4e04-b30b-093ffefbd112","year":2022},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:1c6fa4654c37ad00b2a556dc560b760f9e3d23587c6b0559fab3030563e70c50","observation_id":"bdd5677f-0f0f-447a-9f0c-93b0edb78d79","resolution":{"observed_at":"2026-05-10T09:33:40.751061Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-24950-1_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"44f26bc6-6c7e-4252-9642-285784f593a6","year":2023},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:e9e510e0e073c401cd5bb2316ba29e40abe9f38e65944c19ee3f818f9002b911","observation_id":"307e1148-1b6f-4734-8165-0d942d6a6ca2","resolution":{"observed_at":"2026-05-10T09:33:40.722133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b4cdc11d-f536-4af8-8cc3-ae36596b74b8","year":2013},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:78bae69a1b366b52568f9de5e5ff53f97572e9a1e647ecdfb979d35861e926cf","observation_id":"ac0c6434-ddf4-48da-9797-824d4ef3e31a","resolution":{"observed_at":"2026-05-20T17:03:42.257620Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-36742-7_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"3eaedc11-46f0-4485-bc57-7d1f100c2ea3","year":null},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:8fa57407538c889e77253a2957a60e48900ba6dde878958b736d6a4ed58a68a8","observation_id":"a79a5b7f-a280-4aab-8eff-800936a3caa9","resolution":{"observed_at":"2026-05-10T09:33:40.714335Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"In16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022, Marcos K","venue":null,"work_id":"8e4ed980-08c4-46e2-a3be-8a2498b9cfec","year":2022},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:2e981b9bf2109d76b31112e8d75e91f92a6c19235e5010b50a1706250ba7eeed","observation_id":"07c93abb-d34a-402c-b5f2-e213435f3df8","resolution":{"observed_at":"2026-05-20T17:03:42.259504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"In18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024, Santa Clara, CA, USA, July 10-12, 2024, Ada Gavrilovska and Douglas B","venue":null,"work_id":"13ee3296-c5ea-430b-9ade-9e3ea8f5b76e","year":2024},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:cb4593b57aaf138f6bbabf68b4be17f49b2484b3704d799ec8aa2fcfd1540e79","observation_id":"827eb97a-be33-4976-bd5a-3a9a16bb2fc6","resolution":{"observed_at":"2026-05-20T17:03:42.253814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"acbc2176-0945-459b-af2d-d8e0558acadd","year":2026},"citing_paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T09:32:28.132071Z"},"links":{"citing_paper":"/paper/2604.15266"},"observation_digest":"sha256:5d25315b684b7325f9d5cd031c48d9e321bb027961cfde337c4090971af5f427","observation_id":"0376736f-89ab-43d6-a2bb-45bb2c209fc0","resolution":{"observed_at":"2026-05-20T17:03:42.255868Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.15266","last_updated":"2026-04-16T17:40:27Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T23:02:49.302337Z","submitted_at":"2026-04-16T17:40:27Z","title":"Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":3,"verified_exact":17,"verified_fuzzy":8},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2604.15266."}