Paper Citation Record · LEDGER

SynCode: LLM Generation with Grammar Augmentation

As of 16 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 30 inbound Pith citation observations for arXiv:2403.01632.

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

pith.paper-citation-record.v1
2403.01632 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 30 of 30 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:21:21.641056Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

3
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 4ce106b6-72d5-4047-a7d4-439c6f8bdad2 · inbound

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

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models SynCode: LLM Generation with Grammar Augmentation

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T14:36:45.585737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fecb45aa-8b69-422a-aaf7-b09b38c3b7c9 · inbound

Using a Feedback Loop for LLM-based Infrastructure as Code Generation cites this paper.

Using a Feedback Loop for LLM-based Infrastructure as Code Generation SynCode: LLM Generation with Grammar Augmentation

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T10:40:06.861496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8e1ca27-aff7-440a-bbd4-70874343261c · inbound

From Words to Workflows: Automating Business Processes cites this paper.

From Words to Workflows: Automating Business Processes SynCode: LLM Generation with Grammar Augmentation

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-11T22:27:10.882673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c9f1981-b51c-4393-ad27-a67b99365ce3 · inbound

CoopetitiveV: Leveraging LLM-powered Coopetitive Multi-Agent Prompting for High-quality Verilog Generation cites this paper.

CoopetitiveV: Leveraging LLM-powered Coopetitive Multi-Agent Prompting for High-quality Verilog Generation SynCode: LLM Generation with Grammar Augmentation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T15:27:03.647817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30d9ffd7-1d29-4567-87ee-2d4788a0c38e · inbound

Formal Mathematical Reasoning: A New Frontier in AI cites this paper.

Formal Mathematical Reasoning: A New Frontier in AI SynCode: LLM Generation with Grammar Augmentation

Reference 232

Resolution: unresolved; no resolver link, observed 2026-08-11T10:51:30.511032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38f9a9ad-9606-46cc-9cef-5d72265f6dfb · inbound

FREYR: A Framework for Recognizing and Executing Your Requests cites this paper.

FREYR: A Framework for Recognizing and Executing Your Requests SynCode: LLM Generation with Grammar Augmentation

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T17:37:18.689265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab9b3f6d-d5b1-468d-a483-144edefcfb86 · inbound

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models cites this paper.

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models SynCode: LLM Generation with Grammar Augmentation

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-10T15:19:35.897546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccc7a697-0ce3-4691-9ebc-60b3daa5fd7b · inbound

Multiple Abstraction Level Retrieve Augment Generation cites this paper.

Multiple Abstraction Level Retrieve Augment Generation SynCode: LLM Generation with Grammar Augmentation

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-10T05:33:52.465213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b2612d-8bf1-45e4-8354-288dad8e935b · inbound

Flexible and Efficient Grammar-Constrained Decoding cites this paper.

Flexible and Efficient Grammar-Constrained Decoding SynCode: LLM Generation with Grammar Augmentation

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-08T20:19:02.623487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a55a61d-3d72-4470-b134-61d7493cb725 · inbound

Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough? cites this paper.

Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough? SynCode: LLM Generation with Grammar Augmentation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-08T12:12:58.190727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57493d46-6d0c-4de4-b325-1d93336b9913 · inbound

Memory Offloading for Large Language Model Inference with Latency SLO Guarantees cites this paper.

Memory Offloading for Large Language Model Inference with Latency SLO Guarantees SynCode: LLM Generation with Grammar Augmentation

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-08T10:10:23.065020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da687ad8-0332-4fed-919e-b426659bb2eb · inbound

Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo cites this paper.

Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo SynCode: LLM Generation with Grammar Augmentation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T12:21:21.641056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b103af3c-4e1b-4c9a-af2d-531d697bde57 · inbound

Case Study: Fine-tuning Small Language Models for Accurate and Private CWE Detection in Python Code cites this paper.

Case Study: Fine-tuning Small Language Models for Accurate and Private CWE Detection in Python Code SynCode: LLM Generation with Grammar Augmentation

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-22T18:41:56.402920Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e21ffaa6-baeb-40ef-968b-ff0d0c4e7dae · inbound

Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges cites this paper.

Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges SynCode: LLM Generation with Grammar Augmentation

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-16T05:22:28.505687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac423d53-4f48-4aa8-a5fb-0b3f42064f3b · inbound

