{"as_of":"2026-08-15T12:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:95470bc68c1dea5c4221f802ac7312ab3d002a68b3349b80ad34e443ac23bb15","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-15T06:32:42.880941+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-13T06:22:21.589991Z","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-11T03:53:29.369215Z","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:ed76570bf55f6ef3b8426c5d74ad354789ae511a234fa36c0af3a25ed95c6d54","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:70aea62c5b9e4ff49aa73be693905b325248bd7a60e7506fd87a6cb30c3bec20","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-13T06:22:21.589991Z","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:e2e4063bdbe8c33f043a2e8c1131092a0b7c8e3e9b7a04d1fd4f07d4f6445d6d","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-13T06:22:21.589991Z","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-15T11:57:29.856660Z","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:e2f470c1a5d008854e29324ac1447bf5406d4e918d20804502dd607f665b45d4","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:8d76dcf325010f2411074072aa2ba7982598049688c85fed0b330958a97f23c0","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-13T06:22:21.589991Z","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:00654ff1d87e793ad4ce73d8c92b41e0648251c401b707605985438f3d826526","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-13T06:22:21.589991Z","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:de7e0b5f390032a0737e4435b0db92763c1474c70f104999af387f81db53b058","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-13T06:22:21.589991Z","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:b5e537d730196f0013f36f3f9a0e5ab373ff74dc0641f327555e476cc8e4dd5c","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T04:22:22.363002Z","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-13T06:22:21.589991Z","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:ab175e479219be1137b9f66398db5126eb98cf64c2660e53d641eb37ce6b8d37","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-13T06:22:21.589991Z","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:eed297fed1b6de1c6f8e49f5ec585ce39867f07ec8999ab79d97817d4f1d0f4e","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-13T06:22:21.589991Z","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:607cdea3a4a573a3aeaccac764e344e3fa34906b11dceca04637e699b631ab6a","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:b65f1dffcbe5c40dbd090f668c222db0720c7801dfff3db1fe31c7a45bbe6eac","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-08-12T14:27:31.038455Z","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-13T06:22:21.589991Z","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:4375bfbabf2968ef6dad613abc30ce85a13275714090583c1cf2953607ca47dd","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-13T06:22:21.589991Z","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:5a83d537a6a7ad5338ac0f7ccbedd1a3bcbc240c5859c8929019eddfcbfd57cf","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-13T06:22:21.589991Z","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:55630b25493b5ded95d40a594b2ae83f69740c313f677fbb8192417263c8cac5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:52bd04ec3e8e77d7f888a32f3264a8f8727c7163a600e20a558c6c2793e20b5d","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T13:52:54.171579Z","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-13T06:22:21.589991Z","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:a67c583a1f3e1f4b400e03078e32d4f0cd2e6fe1a248bf2409924626557a6bc5","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-13T06:22:21.589991Z","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:368709935c20420741d0052a055d77bec81af9e3aa491093d706c1c616447e94","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-13T06:22:21.589991Z","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:578290dfe7c2b907cf0f4c78bedefaa64630394a37479e659bb3a0e217cd4eda","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-13T06:22:21.589991Z","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:77a8b4bba8e4b34435d958824fbdee3e8c9920abbc6b2271b1f51b8c8b5d4240","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:fdd4ce7b6113fb9f0d8c9d701aa218ebb3b4c8df20e009c86b3f12865bc52037","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-15T01:09:53.276153Z","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-13T06:22:21.589991Z","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:5399235a57b456a671c2a842443582821815157186ba05663860e07c5bdef206","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-13T06:22:21.589991Z","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:2a348787039eda5f0363b0be81c65992465bdb61877b5ae89ab2cf623619dc2d","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-13T06:22:21.589991Z","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:41b445d1f4135231ea8f6d1d3bebf8381835be5ca886e80075ad8ec1a0e039e2","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T00:04:43.777243Z","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-13T06:22:21.589991Z","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:27e94fdb641502e3911d2914b9110a79f28be83f869cd443f4cd9bfa14b0bf9f","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-13T06:22:21.589991Z","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:3773e2218b59ba600d7f09d64d10de1fec64b3f87f123cbd4f046f670ea98152","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:195c618decaa665e32eb0d4091a80e09ba64c1fb46193485bfeb01d5e71a97f1","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-13T06:22:21.589991Z","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:3eff972f0999f095b9c90de03e4b08a893d9a4e82e7783e8549d172a16e2c7ee","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-13T06:22:21.589991Z","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:1a10d05e1a1283f3cd18241c6cb52901250daefc660b086d1c4ddb91df66f06b","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-13T06:22:21.589991Z","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:3676b4752563e4b927542d0f15d0837fc8d57348b3722f93f30f931eeef5ce68","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-15T11:11:46.047210Z","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-13T06:22:21.589991Z","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:4f9a92f17fdc899f1ee543c0d3fd7d777f58c309b1f2f2929d37546ae87e0578","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-13T06:22:21.589991Z","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:e5588787b891f6a6227093872539c552f2d6cca8f68a4c908e274470daf88206","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-08-09T04:46:02.275866Z","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-13T06:22:21.589991Z","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:d94a4edb6332209b706b854c2323affce6785d2154bc4a93c70b5cac30848082","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-13T06:22:21.589991Z","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:7bc3a29af39061d358c6cb6b06f8752951d8a320dea8c04e1b8d4899d5bcfcf9","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08-13T11:08:13.494680Z","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-13T06:22:21.589991Z","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:17313a92a03ff1fcfe2d788281676ed8ed595ee2c5165d9ece414b57bb2bf353","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-13T06:22:21.589991Z","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:41a592aa5cb428cf934fadfc0c3ab2a9feb86d21dd2258d74bbb36fe2706bc5f","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-13T06:22:21.589991Z","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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 6 inbound Pith citation observations for arXiv:2505.23061."}