Paper Citation Record · LEDGER

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation

As of 19 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2608.11394.

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

pith.paper-citation-record.v1
2608.11394 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T14:17:49.705142Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

12 of 12 outbound references displayed

verified exact0
verified fuzzy3
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 09e55cc3-2f65-42fc-ab16-6ea41a42cdbf · outbound

This paper cites CodeMirage: Hallucinations in Code Generated by Large Language Models.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation CodeMirage: Hallucinations in Code Generated by Large Language Models

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.655137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7695f827-8366-44de-a02a-bf4824eaa69e · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.673076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e29f147-74e9-451a-bdb5-b5a41b48324e · outbound

This paper cites Qwen2.5-Coder Technical Report.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation Qwen2.5-Coder Technical Report

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.677697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 319ab473-b9a8-46cc-94e0-720ba044c319 · outbound

This paper cites The Impact of AI on Developer Productivity: Evidence from GitHub Copilot.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation The Impact of AI on Developer Productivity: Evidence from GitHub Copilot

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.687058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 514f6427-07d8-4476-8913-5a78567ce46e · outbound

This paper cites InInter- national Conference on Learning Representations, volume 2024, 2544–2563.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation InInter- national Conference on Learning Representations, volume 2024, 2544–2563

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:17:49.847835Z

Source-reported events for the cited work

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

Observation c94a41a6-169a-4f89-8f38-6f3432067341 · outbound

This paper cites Learning to Represent Programs with Graphs.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation Learning to Represent Programs with Graphs

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.659150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10954ada-c6f1-4c78-9676-da0aa286dc41 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation Evaluating Large Language Models Trained on Code

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.668256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4785a7ed-3348-4c7b-829c-3f491229c093 · outbound

This paper cites StarCoder 2 and The Stack v2: The Next Generation.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation StarCoder 2 and The Stack v2: The Next Generation

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.682422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f648a37a-8c09-49d7-ab1b-1edccfb46a98 · outbound

This paper cites CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.699662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22c0d598-a8c4-46be-be3a-da69947c8c81 · outbound

This paper cites InThe Twelfth International Conference on Learning Representations.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation InThe Twelfth International Conference on Learning Representations

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:17:49.874236Z

Source-reported events for the cited work

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

Observation 4caebd20-e838-4d23-9bf8-104297a3e950 · outbound

This paper cites Code Llama: Open Foundation Models for Code.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation Code Llama: Open Foundation Models for Code

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-15T14:17:49.690792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1091437c-aff6-4648-9de6-d00c7aa1ac44 · outbound

This paper cites InProceedings oftheAAAIConferenceonArtificialIntelligence,volume40, 33001–33009.

GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation InProceedings oftheAAAIConferenceonArtificialIntelligence,volume40, 33001–33009

Reference 2026

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:17:49.860979Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.