Paper Citation Record · LEDGER

Constrained Decoding for Secure Code Generation

As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2405.00218.

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

pith.paper-citation-record.v1
2405.00218 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 17 of 17 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:19:08.213857Z

measured 1 of 1 external citation measurements

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

Source: pith, 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

1
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 929e0776-a1e7-41b4-a3da-845041bfc7ad · inbound

Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios cites this paper.

Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios Constrained Decoding for Secure Code Generation

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-23T00:52:19.375940Z

Source-reported events for the cited work

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

Observation 3ed72c20-080e-4360-8174-a9e84ef6a0c4 · inbound

Training Language Models to Generate Quality Code with Program Analysis Feedback cites this paper.

Training Language Models to Generate Quality Code with Program Analysis Feedback Constrained Decoding for Secure Code Generation

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T13:04:58.524594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee5aae56-dc85-44e3-81f7-6e62850ca7fe · inbound

SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows cites this paper.

SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows Constrained Decoding for Secure Code Generation

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:42:54.950261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c9e1a5f-4c06-4e0e-a1ee-fe1c70f9ed34 · inbound

Secure Code Generation at Scale with Reflexion cites this paper.

Secure Code Generation at Scale with Reflexion Constrained Decoding for Secure Code Generation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T23:50:49.699503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 756becb5-04d9-4bf7-8fef-38936b887957 · inbound

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation cites this paper.

HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation Constrained Decoding for Secure Code Generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T09:29:00.748033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1de8c097-34f9-44f7-86db-f184ada5c61e · inbound

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations cites this paper.

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations Constrained Decoding for Secure Code Generation

Reference 2

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T00:45:49.658926Z

Source-reported events for the cited work

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

Observation 3c78bb65-ee53-46fa-8889-fee80468e45f · inbound

DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation cites this paper.

DeepGuard: Secure Code Generation via Multi-Layer Semantic Aggregation Constrained Decoding for Secure Code Generation

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-11T05:40:59.417040Z

Source-reported events for the cited work

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

Observation 30f8727e-8103-416c-b405-07fadbb71c1c · inbound

Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring cites this paper.

Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring Constrained Decoding for Secure Code Generation

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-09T19:35:39.106838Z

Source-reported events for the cited work

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

Observation 77893ab8-f906-495a-9ec6-0e9087545460 · inbound

Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring cites this paper.

Themis: Training Robust Multilingual Code Reward Models for Flexible Multi-Criteria Scoring Constrained Decoding for Secure Code Generation

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-11T02:15:52.404038Z

Source-reported events for the cited work

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

Observation baee6134-9f5d-451c-801c-4026aa7f8207 · inbound

Correct Code, Vulnerable Dependencies: A Large Scale Measurement Study of LLM-Specified Library Versions cites this paper.

Correct Code, Vulnerable Dependencies: A Large Scale Measurement Study of LLM-Specified Library Versions Constrained Decoding for Secure Code Generation

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-08T22:29:18.112587Z

Source-reported events for the cited work

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

Observation 7a8e89a8-19f2-4834-bff1-3a12098451de · inbound

SoK: AI Secure Code Generation: Progress, Pitfalls, and Paths Forward cites this paper.

SoK: AI Secure Code Generation: Progress, Pitfalls, and Paths Forward Constrained Decoding for Secure Code Generation

Reference 9

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T18:40:02.853002Z

Source-reported events for the cited work

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

Observation fb21d66b-d28e-46af-a8cb-4f998f3083ae · inbound

MMIR-TCM: Memory-Integrated Multimodal Inference and Retrieval for TCM Clinical Decision Support cites this paper.

MMIR-TCM: Memory-Integrated Multimodal Inference and Retrieval for TCM Clinical Decision Support Constrained Decoding for Secure Code Generation

Reference 71

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T13:48:20.555898Z

Source-reported events for the cited work

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

Observation e32b7e34-49e1-482d-878a-de35a4cfe1a2 · inbound

Functional and Secure Code Generation with Task Vectors cites this paper.

Functional and Secure Code Generation with Task Vectors Constrained Decoding for Secure Code Generation

Reference 18

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T16:07:20.278571Z

Source-reported events for the cited work

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

Observation b382ff4c-65bd-43f3-91db-3adde91fcde1 · inbound

CoGate: Confidence-Gated Co-Decoding for Secure Code Generation cites this paper.

CoGate: Confidence-Gated Co-Decoding for Secure Code Generation Constrained Decoding for Secure Code Generation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T04:32:30.239888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b64c1787-64aa-4744-8cc0-ea7d6185b1eb · inbound

Understanding and Improving Model Editing for Secure Code Generation cites this paper.

Understanding and Improving Model Editing for Secure Code Generation Constrained Decoding for Secure Code Generation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T19:46:09.868871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2090215-a900-4ce6-b72f-591882f3c543 · inbound

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits cites this paper.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Constrained Decoding for Secure Code Generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T11:42:33.986301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7abe220-3c92-4f48-92fb-9ba0af2b5b54 · inbound

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits cites this paper.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Constrained Decoding for Secure Code Generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.213857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.