{"as_of":"2026-08-10T13:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:02a1bf72a603bfeeaddd3467f768334d6bb4092ae832bbda9fc7f3f89d019958","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-10T06:31:04.303077+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-09T20:38:55.370481Z","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:35849b3a21bd7f5720762a96c4d48bf850fff802b39e91c1e4a8432e5fd4d637","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:2d8a588428624ec516f8d9f218ef3fd09d68c2bbef7ba8d062a858fbb85d1b98","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:934d6b3226a51ada7ea2b68ef7a11afaad3edca0b6bf5e911d1ebdc1ee8271a0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T04:15:51.351212Z","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-09T20:38:55.370481Z","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:d05e62a8c63d5eac4d081d475ae3935a29a4bfbd04e155fa6a5bc3f27439ca7c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:c823741c824477959798bcfb32239ed580f73d69a0b63c834c4e4df77b86182a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:33ee12087a3cdaad98195bf5f4517fe29d5fda97f2cbde0aa0f7d2e97a5e449d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:0065b1ba59c6ea085a5872beb52b85a86c749cfc00c0d305bcdc75e2ddf44c56","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:38e52f37f6783268a64f9e737a930af2e06e4a8008f85453d9e2d8a336e605f6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:946398110afec55f05411c45417a54ea8d91defc140b8ac7e91bd5ba662d7cd5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:f5b0c82bb6ff147dddeb52a04592dbfcb47f737afa185e9ac34f4e72c33ab129","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.16900539","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Zenodo (CERN European Organization for Nuclear Research)","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-09T20:38:55.370481Z","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:47ed160a0666b83c9c703da8f29ba42116aec5c636be56fd15c7f966afea4778","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:c3e847ddcdb78bb7bf4a08534a4a0049b7b2065fd88b7dd67be9f1beab8e0b9e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:e0cf6c22fcc9086792ffd8478b2f4c9e19c2aa70f367887c15a25eb85c78f9ed","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:8c42606a6e640ee1d14d674edcf9d75c739b4393b4d0fafc6c6475b7f11a448a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:8fa5b4905ed2c56a17f8025acdf60ab8eb1995842369b95ab53ed0fb2a469207","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:de1588e2afbbc6eef9d60f91bd16ffa8d073e9b657623f768b139b4839874f2d","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-09T20:38:55.370481Z","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:a70ea99ebb44c0ce75dc9a4fb78e32e1c7b79138de52adac0d44e76682d98a23","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:8b89f1128dac96322da867b546329f22daa0f3806d7452dd8b1265b470bb4e93","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:229d8c0accff03c8d5ec8680cf5c91e38a22264543bb26182d32ce4d592b62f4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:476abff377ed0e6a9b12d9096c43e8218eedf17e399cf82c5b6e0ab3b9210eee","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:d3f6df37b7ae734e251d385ba8ebbfe8768c902e851ef2e34a0aaa8f489a0f4f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:b48a88e03cac1d50dc879352f59a63850b07c0739869efa7382e572f5c18666e","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-09T20:38:55.370481Z","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:d8e17e2fb1f0283cfda1901ea76f489c36a533b4e073f60ea5d4fada3dffe44a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:a0cec96552d90f71cb1c228a341f26771492fe8ce194c6d526d7f01637dcd46b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:35cc1e9c3b6c1fa7db04d9c3acf42a4211e8b8ac6198153bd870d52ad7e1a094","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:4cf41c48193efe1718c55f182520e9cf7ae5e4b8d57b01333ac0913f08b26454","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:d96198c94ac57a8f9bea6e5caa8f32e123d7909e4a42d78c7e9d88ac1b048ae5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:c23b55606653a1411a5c9e080ff8161ae96884d66b476e1b9523599f9878824c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:6ce86862790ef60693fa3c93f08923b280c388019c9894b82e47b5d4346bc92f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:b722f3457a29e8a0e43e3199421ac0ea9901ebf8deecf5f2bd0a220cf7e0a7fc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:cc18caaf8c881e6805bbcecda7c87b7d4a1a62f5db10d008aa4e406cdedbbf32","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:8eb858335de762d3d2be89e1038b3335a8693ce08fc71aa67c1cc0eeb15164b7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:29c9470c28766e01938f4836705d2ea920c7efc6534755b2980d10808092b0d4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:806813c818a01c0fae283c1f3629f22947c0b1e0f777e35de66b5e581393c5e4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:d396af3c9b16ef4f04998af3ae75d262fad47a5ad241d47439b4051813327766","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:de0fd36a9fae90b13d86f971b71a229993f6a43dff8503861406c1a2b3a733c6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:873365e427d476bd764cd42dee55fc819128a8430cbd7b0fdabf1a174c688411","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:d53b49c2ec26dfa4e2d652bd1aff16e2150951807a0580f0f8c5f31070738a93","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:65640df4ac172c916c7a267ae7c9ba6ff624777a4da37d815fbb522c59977cc4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:d7e787ce67f64dcc58b8430cf9698cc158a3679df43f8276967fb37b81b0fef3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:186243b266c5878a3acd6b0dd47acec341534ddc45c2a1a3ecaf39b8cb1989a2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:ac5e6e785c724be94a8a2bc2bdfc06523f1c803df8cb7a57507d436be5975c46","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:be23026fb94c81433c4d14e9ac321fc96c797369e0b17cefd1932bb5d59f1bbf","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:ee9ca34b1e444bf0922dee1c7248a094f17ab76da38191d387a82fc2f48adea3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:590d9f980e5d25f596fc289f364108ca02f953273a3ed9f33436f345bdc5c9c6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:0a9e34bbb5d84a90cf354b20bd35bfe15ee6aa13e77762f6887693358679ea58","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-09T20:38:55.370481Z","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:86b191ec9ca0880a84f4a031db83cfed54ad45141078142b1f0f8d1ef33d9b2e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:001783fdb3ccdef9f508b84a299b169c779a5a58a49ad45e06499851c6d8b638","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:70bce39c86c8520c1a8decc71b6755740c9c4871d5fbd12883aa3011ecc4b273","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:91efc3341bc94eceae37a2bb5de0b39ba18e182d20fc5e823d3cc88b5194daa4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:17d68c34eb68be5cd0cc13fb2891927f5fceeb0a985b27b5f49e64abc4b01778","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:5780e992c145aed6507b5240587f1f1a32e4735a28088a175eee93c0c468d232","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:9fe68129dabc5af72b39e8dd91efbcc27ae19d8b9f00ebf6b7ecae4aa0f69b58","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:305d5bd34fc4b9763100071f2de9f9a96d3da52e87c847b8ace7f4c9a117b625","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:a2cfb3fd960917403ebec2d2e6a13a781f40273b1fa151a26434f51987157ddc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:97bfe1fa25fc8d72d8b3a89f985997b48411e4a54d3edd8675485d81ba086049","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:ad6a0227e1145cebff074687e468cc488ceb83d6cae1abe17325bdb6fca400a4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:7fe7471b6adf564f0f165a7f16a06f463bce41388f7d8a7f539bd1aea40a1b9b","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-09T20:38:55.370481Z","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:8ac80f62341a052e59e6453d2f0f216cbc07ea5c2ba454fbaafe02bf047199a2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:5cce41800da79aaba058436b9034b188c7bce12f165b3ebd2985935c0fcfe845","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-09T20:38:55.370481Z","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:679512cf05c00d88780c2f2c6f52e2c175c5ba56117e7a139c75460fa0a96ab2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:5ea7315c8a02b7a476ae09f4e2094a369f2e3477d820bbe7df93c4d5eec7c266","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:f6a58ae6c4be64f5da863879ae3a7fef98f949cdcd0b4a7d1a74a0dc0c8756a0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:7a9afce3e8f0c6a907360abe8e5abf83d47ac07aba9b9377b011ed13d497cbab","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:0417eac9b9c8c79076d49505dee19cf33e49e80b6985f7cc726d42f765146bf9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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:ceb791aec44f0b7fef1782eb6587e2f2e6491c6aefad68ba776675eca4ea929c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T20:38:55.370481Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 1 inbound Pith citation observation for arXiv:2508.20922."}