{"as_of":"2026-08-09T03:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b9cca67cfab3fa1e3baf796b47c3b18fe739721bcb34254bedf4ba164493cd0f","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T14:51:02.040018Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T02:33:28.353942Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-10T12:15:01.137692Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"cited_work":{"arxiv_id":"2508.20922","doi":"10.48550/arxiv.2508.20922","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.20922","snapshot_observed_at":"2026-07-28T00:21:32.023746Z","title":null,"venue":null,"work_id":"3400c711-150c-44c1-b346-429754b14e74","year":2025},"citing_paper":{"arxiv_id":"2606.05348","last_updated":"2026-06-03T18:49:07Z","snapshot_observed_at":"2026-08-07T22:02:21.860865Z","submitted_at":"2026-06-03T18:49:07Z","title":"Incremental Computation for Efficient Programmable Inference in Probabilistic Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T02:33:28.353942Z"},"links":{"cited_paper":"/paper/2508.20922","citing_paper":"/paper/2606.05348"},"observation_digest":"sha256:113886ce8500d5b7edad822443665565e089bc5c027c558b5865cb7ef08aa779","observation_id":"0aa1e376-58a7-40fd-a8e4-4644d6f3feed","resolution":{"observed_at":"2026-07-28T00:21:32.023746Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.20922/citation-record","integrity":"/paper/2508.20922/integrity","json":"/paper/2508.20922/citation-record.json","paper":"/paper/2508.20922"},"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-05T14:51:02.674147Z","title":null,"venue":null,"work_id":"c149b6f6-dc10-47ae-8e86-84ffa7af5074","year":2008},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.827168Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:656f641104321756fc80c60dda7665f68d6160aefb7ee10659572c0c434c3969","observation_id":"1d9c764c-7c2a-49c0-b94b-aeb8579a04d2","resolution":{"observed_at":"2026-08-05T14:51:02.677370Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.665288Z","title":null,"venue":null,"work_id":"42cbe2b6-ae13-4dcd-ad75-1d351e6cd51d","year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.831088Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:92fde1ca3af28b3b3bdd5cadea6aaed72d4b015b11efe5dcc87773fddb9c840f","observation_id":"de8e9358-df13-45e4-9663-d6cbbea7cff0","resolution":{"observed_at":"2026-08-05T14:51:02.668450Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1909.05076","last_updated":"2019-09-10T15:34:10Z","snapshot_observed_at":"2026-08-06T15:00:28.246681Z","submitted_at":"2019-09-10T15:34:10Z","title":"Static Analysis for Probabilistic Programs","version":1},"cited_work":{"arxiv_id":"1909.05076","doi":null,"metadata_source":"pith","pith_arxiv_id":"1909.05076","snapshot_observed_at":"2026-08-05T14:51:02.125010Z","title":"Static Analysis for Probabilistic Programs","venue":"cs.PL","work_id":"c8609d0b-e24f-49d2-abd0-40b3ba0ebeef","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.834871Z"},"links":{"cited_paper":"/paper/1909.05076","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:0099672e9fdc8b72913fb0eeb01cc74ed1529f7606649f547344a643de61f742","observation_id":"5f71638b-a349-43bc-9af0-ce6f73ac0514","resolution":{"observed_at":"2026-08-05T14:51:02.129556Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.655595Z","title":null,"venue":null,"work_id":"d40bd430-70ae-425c-a018-3a53ef06dc6f","year":2023},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.838948Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:86ecab4e909a60207e862f12b1d87158b6bed82f2bb85d71758c4eca3363f79a","observation_id":"d38e98f7-145b-4333-8dca-010a4d794d51","resolution":{"observed_at":"2026-08-05T14:51:02.659253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.646427Z","title":null,"venue":null,"work_id":"5ab1b0ef-2dd4-4cf2-a68a-d96845e8b854","year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.842616Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:6f07317efbf8e4c16205d128f8a324122b7331781d7d7acb0fb171d14da5c77a","observation_id":"a228730b-049f-430c-bf8f-34c9dca89d19","resolution":{"observed_at":"2026-08-05T14:51:02.649568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.636828Z","title":null,"venue":null,"work_id":"f2969676-291e-4b8e-8d56-79339d1b48b2","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.846319Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:fa7a272538684183b66a07b9ebc9b3c28725e99f6bc9e7bcbae764d17c4c996d","observation_id":"6b9b0b5f-7c1d-4f5b-9aea-a501a35d2f4c","resolution":{"observed_at":"2026-08-05T14:51:02.640159Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.626720Z","title":null,"venue":null,"work_id":"0d610c71-c5aa-4138-949a-c8db876f438a","year":2024},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.850290Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:bfe11619a2daa93e94fac2f256b9897fe082bdcbc5207abc56441e8449099ff0","observation_id":"a915d026-aa43-4dd4-97d1-23179ae3264c","resolution":{"observed_at":"2026-08-05T14:51:02.629855Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.617725Z","title":null,"venue":null,"work_id":"a4e32d83-981c-4181-9891-1ccd224ba925","year":2016},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.853466Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:00d90b860f9f7555f658bd81cc4df513e3d30a16bfa318cf7ef7e8d9a04c552d","observation_id":"b5446b14-136f-4c4e-9623-55b10609c2fc","resolution":{"observed_at":"2026-08-05T14:51:02.620890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.608508Z","title":null,"venue":null,"work_id":"7c4d3908-4fbc-4922-8da7-86275d9fed67","year":2011},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.856689Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:e5832ac0a77f9414ac5903fbb23b81e4120bc438f450c02fb855a2b915c59d1a","observation_id":"190948bc-ffaf-4d3b-a94a-0a7a90b0c385","resolution":{"observed_at":"2026-08-05T14:51:02.611715Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.16900539","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:02.066175Z","title":null,"venue":null,"work_id":"a238e712-d03b-43a1-b66c-f622a5966380","year":2025},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.859845Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:3d69faf4f5462391c16f120390398856d6f8cdd4b7239bfed9370a9e44a124da","observation_id":"2030fe81-9ab1-4c90-92dc-25d6b03e4032","resolution":{"observed_at":"2026-08-05T14:51:02.070415Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.598066Z","title":null,"venue":null,"work_id":"90050180-28e3-449c-a410-02074d81f7ee","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.863536Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:e7e06b8755f6ed7317c1505adf69031b67f987a50f2c9294045154bdc858d081","observation_id":"66528cb0-1180-4eea-a530-f04f0c359093","resolution":{"observed_at":"2026-08-05T14:51:02.601775Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.588972Z","title":null,"venue":null,"work_id":"89fd3cae-58a0-4010-a1fe-58115ebe52b6","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.867221Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:4efba15baa1484ba3a322251e92066ba372de74802142c0d15a529d08fa57b35","observation_id":"c7733e75-d24d-4bb6-b896-e59a53318b73","resolution":{"observed_at":"2026-08-05T14:51:02.592111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.579495Z","title":null,"venue":null,"work_id":"7a0aea79-969b-4ae0-8b04-2ef72e8636e7","year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.870595Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:114e4ddc1f7979ad7903c74ccc7ba036d0afce46789ecf206ca0785445e83db1","observation_id":"e3e6e4c4-63b2-4155-bafa-b0a8837003b2","resolution":{"observed_at":"2026-08-05T14:51:02.582712Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.570378Z","title":null,"venue":null,"work_id":"b0c7e901-0466-4a33-8a5b-c0fa5dd1977b","year":2011},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.874140Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:c136a9c2f529eeb3938688a46ecb609c225f6eb84391bf46006e27ead68bbe8e","observation_id":"ed8ff33d-6eeb-4215-9a57-b7161f41afda","resolution":{"observed_at":"2026-08-05T14:51:02.573462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.09871","last_updated":"2020-07-21T01:24:19Z","snapshot_observed_at":"2026-08-08T19:49:21.415982Z","submitted_at":"2020-07-20T03:46:36Z","title":"Automating Involutive MCMC using Probabilistic and Differentiable Programming","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.09871","snapshot_observed_at":"2026-08-05T14:51:01.877432Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.877432Z"},"links":{"cited_paper":"/paper/2007.09871","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:5cb94f98b34c7392be4b0824cdc3adb50f8d8404632ea4a2bab102b82dc18399","observation_id":"a50ad12b-40e7-492c-af09-35ce6a5c3add","resolution":{"observed_at":"2026-08-05T14:51:01.877432Z","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-05T14:51:02.561427Z","title":null,"venue":null,"work_id":"77da927c-7cd5-4b6f-b43f-3cdd10257e76","year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.881103Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:37018af1dae0ccd05334f707db3fb0284e4f581340974b605672183b93f4f363","observation_id":"87088cd5-3f69-4b04-83ed-318c34b2796d","resolution":{"observed_at":"2026-08-05T14:51:02.564518Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.551918Z","title":null,"venue":null,"work_id":"240fe0d3-d4d1-40ac-9388-708b02c9faca","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.884175Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:6fbff277f26eff3097e88b3c45e8f89c56386a9fa636c7ec777631a33869aada","observation_id":"1fdac1b7-bd7b-464d-ae34-9ed79ebcc381","resolution":{"observed_at":"2026-08-05T14:51:02.554992Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.542808Z","title":null,"venue":null,"work_id":"a572525e-f41d-4d60-b906-d3cbf2f3f087","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.887602Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:83ce24239b4a31193faa561f2637e221f92184cdcde8c3cb41d461ce7faaac27","observation_id":"a6c0f219-9c8a-4b48-8869-52dc1fdb5064","resolution":{"observed_at":"2026-08-05T14:51:02.546033Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.531190Z","title":null,"venue":null,"work_id":"3ab4dae3-372d-40b0-be76-768af9896d0a","year":2024},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.890835Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:2b18b5728d1c9e3a9fb7d8852a688dd5911bdb7149cc50f455eec9d8e87a24c0","observation_id":"9add96ce-4dc7-4fb1-9faa-988bf35cbc1a","resolution":{"observed_at":"2026-08-05T14:51:02.535884Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.522414Z","title":null,"venue":null,"work_id":"8bef3a14-794d-44fe-8a08-0a37737dba77","year":2018},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.894132Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:73ec604675e133674a305f763d8b40dba9f3301754e5e5141f28c174b5d5841a","observation_id":"845a763f-0d80-4e52-bfae-18f0f832d4d4","resolution":{"observed_at":"2026-08-05T14:51:02.525440Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1206.3255","last_updated":"2014-07-15T08:32:38Z","snapshot_observed_at":"2026-07-06T02:49:58.517151Z","submitted_at":"2012-06-13T15:30:30Z","title":"Church: a language for generative models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1206.3255","snapshot_observed_at":"2026-08-05T14:51:01.897205Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.897205Z"},"links":{"cited_paper":"/paper/1206.3255","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:28e6064b0253398cc4b9c5916aa3a333498f1420d517bfb94395886a3ab1ca39","observation_id":"dc535530-a538-48a5-8ee8-e5fddbe50353","resolution":{"observed_at":"2026-08-05T14:51:01.897205Z","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-05T14:51:02.512435Z","title":null,"venue":null,"work_id":"a47ab446-6a41-40c0-82f4-a7c540c4e569","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.900633Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:df385be0877592e8dc32ec69eb662bc57647825bc5f78b64e54ce0faaf8bc77e","observation_id":"6ea7f18f-0706-48d1-a875-77527e198fe1","resolution":{"observed_at":"2026-08-05T14:51:02.516211Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.502053Z","title":null,"venue":null,"work_id":"e05d565d-4e76-40e4-873a-e923b3dc328e","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.903540Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:5da6d42e128dfdae8ca2cfdff2ae84a5a43c66e0e9b26d41dcebdc3cfb396b0a","observation_id":"158d087b-9555-42d4-8bd5-39a894ea391e","resolution":{"observed_at":"2026-08-05T14:51:02.506087Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.492351Z","title":null,"venue":null,"work_id":"eb9d4b38-72b0-4aed-b33f-3ed5e618bbc3","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.906590Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:95792c702494d5089c495d0eaaa4fd2d4cb9294ab83b70b23bede653209f7b83","observation_id":"a5212464-c73c-47bf-aa30-68b662008460","resolution":{"observed_at":"2026-08-05T14:51:02.495516Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.483144Z","title":null,"venue":null,"work_id":"89e7daa1-e6cd-40fa-9838-ca9fd70e4cb1","year":2021},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.909653Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:8a2775e338ae572cdc2188d27318d3396f62ce81dfc191242bde3dd1e4cb9b07","observation_id":"a85d7f3e-53a5-4d2f-a300-4c8ce38d7b8b","resolution":{"observed_at":"2026-08-05T14:51:02.486331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.473934Z","title":null,"venue":null,"work_id":"75f4aa79-74a7-4a47-8f57-d92f80c180f8","year":2011},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.912529Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:a02250d78aaec7c560dbf24e211c60a7d070a2ef01bcb20f298d1ed0aeb9de4a","observation_id":"92a94445-cd20-41e7-8a01-9d5a20a654c2","resolution":{"observed_at":"2026-08-05T14:51:02.477011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.464605Z","title":null,"venue":null,"work_id":"93d9672c-11d2-4210-bfff-8a6bded84ded","year":2017},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.915716Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:daf1e77931c22fbdf121dab296309eb34e5555457cdbdfd71b9dcf1f5f1787e0","observation_id":"6664a752-6a7d-4c4f-8c20-5a0bb11d21be","resolution":{"observed_at":"2026-08-05T14:51:02.467927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.455152Z","title":null,"venue":null,"work_id":"522ac318-0202-4ce1-97ce-f0e55d80dfb8","year":2020},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.918926Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:96f7408eaa75e79349bc11fa57344d1003cc5b12d0731fce5b3da8c73b58f4e8","observation_id":"53d358c4-9d7a-469d-a73e-1b052818948f","resolution":{"observed_at":"2026-08-05T14:51:02.458397Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.445930Z","title":null,"venue":null,"work_id":"eaf759d2-baa2-4dee-a6cc-cba9c5fad34d","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.922133Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:2da870542bd873c0a9f54ac896869009bc748902d346e04c22623c2d3e35d737","observation_id":"28acf3b4-69ff-4af3-912a-61ebed24d3f8","resolution":{"observed_at":"2026-08-05T14:51:02.449282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.436944Z","title":null,"venue":null,"work_id":"6995c976-d5c2-4b77-8938-c149d1613ff5","year":2015},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.925042Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:dc41badf133e99302c219bdc3ea913ecf3e51336a6ae8e3b885531b73df63116","observation_id":"dd38df2d-8e84-470c-b634-c9677d2f293a","resolution":{"observed_at":"2026-08-05T14:51:02.440015Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.427326Z","title":null,"venue":null,"work_id":"7c3a98a9-509d-4d2c-8279-0e253e8aa668","year":2009},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.928219Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:34535c518ebf98de94ee33bde67fc9d23c68ec9211063ccc0c5e2197448c55ba","observation_id":"86254834-d906-4df4-a7d1-01c6ec1bbb1d","resolution":{"observed_at":"2026-08-05T14:51:02.430548Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.418317Z","title":null,"venue":null,"work_id":"3d95c731-cc71-4520-8457-938c49e0065c","year":1979},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.931212Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:897c37abd10d64b21556bac0f98404e70aaaaeadb1e832a32bdeb658a3e9fa29","observation_id":"f99e4ac1-8627-4a0e-9e1a-e9453d351ddc","resolution":{"observed_at":"2026-08-05T14:51:02.421429Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.409018Z","title":null,"venue":null,"work_id":"ea3d0621-6d98-472e-bac9-f759601d7dd1","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.934345Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:3a8bd0196804ad10ec1323b5ede962011dd59fc4cb1a39107c027ecf807c6a72","observation_id":"83ec52fc-4b41-4f2a-91fb-cf9fbc631dc2","resolution":{"observed_at":"2026-08-05T14:51:02.412216Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.399736Z","title":null,"venue":null,"work_id":"25e68d44-07f7-4233-b349-5432cc0d4335","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.937434Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:2ad66617c896e4fedd19bb0e70f80c2ebe3086cb7c7fa0d8d7fa4b021f06979b","observation_id":"ae393198-5d02-4d73-95eb-acd2ab72e0ef","resolution":{"observed_at":"2026-08-05T14:51:02.402887Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.390781Z","title":null,"venue":null,"work_id":"2d8b6563-b12a-4343-92a4-4235e874106e","year":2023},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.940268Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:516a296507e1400c4376c14c8fdfcbf4960d34b0c2018304597f6e8d058af1e2","observation_id":"7f469adf-096c-4473-afba-a7a378bc6e9b","resolution":{"observed_at":"2026-08-05T14:51:02.393828Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.381634Z","title":null,"venue":null,"work_id":"98fe011d-952a-4e05-91ce-d5180e8af3d6","year":2021},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.943933Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:08839f695714a5ec610bf33abbd34836fc7862bcafe281754c8b759c8181501b","observation_id":"df6ce7bc-d481-464c-8a3d-a147dc3ae81e","resolution":{"observed_at":"2026-08-05T14:51:02.384981Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.372427Z","title":null,"venue":null,"work_id":"8fb3f238-e4c9-43dc-b4a6-d96bbb7281db","year":2000},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.947175Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:84f97660d1039577020f7ba6e2675d3fac8bd4f4830655cdf44c2a22c5a520c6","observation_id":"bac96d23-1f7c-43f7-a07f-744ee8c8fd49","resolution":{"observed_at":"2026-08-05T14:51:02.375617Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.363273Z","title":null,"venue":null,"work_id":"9b0c105d-2024-4b09-ab55-c062f0afad30","year":2021},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.950367Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:0d4f3dcca4a9934983078a00f1237e5cc684280889a1b8a5f2d63a7772b2081e","observation_id":"cc6937c9-cc08-4b13-a3b9-c51eee267675","resolution":{"observed_at":"2026-08-05T14:51:02.366270Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.354142Z","title":null,"venue":null,"work_id":"99de6cca-8a03-4799-bc64-e91c72b9e648","year":2018},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.953574Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:480303c055dcdd2ac218ff865b9499c43f24faf0cdf4da3e6f38a3bd99364db8","observation_id":"42812bdf-12eb-4631-8645-e17a207d191c","resolution":{"observed_at":"2026-08-05T14:51:02.357216Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.345152Z","title":null,"venue":null,"work_id":"a83c39b7-8e60-4b9f-9f16-1b7f9f46ce46","year":2009},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.956706Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:ddb5ed055979a326d5a854f7f211f7d7513a706f5d7c2f2a1596e7d530e9dd73","observation_id":"50237949-6bc2-45c5-a577-3f81570cadee","resolution":{"observed_at":"2026-08-05T14:51:02.348209Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.336181Z","title":null,"venue":null,"work_id":"f752fe6e-f4a5-4c3d-92be-18909457865c","year":2007},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.959870Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:fa2470417f7e3e0aea77c8efd29d2088a4c740040c7237c29100cb4f97172924","observation_id":"1199142e-8e67-4c62-9484-7e65c672b321","resolution":{"observed_at":"2026-08-05T14:51:02.339344Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.327100Z","title":null,"venue":null,"work_id":"da005ae9-c4ed-46db-a817-fee1f3fcd433","year":2005},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.962995Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:8b378b5bcd1bd2413fcf89b0ed99eaf890a7d7279a2a660f517a69cf1be1b08f","observation_id":"3d133b46-6247-40d4-bd43-60e1524d3862","resolution":{"observed_at":"2026-08-05T14:51:02.330154Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.318159Z","title":null,"venue":null,"work_id":"099863a7-34ca-4084-b536-fa3c95e8bb4a","year":2012},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.966614Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:482a4dbae3b0ed5666f3cd0a9121753343f24238804f4f1fd60565c100edaf25","observation_id":"b9572a7c-2bc9-4352-a707-33ec73c29ddf","resolution":{"observed_at":"2026-08-05T14:51:02.321334Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.308332Z","title":null,"venue":null,"work_id":"7116e301-044e-4616-982f-d82339063c0a","year":2018},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.970201Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:91f21078032363aa6253091e95171e4c49ccc790b81a7abbcf9bf7358eb615ba","observation_id":"ab3055a2-62d7-4579-b97d-1f7220914543","resolution":{"observed_at":"2026-08-05T14:51:02.311696Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1206.6430","last_updated":"2012-06-27T19:59:59Z","snapshot_observed_at":"2026-07-06T02:50:47.096675Z","submitted_at":"2012-06-27T19:59:59Z","title":"Variational Bayesian Inference with Stochastic Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1206.6430","snapshot_observed_at":"2026-08-05T14:51:01.973654Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.973654Z"},"links":{"cited_paper":"/paper/1206.6430","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:fc98197f5ca817308342972c36a8b096f38b136e5f9bd1526910fd7f4f6be5b6","observation_id":"ad30eb66-b0fc-47f0-ba47-52c1af6422a0","resolution":{"observed_at":"2026-08-05T14:51:01.973654Z","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-05T14:51:02.299158Z","title":null,"venue":null,"work_id":"c8494e7c-b371-4469-8393-e598292b8d82","year":2021},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.977294Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:03df72a9f92c08b24336e9d54c9908b8b41de463cab081e5d4c6405e2c3f2f6a","observation_id":"6ea00907-8408-4583-939b-cc790b5e2dff","resolution":{"observed_at":"2026-08-05T14:51:02.302363Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.290128Z","title":null,"venue":null,"work_id":"ec704424-834c-464c-ac16-6ad9f79194b2","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.980573Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:7304e8dd7b4cd784641a05fa0910fdf7c63943238d4af173732c7c54fed62b10","observation_id":"2cd2e678-690e-4a50-b8fd-3ff77fe61a07","resolution":{"observed_at":"2026-08-05T14:51:02.293243Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.280972Z","title":null,"venue":null,"work_id":"a59044e2-c88c-4d11-89c5-e208f99d6fa5","year":2016},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.983944Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:feda0659c8cb5c176f9b7bb34e173eba0b9119c157d2b2123d07a99e6aff9581","observation_id":"01394b64-3bf2-469a-a353-45a6a9b60de1","resolution":{"observed_at":"2026-08-05T14:51:02.284095Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.271816Z","title":null,"venue":null,"work_id":"f84c06a7-376c-47cc-998f-6ee37502ba46","year":2017},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.987099Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:c00bebce4a9d036e6b13141626a3420784cc6da852650bd51c9c2105c2c15064","observation_id":"7b2d76ce-2a09-4972-b549-c56e3f0c3b67","resolution":{"observed_at":"2026-08-05T14:51:02.275062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.262713Z","title":null,"venue":null,"work_id":"62dbcf32-0a84-4155-8185-696b2587c006","year":2021},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.990449Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:3b577ad2390141325d5206e9ab32ab7798348df2dac1aa702217da20e9b57f33","observation_id":"9c9d520f-1991-4efa-a9ce-49cc72ec4c7e","resolution":{"observed_at":"2026-08-05T14:51:02.265807Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.253653Z","title":null,"venue":null,"work_id":"acd44502-4e7f-4738-ad2a-e194d70ecc52","year":2016},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.993552Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:b29ea74f2b30133a3858e0c4a489600c0811f6c94d265ea5cdc75ec8e037bde5","observation_id":"a3eea3b9-33dd-4914-962e-06dd8e06ef07","resolution":{"observed_at":"2026-08-05T14:51:02.256742Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.244537Z","title":null,"venue":null,"work_id":"f72f5084-02e5-46bb-957d-6b925b088a54","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:01.997035Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:0fa7bf504f0f7e39289e11800b895bccac0876b70476d479b32fb86bb2235c2f","observation_id":"242c877a-3bef-485a-9041-3fa4f908e760","resolution":{"observed_at":"2026-08-05T14:51:02.247727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.234691Z","title":null,"venue":null,"work_id":"50d357dd-1632-48cb-847c-ff75ad6cdc31","year":2015},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.000073Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:2410571b4e8667290383b25bcd145f651fe0656c881ae3f2433ca311a31226f1","observation_id":"d75eea74-e16d-4bed-abea-d8fe973bdc0a","resolution":{"observed_at":"2026-08-05T14:51:02.238597Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.225556Z","title":null,"venue":null,"work_id":"9cadb1f1-06dc-4456-a0ef-4e1d3752a605","year":2016},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.003150Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:7f0bd17de7892da90ca5a9bbf07dec54efe3da703371d60ee0886a974421f5b7","observation_id":"8ff6e352-7d41-4d80-a67a-dc909b49ca65","resolution":{"observed_at":"2026-08-05T14:51:02.228667Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.216198Z","title":null,"venue":null,"work_id":"ecd7cac4-e29c-41cb-b940-454c298ccdb4","year":2015},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.006242Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:c8668cad4cc95f873e5775d8cb761a690fb254198ea17dc1d7547292ca819d9b","observation_id":"6c67e5a4-4193-4369-a48d-383ca237141f","resolution":{"observed_at":"2026-08-05T14:51:02.219498Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.206481Z","title":null,"venue":null,"work_id":"45b956c2-fc9f-4467-a55d-548299f81c3a","year":2019},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.009245Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:37c995e9c5e6bfa8d3f30a2d43fefae24150a87c24319c3bfd08cd7b5c38a5b7","observation_id":"1a3c87c8-3d36-438d-a0ad-282c301c7eea","resolution":{"observed_at":"2026-08-05T14:51:02.209531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1809.10756","last_updated":"2021-10-19T10:56:50Z","snapshot_observed_at":"2026-08-01T14:51:22.613991Z","submitted_at":"2018-09-27T20:44:23Z","title":"An Introduction to Probabilistic Programming","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.10756","snapshot_observed_at":"2026-08-05T14:51:02.012446Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.012446Z"},"links":{"cited_paper":"/paper/1809.10756","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:2da3566aef628ac66cc9dbf482ff8d3b12f7201d5c76642b5d6094800dd29c8a","observation_id":"32acce87-5423-4740-a1df-f548ef4cf924","resolution":{"observed_at":"2026-08-05T14:51:02.012446Z","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-05T14:51:02.196907Z","title":null,"venue":null,"work_id":"aaf1e255-a781-421c-acd8-afbdadeeb688","year":2011},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.016165Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:6e8950afa164a29c7c42ee3a1094728bbb4c220e888c4daa3c167c8752744fff","observation_id":"12678869-15f4-4012-9701-9974a10ec45a","resolution":{"observed_at":"2026-08-05T14:51:02.200216Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1606.09242","last_updated":"2016-06-30T08:30:54Z","snapshot_observed_at":"2026-07-06T05:01:49.181638Z","submitted_at":"2016-06-30T08:30:54Z","title":"Swift: Compiled Inference for Probabilistic Programming Languages","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.09242","snapshot_observed_at":"2026-08-05T14:51:02.019265Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.019265Z"},"links":{"cited_paper":"/paper/1606.09242","citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:d61a2eed5bc2f6f320ae9562deef38bc068c4e0ba0e4698b9119aa4c9f9d1176","observation_id":"32cf4249-bbd6-4b0d-ae27-c8b2df78b86c","resolution":{"observed_at":"2026-08-05T14:51:02.019265Z","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-05T14:51:02.187210Z","title":null,"venue":null,"work_id":"dc99bf20-f914-43b9-a050-74c782d246d3","year":2014},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.022947Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:dce462d9fbf8fe17e34ec7ee760fc5debe41d020c655c97b35d4d075c1c7ba73","observation_id":"84e53500-09f4-465e-881e-6a72b182c927","resolution":{"observed_at":"2026-08-05T14:51:02.190740Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.177168Z","title":"stitching together","venue":null,"work_id":"0ad365bf-a88d-48e4-b1a1-28778d8f1fc3","year":2018},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.026251Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:6dd0f2c6989a6dc810fc9877c24462b38389b242311d9f49bbcae455ecf50b1a","observation_id":"741df4ba-bced-4b48-bf39-456d8f9b877a","resolution":{"observed_at":"2026-08-05T14:51:02.180149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.167361Z","title":"x \" , Bernoulli ( p )) if x == 1 then y = sample (","venue":null,"work_id":"d3f067f7-7eca-431e-9037-e1fcbb9f3f82","year":2025},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.029659Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:524907f81e898256ee5c2c29b6d6edc381570f3ae6323d82b7c76d74a601fad7","observation_id":"6de03aa7-20de-4ee8-a73f-b4f29aa9e564","resolution":{"observed_at":"2026-08-05T14:51:02.170750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.156595Z","title":"key errors","venue":null,"work_id":"a5f6ffc6-99a9-4c18-ba6e-f3ff03232de9","year":2025},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.033297Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:f71045ac5939a121a68bca89e081553ece43ce59c96b6d7f401fa91f35426cb1","observation_id":"55999906-a9b1-4282-bf95-e6a690fd36b1","resolution":{"observed_at":"2026-08-05T14:51:02.160667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.146983Z","title":null,"venue":null,"work_id":"3d169c26-f828-4314-bbae-7b4acd6f39ca","year":null},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.036868Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:8fb0cc39a3367ba7c41b369cb64717f9b7ce6ef1b818cf1c278c9ebf5124bbf5","observation_id":"ebb9c311-9853-47a2-894f-ae59d61f2deb","resolution":{"observed_at":"2026-08-05T14:51:02.150081Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"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-05T14:51:02.137005Z","title":"Then, the execution sequence in the unrolled version of the sliced CFG 𝐺 SMC 𝑘 matches the sub-sequence:(𝜎′ 1, START) tr −→(𝜎′ 1,𝑀′ 1) tr −→··· tr −→(𝜎′ 2,𝑀′ 2) tr −→(𝜎′ 2, END)","venue":null,"work_id":"8a6a8992-acf0-42c0-9fec-8a4c2fe86f1d","year":2025},"citing_paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:02.040018Z"},"links":{"citing_paper":"/paper/2508.20922"},"observation_digest":"sha256:3f78cfed803b7d465f51277022258ad2fd49b79db3930171196e7c29bec4e4d2","observation_id":"f1597aee-0d18-4fc9-a3a2-f1c08f4ce8e7","resolution":{"observed_at":"2026-08-05T14:51:02.140495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.20922","last_updated":"2026-07-25T00:40:50Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T07:23:52.232879Z","submitted_at":"2025-08-28T15:51:16Z","title":"Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":59,"verified_exact":2,"verified_fuzzy":4},"total_outbound_references":65},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 1 inbound Pith citation observation for arXiv:2508.20922."}