DINGO: Constrained Inference for Diffusion LLMs cites this paper.

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

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73c67fc9-c6af-45f1-9719-46750b5a4044 · inbound

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective cites this paper.

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective SynCode: LLM Generation with Grammar Augmentation

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T10:20:17.429502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb96e77f-26ac-48d7-a133-060949bdb8f2 · inbound

Syntactic Control of Language Models by Posterior Inference cites this paper.

Syntactic Control of Language Models by Posterior Inference SynCode: LLM Generation with Grammar Augmentation

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T05:47:34.382514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f5afc1f-4689-4a6f-b1f2-49df30a5b481 · inbound

AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation cites this paper.

AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation SynCode: LLM Generation with Grammar Augmentation

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T10:22:14.559020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c8c6a3ae-93fd-4677-9704-073511d57d9f · inbound

Syntax Repair as Language Intersection cites this paper.

Syntax Repair as Language Intersection SynCode: LLM Generation with Grammar Augmentation

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T17:12:02.281226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c136f798-fe6a-4436-b0b7-c4cdbb31a79c · inbound

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints cites this paper.

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints SynCode: LLM Generation with Grammar Augmentation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-05T19:30:02.741718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69201c0d-0172-405e-9081-733731a0a75e · inbound

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

RefineStat: Efficient Exploration for Probabilistic Program Synthesis SynCode: LLM Generation with Grammar Augmentation

Reference 49

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T20:31:50.575145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ddab77e2-4188-4685-a0c4-0df2dda4653e · inbound

TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation cites this paper.

TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation SynCode: LLM Generation with Grammar Augmentation

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-17T04:21:30.615349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 424c36b2-bcc7-4878-8254-9fdaaa2177fe · inbound

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation cites this paper.

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation SynCode: LLM Generation with Grammar Augmentation

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T23:40:51.605742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 944c8f67-2e40-4dbb-9018-3490f80a9b30 · inbound

When Correct Isn't Usable: Improving Structured Output Reliability in Small Language Models cites this paper.

When Correct Isn't Usable: Improving Structured Output Reliability in Small Language Models SynCode: LLM Generation with Grammar Augmentation

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-09T06:05:36.994404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2b884354-6970-4d77-8fa7-15d778884d9a · inbound

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints cites this paper.

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints SynCode: LLM Generation with Grammar Augmentation

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-05-14T19:47:52.738182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f6e6028f-e6c8-4e05-80f1-0a579df9c535 · inbound

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints cites this paper.

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints SynCode: LLM Generation with Grammar Augmentation

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-06-30T22:05:06.052609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8cfaf911-e0c7-42f4-a12e-546e754a2cc9 · inbound

Empirical Study for Structured Output Control in LLMs for Software Engineering cites this paper.

Empirical Study for Structured Output Control in LLMs for Software Engineering SynCode: LLM Generation with Grammar Augmentation

Reference 32

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T02:47:37.493356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5343ca1f-fdaf-4de4-b3c5-bd0be1cef803 · inbound

Format Sensitivity Index: Token-Controlled Prompt Wrapper Robustness and Schema Compliance in LLM Benchmarking cites this paper.

Format Sensitivity Index: Token-Controlled Prompt Wrapper Robustness and Schema Compliance in LLM Benchmarking SynCode: LLM Generation with Grammar Augmentation

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-14T19:17:45.652076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e72bfb75-4daa-4463-b4a3-f2ec1bf5a4e6 · inbound

Format Sensitivity Index: Token-Controlled Prompt Wrapper Robustness and Schema Compliance in LLM Benchmarking cites this paper.

Format Sensitivity Index: Token-Controlled Prompt Wrapper Robustness and Schema Compliance in LLM Benchmarking SynCode: LLM Generation with Grammar Augmentation

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T19:17:45.652076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c3e718e-7925-41d8-af20-9d62bc090ce7 · inbound

LLM-as-a-Judge Scores Are Unreliable Optimization Signals in Closed-Loop Table Recognition cites this paper.

LLM-as-a-Judge Scores Are Unreliable Optimization Signals in Closed-Loop Table Recognition SynCode: LLM Generation with Grammar Augmentation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T05:30:03.266859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.