Paper Citation Record · LEDGER

DINGO: Constrained Inference for Diffusion LLMs

As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 6 inbound Pith citation observations for arXiv:2505.23061.

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

pith.paper-citation-record.v1
2505.23061 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:58:38.461222Z

measured 36 of 36 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 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T03:32:47.750978Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T19:50:11.231721Z

Reference resolution

30 of 30 outbound references displayed

verified exact0
verified fuzzy10
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b00a4d36-bacd-4949-83be-99df99401f5e · outbound

This paper cites Block diffusion: Interpolating between autoregressive and diffusion language models.

DINGO: Constrained Inference for Diffusion LLMs Block diffusion: Interpolating between autoregressive and diffusion language models

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:35.568520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c226fe7-5b6f-47e7-aaf1-c8181fddabca · outbound

This paper cites Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg.

DINGO: Constrained Inference for Diffusion LLMs Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:40.993324Z

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 f3631b79-d862-4961-8d77-a59b9c3b5858 · outbound

This paper cites CRANE: Reasoning with constrained LLM generation.

DINGO: Constrained Inference for Diffusion LLMs CRANE: Reasoning with constrained LLM generation

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:35.777033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 431fa31a-8468-47ed-9fc0-921b55337942 · outbound

This paper cites Bartoldson, Bhavya Kailkhura, and Ferdinando Fioretto.

DINGO: Constrained Inference for Diffusion LLMs Bartoldson, Bhavya Kailkhura, and Ferdinando Fioretto

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:35.892660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e7fba6c-8432-4dbf-91a3-a0a720e1f4a9 · outbound

This paper cites Z3: an efficient smt solver.

DINGO: Constrained Inference for Diffusion LLMs Z3: an efficient smt solver

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:40.760860Z

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 2efa96b6-d16c-48d3-8bf7-c2c3ceafe203 · outbound

This paper cites A general-purpose algorithm for constrained sequential inference.

DINGO: Constrained Inference for Diffusion LLMs A general-purpose algorithm for constrained sequential inference

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.149585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bed6f3fa-f0aa-4e6e-8393-ed4126203c4c · outbound

This paper cites XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models.

DINGO: Constrained Inference for Diffusion LLMs XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.224573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6f34b55-e369-4f11-876f-29c69bb04e5e · outbound

This paper cites Evaluating Large Language Models Trained on Code.

DINGO: Constrained Inference for Diffusion LLMs Evaluating Large Language Models Trained on Code

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.330633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c916c85e-08bc-43cf-841c-8913731d2e6e · outbound

This paper cites LLM training data synthesis for more effective problem solving using satisfiability modulo theories.

DINGO: Constrained Inference for Diffusion LLMs LLM training data synthesis for more effective problem solving using satisfiability modulo theories

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:40.532554Z

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 114518b6-63fa-46cb-a7b5-03512de4463f · outbound

This paper cites an unresolved cited work.

DINGO: Constrained Inference for Diffusion LLMs Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:58:40.350933Z

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 3311cf0a-d2f9-4448-9a48-7bac5e315bf1 · outbound

This paper cites SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Control.

DINGO: Constrained Inference for Diffusion LLMs SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Control

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.540055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba26e44d-0a12-4204-8738-2e2f79b3d2fc · outbound

This paper cites Automata-based constraints for language model decoding.

DINGO: Constrained Inference for Diffusion LLMs Automata-based constraints for language model decoding

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.630388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69758bd7-6657-4fe1-8208-bb87889597be · outbound

This paper cites Validating large language models with RELM.

DINGO: Constrained Inference for Diffusion LLMs Validating large language models with RELM

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:36.699549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34bb93d1-fe80-4e34-9eee-69d0fc2128ae · outbound

This paper cites Sequential Monte Carlo steering of large language models using probabilistic programs.

DINGO: Constrained Inference for Diffusion LLMs Sequential Monte Carlo steering of large language models using probabilistic programs

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:40.163460Z

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 28c4c105-e215-438d-a286-81f6482c797e · outbound

This paper cites Syntactic and semantic control of large language models via sequential Monte Carlo.

DINGO: Constrained Inference for Diffusion LLMs Syntactic and semantic control of large language models via sequential Monte Carlo

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:40.037982Z

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 9ca1443b-f60f-492e-8dd7-348e92554948 · outbound

This paper cites GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models.

DINGO: Constrained Inference for Diffusion LLMs GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:37.021617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a02229b-4a33-47be-8033-395e9c43b5e4 · outbound

This paper cites Large Language Diffusion Models.

DINGO: Constrained Inference for Diffusion LLMs Large Language Diffusion Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:37.100444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fff042b1-bf2a-4379-85d0-fa84bc5d4491 · outbound

This paper cites json-mode-eval, 2024.

DINGO: Constrained Inference for Diffusion LLMs json-mode-eval, 2024

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:39.907771Z

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 1ae764c6-652a-4509-bbce-8d1d52f0252d · outbound

This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.

