Paper Citation Record · LEDGER

PPDL: LLM-Based Flows as Probabilistic Programs

As of 9 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2608.05234.

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

pith.paper-citation-record.v1
2608.05234 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T17:41:04.770710Z

measured 15 of 15 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

15 of 15 outbound references displayed

verified exact0
verified fuzzy7
unresolved6
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2af858ae-f834-4f94-9d5b-6ac5d4207aaf · outbound

This paper cites The for- mula to calculate the nth centered hexagonal number is given by:1+6+ 12 +...+ 6(n− 1), which simpli- fies to3n 2 −3n+.

PPDL: LLM-Based Flows as Probabilistic Programs The for- mula to calculate the nth centered hexagonal number is given by:1+6+ 12 +...+ 6(n− 1), which simpli- fies to3n 2 −3n+

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:05.070559Z

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 01b5c72d-acfb-4d6f-a5e6-92d8f9c55bbb · outbound

This paper cites PDL: A Declarative Prompt Programming Language.

PPDL: LLM-Based Flows as Probabilistic Programs PDL: A Declarative Prompt Programming Language

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-08T17:41:04.705079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d72733b1-1f26-4277-af03-dc9d973c07b1 · outbound

This paper cites an unresolved cited work.

PPDL: LLM-Based Flows as Probabilistic Programs Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-08T17:41:05.046053Z

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 4ef5437a-5632-48d0-9f9c-f824bd9e27cd · outbound

This paper cites "" ... ".

PPDL: LLM-Based Flows as Probabilistic Programs "" ... "

Reference 10

Resolution: malformed identifier; raw_fallback, observed 2026-08-08T17:41:05.019509Z

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 57e7db48-bf28-4b69-8fda-8c277b2b0e03 · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:05.122714Z

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 4aaf077d-1c4d-43cb-b59e-aa493ac11db0 · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:04.989697Z

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 d7e62176-bc9a-478c-92e1-41407363162d · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:04.950381Z

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 5c5c0321-5659-4aa3-8bbd-63dc1368a26f · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:05.102968Z

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 9c5922a1-a2a6-4f99-99c1-8a8ee65d3b53 · outbound

This paper cites Problem: $ { problem }.

PPDL: LLM-Based Flows as Probabilistic Programs Problem: $ { problem }

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:04.910828Z

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 493ad1f0-1787-4403-a80b-17073bc3ce31 · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T17:41:04.971480Z

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 05547aff-13eb-4b6c-a523-275a96818eb7 · outbound

This paper cites role " :.

PPDL: LLM-Based Flows as Probabilistic Programs role " :

Reference 42

Resolution: malformed identifier; raw_fallback, observed 2026-08-08T17:41:04.927800Z

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 86b71d5b-14f0-4d31-ae40-eb5113db0702 · outbound

This paper cites Jain, N., Han, K., Gu, A., Li, W.-D., Yan, F., Zhang, T., Wang, S., Solar-Lezama, A., Sen, K., and Stoica, I.

PPDL: LLM-Based Flows as Probabilistic Programs Jain, N., Han, K., Gu, A., Li, W.-D., Yan, F., Zhang, T., Wang, S., Solar-Lezama, A., Sen, K., and Stoica, I

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-08T17:41:04.688256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b98661e3-8488-403a-bf01-c56e35a4c62c · outbound

This paper cites Bingham, E., Chen, J.

PPDL: LLM-Based Flows as Probabilistic Programs Bingham, E., Chen, J

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-08T17:41:04.676205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a56e26a-e37d-44cf-8b0b-78afab7fc4fb · outbound

This paper cites Large Language Monkeys: Scaling Inference Compute with Repeated Sampling.

PPDL: LLM-Based Flows as Probabilistic Programs Large Language Monkeys: Scaling Inference Compute with Repeated Sampling

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-08T17:41:04.682131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8ddb747-b66a-4d38-aa72-30db200fce28 · outbound

This paper cites Magnushammer: A Transformer-Based Approach to Premise Selection.

PPDL: LLM-Based Flows as Probabilistic Programs Magnushammer: A Transformer-Based Approach to Premise Selection

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-08T17:41:04.698409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.