{"as_of":"2026-08-09T00:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ec504a787e75fb11bdf3e7bc138bb74c69ddbde6527107b2e9ff79f121bae25c","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:58:38.461222Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T03:32:47.750978Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T19:50:11.231721Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":"2505.23061","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-07-04T19:50:11.231721Z","title":"Dingo: Constrained inference for diffusion llms","venue":null,"work_id":"0dc5599f-d4db-49ec-9e4f-23393b8c8ae7","year":2025},"citing_paper":{"arxiv_id":"2509.01082","last_updated":"2026-04-19T01:13:14Z","snapshot_observed_at":"2026-08-07T10:03:46.349624Z","submitted_at":"2025-09-01T03:13:36Z","title":"RefineStat: Efficient Exploration for Probabilistic Program Synthesis","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-05-18T20:28:26.767266Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2509.01082"},"observation_digest":"sha256:ad1ee9fd74eb48828798713f23dba25aa511c5ca9583605110adeaa79deb8380","observation_id":"d21b7d98-0f9f-41f8-86f4-9049dd07c6d9","resolution":{"observed_at":"2026-05-18T20:31:50.598078Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-08-02T23:53:41.168396Z","title":"Dingo: Constrained inference for diffusion llms.arXiv preprint arXiv:2505.23061,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.12468","last_updated":"2026-05-27T11:13:24Z","snapshot_observed_at":"2026-08-06T18:29:14.202638Z","submitted_at":"2026-02-12T22:55:05Z","title":"Continuous Diffusion Models Can Obey Formal Syntax","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T23:53:41.168396Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2602.12468"},"observation_digest":"sha256:bf692871df455ffa0ef3dcfea23ea4fe587781f6df9d80006ad5ab219c4fa0ee","observation_id":"4126a9f6-e998-426a-a102-fe528204e5da","resolution":{"observed_at":"2026-08-02T23:53:41.168396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-08-03T03:32:47.750978Z","title":"doi: 10.18653/v1/2021.emnlp-main.779","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.03305","last_updated":"2026-06-27T21:00:11Z","snapshot_observed_at":"2026-08-06T02:48:55.646473Z","submitted_at":"2026-02-08T03:52:24Z","title":"The Hidden Cost of Structured Generation in LLMs: Draft-Conditioned Constrained Decoding","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T03:32:47.750978Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2603.03305"},"observation_digest":"sha256:b96ae94b385997a6d6045f1b16874a2c3fc586663726443434c80312dd39fa4e","observation_id":"b6b36a40-ffca-4c56-9168-1d77bb979eea","resolution":{"observed_at":"2026-08-03T03:32:47.750978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":"2505.23061","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-07-04T19:50:11.231721Z","title":"Dingo: Constrained inference for diffusion llms","venue":null,"work_id":"0dc5599f-d4db-49ec-9e4f-23393b8c8ae7","year":2025},"citing_paper":{"arxiv_id":"2606.25605","last_updated":"2026-06-24T09:14:18Z","snapshot_observed_at":"2026-08-06T04:52:30.312515Z","submitted_at":"2026-06-24T09:14:18Z","title":"Constraint Tax in Open-Weight LLMs: An Empirical Study of Tool Calling Suppression Under Structured Output Constraints","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-25T20:58:26.602409Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2606.25605"},"observation_digest":"sha256:a800b77107708b8818ceeed760eb2dbfdc69ba97c426ee8fd5009bfbb8a412bb","observation_id":"1959dd70-c388-444c-ad95-53e521afb0f6","resolution":{"observed_at":"2026-07-04T19:50:11.233382Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-08-02T05:17:45.085411Z","title":"Dingo: Con- strained inference for diffusion llms.ArXiv preprint, abs/2505.23061,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13431","last_updated":"2026-07-15T04:23:22Z","snapshot_observed_at":"2026-08-07T01:50:04.940823Z","submitted_at":"2026-07-15T04:23:22Z","title":"Discrete Diffusion Models: A Unified Framework from Tokenization to Generation","version":1},"reference_index":165,"source":"pdf_text","source_observed_at":"2026-08-02T05:17:45.085411Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2607.13431"},"observation_digest":"sha256:09595ce4aabd012a933618de4af63d6f23515276064ce138255ed367d2d51fcc","observation_id":"fc9d138f-5095-4fac-95a6-990b5cc5beb0","resolution":{"observed_at":"2026-08-02T05:17:45.085411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23061","snapshot_observed_at":"2026-08-02T07:07:43.862525Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22683","last_updated":"2026-07-13T05:02:43Z","snapshot_observed_at":"2026-08-07T06:32:39.192476Z","submitted_at":"2026-07-13T05:02:43Z","title":"Imprompt: A Language Framework for Prompt Programming","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T07:07:43.862525Z"},"links":{"cited_paper":"/paper/2505.23061","citing_paper":"/paper/2607.22683"},"observation_digest":"sha256:248d54889e90e803f4db11cf258ff5d977970a5e7b1a7a77d1a8174634038958","observation_id":"25ad2110-897b-4377-a77f-203973a181b0","resolution":{"observed_at":"2026-08-02T07:07:43.862525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.23061/citation-record","integrity":"/paper/2505.23061/integrity","json":"/paper/2505.23061/citation-record.json","paper":"/paper/2505.23061"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:35.568520Z","title":"Block diffusion: Interpolating between autoregressive and diffusion language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:35.568520Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:65feb5d819ffb7fec3486f2a0ee790335ef7c5e6f329003b63bd6ec6df106627","observation_id":"b00a4d36-bacd-4949-83be-99df99401f5e","resolution":{"observed_at":"2026-08-07T12:58:35.568520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:40.911694Z","title":"Johnson, Jonathan Ho, Daniel Tarlow, and Rianne van den Berg","venue":null,"work_id":"fcf30c00-e014-4810-ad28-d6a6ac11d86b","year":2021},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:35.661728Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:86c5c052c50ab8c45ffda4ac629e71de66c0cdd2e68180781357312fc3593181","observation_id":"8c226fe7-5b6f-47e7-aaf1-c8181fddabca","resolution":{"observed_at":"2026-08-07T12:58:40.993324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09061","last_updated":"2025-09-05T01:04:00Z","snapshot_observed_at":"2026-08-07T22:42:21.600419Z","submitted_at":"2025-02-13T08:23:42Z","title":"CRANE: Reasoning with constrained LLM generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09061","snapshot_observed_at":"2026-08-07T12:58:35.777033Z","title":"CRANE : Reasoning with constrained LLM generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:35.777033Z"},"links":{"cited_paper":"/paper/2502.09061","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:4d48df186c9ecd87ec0f8fb8708368d2a4cbe45ef5cb39ee895502b9cd1da526","observation_id":"f3631b79-d862-4961-8d77-a59b9c3b5858","resolution":{"observed_at":"2026-08-07T12:58:35.777033Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:35.892660Z","title":"Bartoldson, Bhavya Kailkhura, and Ferdinando Fioretto","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:35.892660Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:dc2ec8cc461db8dac6268cde8a26a6f70132cfdac9ddc9010b02952a028c3008","observation_id":"431fa31a-8468-47ed-9fc0-921b55337942","resolution":{"observed_at":"2026-08-07T12:58:35.892660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:40.662158Z","title":"Z3: an efficient smt solver","venue":null,"work_id":"8d6b81d1-5998-4a4d-97cd-ffb771484f8c","year":2008},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.002155Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:7d33c3e480e9e2c12956e3a1b91e829f7bb0124ad29aa4dcc155892104c23cc9","observation_id":"1e7fba6c-8432-4dbf-91a3-a0a720e1f4a9","resolution":{"observed_at":"2026-08-07T12:58:40.760860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:36.149585Z","title":"A general-purpose algorithm for constrained sequential inference","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.149585Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:0edf7cf953c3897307bbbf8af648c3a6396800b077e86fbe6a7b770053de2b7a","observation_id":"2efa96b6-d16c-48d3-8bf7-c2c3ceafe203","resolution":{"observed_at":"2026-08-07T12:58:36.149585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15100","last_updated":"2025-05-12T08:20:08Z","snapshot_observed_at":"2026-07-06T19:55:37.400185Z","submitted_at":"2024-11-22T18:01:37Z","title":"XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15100","snapshot_observed_at":"2026-08-07T12:58:36.224573Z","title":"XGrammar : Flexible and efficient structured generation engine for large language models","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.224573Z"},"links":{"cited_paper":"/paper/2411.15100","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:8d256a3b3f513b82bac82c03b23d69120af3cd15d88cec8a32a0e8611afa89f4","observation_id":"bed6f3fa-f0aa-4e6e-8393-ed4126203c4c","resolution":{"observed_at":"2026-08-07T12:58:36.224573Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-07T12:58:36.330633Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.330633Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:cb8ed9d21cd5c2cbd780a517b3e6876661a99af9f86430bc8c70258248350f34","observation_id":"b6f34b55-e369-4f11-876f-29c69bb04e5e","resolution":{"observed_at":"2026-08-07T12:58:36.330633Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:40.480634Z","title":"LLM training data synthesis for more effective problem solving using satisfiability modulo theories","venue":null,"work_id":"2e0e0912-fad6-4837-8399-0a052796329a","year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.398183Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:2dd208fcbf86440f7359cd4a68e7e37d871ffe71bbd3c05655c282a7af02b07c","observation_id":"c916c85e-08bc-43cf-841c-8913731d2e6e","resolution":{"observed_at":"2026-08-07T12:58:40.532554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:40.307299Z","title":null,"venue":null,"work_id":"24dbe99a-7a6a-413d-9d6c-cb1487a01f82","year":1973},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.469630Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:886ebddd7b4052aa532235af4f5da909b577c8757acddd1df3f1aad3ea8812bd","observation_id":"114518b6-63fa-46cb-a7b5-03512de4463f","resolution":{"observed_at":"2026-08-07T12:58:40.350933Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.17432","last_updated":"2023-06-26T22:31:06Z","snapshot_observed_at":"2026-08-08T10:55:08.646488Z","submitted_at":"2022-10-31T16:02:00Z","title":"SSD-LM: Semi-autoregressive Simplex-based Diffusion Language Model for Text Generation and Modular Control","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.17432","snapshot_observed_at":"2026-08-07T12:58:36.540055Z","title":"Ssd-lm: Semi-autoregressive simplex-based diffusion language model for text generation and modular control, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.540055Z"},"links":{"cited_paper":"/paper/2210.17432","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:97ead039e575a5b67a0190c1f77305f0109b485047c9ee0c92951333670fe0db","observation_id":"3311cf0a-d2f9-4448-9a48-7bac5e315bf1","resolution":{"observed_at":"2026-08-07T12:58:36.540055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:36.630388Z","title":"Automata-based constraints for language model decoding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.630388Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:34ab3ef000c5a54ea0bc14afa1ba1e95edd71ac6b99378e4e1d718ed892553de","observation_id":"ba26e44d-0a12-4204-8738-2e2f79b3d2fc","resolution":{"observed_at":"2026-08-07T12:58:36.630388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:36.699549Z","title":"Validating large language models with RELM","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.699549Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:8b1eead64b6ce7b27db82c562adf49cbbf1e014f4b1881a8cfde87712924d75f","observation_id":"69758bd7-6657-4fe1-8208-bb87889597be","resolution":{"observed_at":"2026-08-07T12:58:36.699549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:40.097126Z","title":"Sequential Monte Carlo steering of large language models using probabilistic programs","venue":null,"work_id":"3c1b1f86-168d-4109-bbd6-22cbfcc85e9d","year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.798259Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:4f743ba1f447cd13fb986d85978997a2d411ef9baceeafc8bf5a1751b90ff49e","observation_id":"34bb93d1-fe80-4e34-9eee-69d0fc2128ae","resolution":{"observed_at":"2026-08-07T12:58:40.163460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.981954Z","title":"Syntactic and semantic control of large language models via sequential Monte Carlo","venue":null,"work_id":"b75fb3e5-3a25-49f4-8e8d-c2a5f50989d7","year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:36.884755Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:683235d0ce1564a498d1ae5d46649d4a9ac30432719d31e2c1c92be51c51bc79","observation_id":"28c4c105-e215-438d-a286-81f6482c797e","resolution":{"observed_at":"2026-08-07T12:58:40.037982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-07T12:58:37.021617Z","title":"Gsm-symbolic: Understanding the limitations of mathematical reasoning in large language models, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.021617Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:ae7534efea35cb01376ff074b844128bbf8a8a24469cfeb7e2549d1bea6dcbc7","observation_id":"9ca1443b-f60f-492e-8dd7-348e92554948","resolution":{"observed_at":"2026-08-07T12:58:37.021617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09992","last_updated":"2025-10-18T15:35:05Z","snapshot_observed_at":"2026-08-04T04:34:22.998376Z","submitted_at":"2025-02-14T08:23:51Z","title":"Large Language Diffusion Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09992","snapshot_observed_at":"2026-08-07T12:58:37.100444Z","title":"Large language diffusion models, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.100444Z"},"links":{"cited_paper":"/paper/2502.09992","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:5869b315abc30af4baa61e64aea29a2574f727c07c985f8adb2ede52a9fc449e","observation_id":"3a02229b-4a33-47be-8033-395e9c43b5e4","resolution":{"observed_at":"2026-08-07T12:58:37.100444Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.864844Z","title":"json-mode-eval, 2024","venue":null,"work_id":"82d7f3e6-d43f-4eb3-9e2a-e7686bd0cc46","year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.241480Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:97d70724e179249d3cf3e67b12c75e162ab1cb63d6816b92a8a662ba670eec61","observation_id":"fff042b1-bf2a-4379-85d0-fa84bc5d4491","resolution":{"observed_at":"2026-08-07T12:58:39.907771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-08-07T13:11:49.965934Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-07T12:58:37.353432Z","title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.353432Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:583d1deea87f1b795843c517c37547478d70f1ff7cdb52635aaba0ee768c543c","observation_id":"1ae764c6-652a-4509-bbce-8d1d52f0252d","resolution":{"observed_at":"2026-08-07T12:58:37.353432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.705840Z","title":"Grammar-aligned decoding","venue":null,"work_id":"ececb98c-ea23-42d8-87aa-68820ee53f6a","year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.463513Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:8de594d6b05b2e3f53f5d34a49c047417aae7bb4286d88158fdf0f7f64c591fd","observation_id":"48f0a374-0a7e-4dd7-8ffc-9ca8968dca87","resolution":{"observed_at":"2026-08-07T12:58:39.763752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.510265Z","title":"Grammar-aligned decoding","venue":null,"work_id":"c29872e2-b848-49b1-a5a0-3fbe66685de3","year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.562380Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:2555ca6357b4e1d3626eba38e94f9edde5b9a8a653f94b9ed3b5b0ff19eb912f","observation_id":"81848862-2b8b-47f3-acfa-4dc8e0bd4722","resolution":{"observed_at":"2026-08-07T12:58:39.601331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:37.644217Z","title":"Pytorch: An imperative style, high-performance deep learning library","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.644217Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:58d59252d65514ea6aebc1c41f7bbe03f7ac4b917c91f81b1bb2cff023638cfa","observation_id":"b5b87541-54c0-47d2-97d3-3babae082372","resolution":{"observed_at":"2026-08-07T12:58:37.644217Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:37.704006Z","title":"Synchromesh: Reliable code generation from pre-trained language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.704006Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:c869581dbb589239db16328e96767bec06d3d77251b81ecd3aef222e617b8ec6","observation_id":"338e021a-5c72-45ca-ab42-a173a5edb144","resolution":{"observed_at":"2026-08-07T12:58:37.704006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.310956Z","title":"Language models are unsupervised multitask learners","venue":null,"work_id":"98bf32e6-92fd-42a0-b762-5f740bc2121d","year":2019},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:37.793160Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:38ac7e76b985102ae091dcfae7441078f9a076f3e7d02360b668f72a74d583fd","observation_id":"8c8e1ff8-a179-4ab8-b7d3-7fe2f054ec24","resolution":{"observed_at":"2026-08-07T12:58:39.383636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.01632","last_updated":"2024-11-06T18:04:35Z","snapshot_observed_at":"2026-08-04T17:38:49.392434Z","submitted_at":"2024-03-03T22:38:35Z","title":"SynCode: LLM Generation with Grammar Augmentation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.01632","snapshot_observed_at":"2026-08-07T12:58:38.014507Z","title":"Syncode: Llm generation with grammar augmentation, 2024 b","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.014507Z"},"links":{"cited_paper":"/paper/2403.01632","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:f88160a249f346b984d51396fb21885f7364df50d4672d931e7ba85f0f182ee1","observation_id":"ac423d53-4f48-4aa8-a5fb-0b3f42064f3b","resolution":{"observed_at":"2026-08-07T12:58:38.014507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:38.106596Z","title":"IterGen : Iterative structured LLM generation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.106596Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:b6362ef2560832893abf73298c046c64c14c1aa8b611846871bc1cc621ea3fbd","observation_id":"a03d4a38-e619-42ba-a2ef-fff6ac5b9ab0","resolution":{"observed_at":"2026-08-07T12:58:38.106596Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09702","last_updated":"2023-08-19T21:27:51Z","snapshot_observed_at":"2026-07-06T15:55:41.294452Z","submitted_at":"2023-07-19T01:14:49Z","title":"Efficient Guided Generation for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09702","snapshot_observed_at":"2026-08-07T12:58:38.183103Z","title":"Efficient guided generation for large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.183103Z"},"links":{"cited_paper":"/paper/2307.09702","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:a004f904f21cf30bdbeb3448c26e0240bcb64b9c3c9963361722d0d2bd2999ce","observation_id":"4b55b93f-a3d6-49ba-b98d-114381e5f1c7","resolution":{"observed_at":"2026-08-07T12:58:38.183103Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:39.158082Z","title":"Transformers: State-of-the-art natural language processing","venue":null,"work_id":"ce4167d9-0ec7-4ece-bd69-db034f5cb5c3","year":2020},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.275830Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:2faac2001983391d696b2bbf933efbc1d2ff12b01b76ed1e0753c793af00c67e","observation_id":"d94af2d2-b0bd-4755-8cfd-e5ed8a562fce","resolution":{"observed_at":"2026-08-07T12:58:39.218495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-07-06T15:47:26.532273Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-07T12:58:38.385754Z","title":"Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, and Anima Anandkumar","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.385754Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:a1c10d4500f233fa8fda1a415937bb785e87d6016ac2b841322ae27d20759c0b","observation_id":"e4a6a502-d1f5-4e57-89ed-ca87eca02e5d","resolution":{"observed_at":"2026-08-07T12:58:38.385754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:58:38.461222Z","title":"Dream 7b, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T12:58:38.461222Z"},"links":{"citing_paper":"/paper/2505.23061"},"observation_digest":"sha256:9695aaff14afd7d30338706f23876323333d6f9f697abbb224a715b182c89083","observation_id":"f2e5935f-4666-485a-b8c2-f33d16066474","resolution":{"observed_at":"2026-08-07T12:58:38.461222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.23061","last_updated":"2025-05-29T04:04:54Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-08T16:37:48.278458Z","submitted_at":"2025-05-29T04:04:54Z","title":"DINGO: Constrained Inference for Diffusion LLMs"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":0,"verified_fuzzy":10},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 6 inbound Pith citation observations for arXiv:2505.23061."}