DINGO: Constrained Inference for Diffusion LLMs Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:37.353432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48f0a374-0a7e-4dd7-8ffc-9ca8968dca87 · outbound

This paper cites Grammar-aligned decoding.

DINGO: Constrained Inference for Diffusion LLMs Grammar-aligned decoding

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:39.763752Z

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 81848862-2b8b-47f3-acfa-4dc8e0bd4722 · outbound

This paper cites Grammar-aligned decoding.

DINGO: Constrained Inference for Diffusion LLMs Grammar-aligned decoding

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:39.601331Z

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 b5b87541-54c0-47d2-97d3-3babae082372 · outbound

This paper cites Pytorch: An imperative style, high-performance deep learning library.

DINGO: Constrained Inference for Diffusion LLMs Pytorch: An imperative style, high-performance deep learning library

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:37.644217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 338e021a-5c72-45ca-ab42-a173a5edb144 · outbound

This paper cites Synchromesh: Reliable code generation from pre-trained language models.

DINGO: Constrained Inference for Diffusion LLMs Synchromesh: Reliable code generation from pre-trained language models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:37.704006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c8e1ff8-a179-4ab8-b7d3-7fe2f054ec24 · outbound

This paper cites Language models are unsupervised multitask learners.

DINGO: Constrained Inference for Diffusion LLMs Language models are unsupervised multitask learners

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:39.383636Z

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 ac423d53-4f48-4aa8-a5fb-0b3f42064f3b · outbound

This paper cites SynCode: LLM Generation with Grammar Augmentation.

DINGO: Constrained Inference for Diffusion LLMs SynCode: LLM Generation with Grammar Augmentation

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:38.014507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a03d4a38-e619-42ba-a2ef-fff6ac5b9ab0 · outbound

This paper cites IterGen : Iterative structured LLM generation.

DINGO: Constrained Inference for Diffusion LLMs IterGen : Iterative structured LLM generation

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:38.106596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b55b93f-a3d6-49ba-b98d-114381e5f1c7 · outbound

This paper cites Efficient Guided Generation for Large Language Models.

DINGO: Constrained Inference for Diffusion LLMs Efficient Guided Generation for Large Language Models

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:38.183103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d94af2d2-b0bd-4755-8cfd-e5ed8a562fce · outbound

This paper cites Transformers: State-of-the-art natural language processing.

DINGO: Constrained Inference for Diffusion LLMs Transformers: State-of-the-art natural language processing

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:58:39.218495Z

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 e4a6a502-d1f5-4e57-89ed-ca87eca02e5d · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

DINGO: Constrained Inference for Diffusion LLMs LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:38.385754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2e5935f-4666-485a-b8c2-f33d16066474 · outbound

This paper cites Dream 7b, 2025.

DINGO: Constrained Inference for Diffusion LLMs Dream 7b, 2025

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T12:58:38.461222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation d21b7d98-0f9f-41f8-86f4-9049dd07c6d9 · inbound

RefineStat: Efficient Exploration for Probabilistic Program Synthesis cites this paper.

RefineStat: Efficient Exploration for Probabilistic Program Synthesis DINGO: Constrained Inference for Diffusion LLMs

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-18T20:31:50.598078Z

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 4126a9f6-e998-426a-a102-fe528204e5da · inbound

Continuous Diffusion Models Can Obey Formal Syntax cites this paper.

Continuous Diffusion Models Can Obey Formal Syntax DINGO: Constrained Inference for Diffusion LLMs

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T23:53:41.168396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b36a40-ffca-4c56-9168-1d77bb979eea · inbound

The Hidden Cost of Structured Generation in LLMs: Draft-Conditioned Constrained Decoding cites this paper.

The Hidden Cost of Structured Generation in LLMs: Draft-Conditioned Constrained Decoding DINGO: Constrained Inference for Diffusion LLMs

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T03:32:47.750978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1959dd70-c388-444c-ad95-53e521afb0f6 · inbound

Constraint Tax in Open-Weight LLMs: An Empirical Study of Tool Calling Suppression Under Structured Output Constraints cites this paper.

Constraint Tax in Open-Weight LLMs: An Empirical Study of Tool Calling Suppression Under Structured Output Constraints DINGO: Constrained Inference for Diffusion LLMs

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-04T19:50:11.233382Z

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 fc9d138f-5095-4fac-95a6-990b5cc5beb0 · inbound

Discrete Diffusion Models: A Unified Framework from Tokenization to Generation cites this paper.

Discrete Diffusion Models: A Unified Framework from Tokenization to Generation DINGO: Constrained Inference for Diffusion LLMs

Reference 165

Resolution: unresolved; no resolver link, observed 2026-08-02T05:17:45.085411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ad2110-897b-4377-a77f-203973a181b0 · inbound

Imprompt: A Language Framework for Prompt Programming cites this paper.

Imprompt: A Language Framework for Prompt Programming DINGO: Constrained Inference for Diffusion LLMs

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T07:07:43.862525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.