Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-07T15:29:19.489764Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.