Paper Citation Record · LEDGER

Copper: Unifying Correctness and Performance Specification in Code Generation

As of 6 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2607.03130.

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

pith.paper-citation-record.v1
2607.03130 v1

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T04:41:22.115252Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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

10 of 10 outbound references displayed

verified exact0
verified fuzzy0
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2617fa20-c6cb-4e19-91fd-c816e4b6c5e9 · outbound

This paper cites an unresolved cited work.

Copper: Unifying Correctness and Performance Specification in Code Generation Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a2b2e06-d91c-4571-bdd9-cd06f619a9cb · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Copper: Unifying Correctness and Performance Specification in Code Generation Evaluating Large Language Models Trained on Code

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b354f7e1-13ed-4cdb-bbf0-493a2b1240a8 · outbound

This paper cites Toward auto- mated, contamination-free dafny benchmark generation.

Copper: Unifying Correctness and Performance Specification in Code Generation Toward auto- mated, contamination-free dafny benchmark generation

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f2268da-50b6-495e-b54b-552a792e9c5d · outbound

This paper cites Feedbackeval: A benchmark for evaluating large language models in feedback-driven code repair tasks,.

Copper: Unifying Correctness and Performance Specification in Code Generation Feedbackeval: A benchmark for evaluating large language models in feedback-driven code repair tasks,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9fc0aa2-132e-42f5-ba73-ec21ca7b3d74 · outbound

This paper cites Dafny as Verification-Aware Intermediate Language for Code Generation.

Copper: Unifying Correctness and Performance Specification in Code Generation Dafny as Verification-Aware Intermediate Language for Code Generation

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f97fb787-eb9a-4802-8d53-c77db441b136 · outbound

This paper cites A performance study of llm- generated code on leetcode,.

Copper: Unifying Correctness and Performance Specification in Code Generation A performance study of llm- generated code on leetcode,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e649183-00cb-457a-80b7-26e4698116c2 · outbound

This paper cites Coffe: A code efficiency benchmark for code generation,.

Copper: Unifying Correctness and Performance Specification in Code Generation Coffe: A code efficiency benchmark for code generation,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76971af7-548e-4723-a9ef-c1bcb665290a · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Copper: Unifying Correctness and Performance Specification in Code Generation SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24e20d5c-8d2a-473d-864b-b6c43e1e6c0e · outbound

This paper cites SWE-Perf: Can Language Models Optimize Code Performance on Real-World Repositories?.

Copper: Unifying Correctness and Performance Specification in Code Generation SWE-Perf: Can Language Models Optimize Code Performance on Real-World Repositories?

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6515d45c-7cd0-4c40-94e3-91a977d0acf1 · outbound

This paper cites Translating meaning representations to behavioural interface specifications,.

Copper: Unifying Correctness and Performance Specification in Code Generation Translating meaning representations to behavioural interface specifications,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T04:41:22.115252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.