Paper Citation Record · LEDGER

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2508.20922 v2

Coverage vector

measured 65 of 65 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T14:51:02.040018Z

measured 66 of 66 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T02:33:28.353942Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-10T12:15:01.137692Z

Reference resolution

65 of 65 outbound references displayed

verified exact2
verified fuzzy4
unresolved59
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1d9c764c-7c2a-49c0-b94b-aeb8579a04d2 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.677370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation de8e9358-df13-45e4-9663-d6cbbea7cff0 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.668450Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5f71638b-a349-43bc-9af0-ce6f73ac0514 · outbound

This paper cites Static Analysis for Probabilistic Programs.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Static Analysis for Probabilistic Programs

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-05T14:51:02.129556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d38e98f7-145b-4333-8dca-010a4d794d51 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.659253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a228730b-049f-430c-bf8f-34c9dca89d19 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.649568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6b9b0b5f-7c1d-4f5b-9aea-a501a35d2f4c · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.640159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a915d026-aa43-4dd4-97d1-23179ae3264c · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.629855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b5446b14-136f-4c4e-9623-55b10609c2fc · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.620890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 190948bc-ffaf-4d3b-a94a-0a7a90b0c385 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.611715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2030fe81-9ab1-4c90-92dc-25d6b03e4032 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-05T14:51:02.070415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 66528cb0-1180-4eea-a530-f04f0c359093 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.601775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c7733e75-d24d-4bb6-b896-e59a53318b73 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.592111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e3e6e4c4-63b2-4155-bafa-b0a8837003b2 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.582712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ed8ff33d-6eeb-4215-9a57-b7161f41afda · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.573462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a50ad12b-40e7-492c-af09-35ce6a5c3add · outbound

This paper cites Automating Involutive MCMC using Probabilistic and Differentiable Programming.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Automating Involutive MCMC using Probabilistic and Differentiable Programming

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T14:51:01.877432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87088cd5-3f69-4b04-83ed-318c34b2796d · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.564518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1fdac1b7-bd7b-464d-ae34-9ed79ebcc381 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.554992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a6c0f219-9c8a-4b48-8869-52dc1fdb5064 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.546033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9add96ce-4dc7-4fb1-9faa-988bf35cbc1a · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.535884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 845a763f-0d80-4e52-bfae-18f0f832d4d4 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.525440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dc535530-a538-48a5-8ee8-e5fddbe50353 · outbound

This paper cites Church: a language for generative models.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Church: a language for generative models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-05T14:51:01.897205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ea7f18f-0706-48d1-a875-77527e198fe1 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.516211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 158d087b-9555-42d4-8bd5-39a894ea391e · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.506087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a5212464-c73c-47bf-aa30-68b662008460 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.495516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a85d7f3e-53a5-4d2f-a300-4c8ce38d7b8b · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.486331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 92a94445-cd20-41e7-8a01-9d5a20a654c2 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.477011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6664a752-6a7d-4c4f-8c20-5a0bb11d21be · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.467927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 53d358c4-9d7a-469d-a73e-1b052818948f · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.458397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 28acf3b4-69ff-4af3-912a-61ebed24d3f8 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.449282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dd38df2d-8e84-470c-b634-c9677d2f293a · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.440015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 86254834-d906-4df4-a7d1-01c6ec1bbb1d · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.430548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f99e4ac1-8627-4a0e-9e1a-e9453d351ddc · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.421429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 83ec52fc-4b41-4f2a-91fb-cf9fbc631dc2 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.412216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ae393198-5d02-4d73-95eb-acd2ab72e0ef · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.402887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7f469adf-096c-4473-afba-a7a378bc6e9b · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.393828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation df6ce7bc-d481-464c-8a3d-a147dc3ae81e · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.384981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bac96d23-1f7c-43f7-a07f-744ee8c8fd49 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.375617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cc6937c9-cc08-4b13-a3b9-c51eee267675 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.366270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 42812bdf-12eb-4631-8645-e17a207d191c · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.357216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 50237949-6bc2-45c5-a577-3f81570cadee · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.348209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1199142e-8e67-4c62-9484-7e65c672b321 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.339344Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3d133b46-6247-40d4-bd43-60e1524d3862 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.330154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b9572a7c-2bc9-4352-a707-33ec73c29ddf · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.321334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ab3055a2-62d7-4579-b97d-1f7220914543 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.311696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ad30eb66-b0fc-47f0-ba47-52c1af6422a0 · outbound

This paper cites Variational Bayesian Inference with Stochastic Search.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Variational Bayesian Inference with Stochastic Search

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-05T14:51:01.973654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ea00907-8408-4583-939b-cc790b5e2dff · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.302363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2cd2e678-690e-4a50-b8fd-3ff77fe61a07 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.293243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 01394b64-3bf2-469a-a353-45a6a9b60de1 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.284095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7b2d76ce-2a09-4972-b549-c56e3f0c3b67 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.275062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9c9d520f-1991-4efa-a9ce-49cc72ec4c7e · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.265807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a3eea3b9-33dd-4914-962e-06dd8e06ef07 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.256742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 242c877a-3bef-485a-9041-3fa4f908e760 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.247727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d75eea74-e16d-4bed-abea-d8fe973bdc0a · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.238597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8ff6e352-7d41-4d80-a67a-dc909b49ca65 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.228667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6c67e5a4-4193-4369-a48d-383ca237141f · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.219498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1a3c87c8-3d36-438d-a0ad-282c301c7eea · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.209531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 32acce87-5423-4740-a1df-f548ef4cf924 · outbound

This paper cites An Introduction to Probabilistic Programming.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops An Introduction to Probabilistic Programming

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-05T14:51:02.012446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12678869-15f4-4012-9701-9974a10ec45a · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.200216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 32cf4249-bbd6-4b0d-ae27-c8b2df78b86c · outbound

This paper cites Swift: Compiled Inference for Probabilistic Programming Languages.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Swift: Compiled Inference for Probabilistic Programming Languages

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-05T14:51:02.019265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84e53500-09f4-465e-881e-6a72b182c927 · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 60

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.190740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 741df4ba-bced-4b48-bf39-456d8f9b877a · outbound

This paper cites stitching together.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops stitching together

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T14:51:02.180149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6de03aa7-20de-4ee8-a73f-b4f29aa9e564 · outbound

This paper cites x " , Bernoulli ( p )) if x == 1 then y = sample (.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops x " , Bernoulli ( p )) if x == 1 then y = sample (

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T14:51:02.170750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 55999906-a9b1-4282-bf95-e6a690fd36b1 · outbound

This paper cites key errors.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops key errors

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T14:51:02.160667Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ebb9c311-9853-47a2-894f-ae59d61f2deb · outbound

This paper cites an unresolved cited work.

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-05T14:51:02.150081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f1597aee-0d18-4fc9-a3a2-f1c08f4ce8e7 · outbound

This paper cites 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).

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops 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)

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T14:51:02.140495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

Observation 0aa1e376-58a7-40fd-a8e4-4644d6f3feed · inbound

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs cites this paper.

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-28T00:21:32.023746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.