Paper Citation Record · LEDGER

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation

As of 12 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 0 inbound Pith citation observations for arXiv:2604.25321.

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

pith.paper-citation-record.v1
2604.25321 v1

Coverage vector

measured 8 of 8 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-07T15:29:19.489764Z

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

8 of 8 outbound references displayed

verified exact7
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 19f60c64-8a11-4722-9e2a-29ad2b4630bd · outbound

This paper cites DisCoPy: Monoidal categories in Python.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation DisCoPy: Monoidal categories in Python

Reference 1

Resolution: verified exact; doi, observed 2026-05-09T02:29:40.369647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2b8f8f04-40e4-4fda-a26b-e2f7d4575841 · outbound

This paper cites Parallel Weighted Model Counting with Tensor Networks.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation Parallel Weighted Model Counting with Tensor Networks

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:21:22.684402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation cac9e13f-7927-4bc2-9138-cd477c4ddb94 · outbound

This paper cites Finite matrices are complete for (dagger-)hypergraph categories.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation Finite matrices are complete for (dagger-)hypergraph categories

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T20:31:53.480513Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 84a8e169-cb96-4448-95f2-38a4bf3b4078 · outbound

This paper cites A unified compositional view of attack tree metrics.arXiv preprint arXiv:2511.14717.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation A unified compositional view of attack tree metrics.arXiv preprint arXiv:2511.14717

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:21:22.366491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation afcf40c4-7e5f-42be-8b42-a21f9f09b43d · outbound

This paper cites Rendering string diagrams recursively.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation Rendering string diagrams recursively

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:21:22.576953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 035acc4a-845a-49ac-a108-814b650da35a · outbound

This paper cites DisCoPy: the Hierarchy of Graphical Languages in Python.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation DisCoPy: the Hierarchy of Graphical Languages in Python

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:21:22.476101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2d543740-99fc-415f-a119-c02785ed2d43 · outbound

This paper cites Data-Parallel Algorithms for String Diagrams.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation Data-Parallel Algorithms for String Diagrams

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:21:22.355094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 30ac3009-de56-45fb-be42-e97fdfda2cf5 · outbound

This paper cites Rewriting in Free Hypergraph Categories.

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation Rewriting in Free Hypergraph Categories

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-04T22:27:11.068068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

No inbound Pith citation observations are available.