Paper Citation Record · LEDGER

Correctness-Guaranteed Code Generation via Constrained Decoding

As of 21 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2508.15866.

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

pith.paper-citation-record.v1
2508.15866 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T18:16:07.306930Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-26T13:32:12.206833Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T07:19:38.574254Z

Reference resolution

17 of 17 outbound references displayed

verified exact0
verified fuzzy7
unresolved7
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 50b6ceae-4fb3-4440-8901-b9c696a10954 · outbound

This paper cites GlobalString: doc: | String library.

Correctness-Guaranteed Code Generation via Constrained Decoding GlobalString: doc: | String library

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T18:16:08.261894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a006fa40-6742-46bd-9925-47da04b712a0 · outbound

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

Correctness-Guaranteed Code Generation via Constrained Decoding XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:05.976796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9c95f83-3f84-4b62-a91b-86667166693e · outbound

This paper cites B Details on sLua Language and Parsing B.1 sLua Language Here are the main differences between sLua and Lua: • Statements must end in.

Correctness-Guaranteed Code Generation via Constrained Decoding B Details on sLua Language and Parsing B.1 sLua Language Here are the main differences between sLua and Lua: • Statements must end in

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.491333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bb8d9861-e976-4ea0-b185-3c2271eb9141 · outbound

This paper cites an aquatic adventure as a seal warrior.

Correctness-Guaranteed Code Generation via Constrained Decoding an aquatic adventure as a seal warrior

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.475784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ac57348a-37e9-4067-82cc-47f7653f2e98 · outbound

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

Correctness-Guaranteed Code Generation via Constrained Decoding Synchromesh: Reliable code generation from pre-trained language models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:06.475772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa94b9c7-7773-4fc5-87b2-d70301573f3d · outbound

This paper cites Efficient Guided Generation for Large Language Models.

Correctness-Guaranteed Code Generation via Constrained Decoding Efficient Guided Generation for Large Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:06.562712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6b86174-b6e9-4977-b58a-f53b0d5f1f27 · outbound

This paper cites C.3 API for DCI Below is the scripting API for DCI.

Correctness-Guaranteed Code Generation via Constrained Decoding C.3 API for DCI Below is the scripting API for DCI

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.400119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8936db52-e3a3-48ff-b20d-1125452d523b · outbound

This paper cites an unresolved cited work.

Correctness-Guaranteed Code Generation via Constrained Decoding Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-05T18:16:08.096250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8e251f89-1a0c-4d8e-888b-e71c3ae08223 · outbound

This paper cites C.10.1 Unconstrained (Claude-3.5-Sonnet) with or without Reflection Example C.3 (Incorrect expression type).

Correctness-Guaranteed Code Generation via Constrained Decoding C.10.1 Unconstrained (Claude-3.5-Sonnet) with or without Reflection Example C.3 (Incorrect expression type)

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T18:16:07.956291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ff1776be-bd92-4a74-b020-38da7c35bb27 · outbound

This paper cites an unresolved cited work.

Correctness-Guaranteed Code Generation via Constrained Decoding Unresolved cited work

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T18:16:07.801387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 681249bf-13bd-4c26-b018-d7409e9b6cf2 · outbound

This paper cites We show a few failure cases here.

Correctness-Guaranteed Code Generation via Constrained Decoding We show a few failure cases here

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:07.639213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d469bdbe-7707-455d-be71-561a383dd73a · outbound

This paper cites Qwen2.5-Coder Technical Report.

Correctness-Guaranteed Code Generation via Constrained Decoding Qwen2.5-Coder Technical Report

Reference 2001

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:06.092960Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dbf513d-8d52-450b-bee8-e24392a7894a · outbound

This paper cites While this poses some restrictions on the allowed CFGs, most programming languages can be rewritten in a CFG that belongs to LALR(1).

Correctness-Guaranteed Code Generation via Constrained Decoding While this poses some restrictions on the allowed CFGs, most programming languages can be rewritten in a CFG that belongs to LALR(1)

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.506739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2c06f14a-fcd4-410f-8706-001e040d3424 · outbound

This paper cites Openfst: A general and efficient weighted finite-state transducer library: (extended ab- stract of an invited talk).

Correctness-Guaranteed Code Generation via Constrained Decoding Openfst: A general and efficient weighted finite-state transducer library: (extended ab- stract of an invited talk)

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.538645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7b5ac287-97a8-4878-9948-ef22083fe3c4 · outbound

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

Correctness-Guaranteed Code Generation via Constrained Decoding Automata-based constraints for language model decoding

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:06.183509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26edea9b-99f3-4a78-8ad9-61067f5b5984 · outbound

This paper cites Type-constrained code generation with language models.

Correctness-Guaranteed Code Generation via Constrained Decoding Type-constrained code generation with language models

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:16:08.522903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a2f19282-517c-4b24-b771-21ff2346b552 · outbound

This paper cites Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, and Loris D’Antoni.

Correctness-Guaranteed Code Generation via Constrained Decoding Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, and Loris D’Antoni

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-05T18:16:06.369508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 66a06288-ae9d-4cba-9b75-65254a627e74 · inbound

The Alignment Problem in Constrained Code Generation cites this paper.

The Alignment Problem in Constrained Code Generation Correctness-Guaranteed Code Generation via Constrained Decoding

Reference 23

Resolution: malformed identifier; arxiv_id, observed 2026-07-04T07:19:38.575842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.