{"as_of":"2026-08-06T14:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fed5d9ffdc3ff3f8235c22c627c61a78b9cbfb66c82350f4182e8fd64b4cbcc0","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T04:41:22.115252Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.03130/citation-record","integrity":"/paper/2607.03130/integrity","json":"/paper/2607.03130/citation-record.json","paper":"/paper/2607.03130"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:6d39179426e1a63595aace6b23765584cd1a3c26cd52ce52a41ca48804ee5ce0","observation_id":"2617fa20-c6cb-4e19-91fd-c816e4b6c5e9","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:84d7d5a775e35faf53f649da619ea42955987c02566c7165c00b1e8e57b56236","observation_id":"8a2b2e06-d91c-4571-bdd9-cd06f619a9cb","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Toward auto- mated, contamination-free dafny benchmark generation","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:b06d8c8718453a263cf39165ded803c47b4d84352956585bbdb1eae071058360","observation_id":"b354f7e1-13ed-4cdb-bbf0-493a2b1240a8","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Feedbackeval: A benchmark for evaluating large language models in feedback-driven code repair tasks,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:bf20af5aac8bb86bc44998bd397f83d4b334cc7b8ce059f4268bbbd8ab0eb1b9","observation_id":"8f2268da-50b6-495e-b54b-552a792e9c5d","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-07-06T20:19:30.457335Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.06283","snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Dafny as verification- aware intermediate language for code generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"cited_paper":"/paper/2501.06283","citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:1b4907ddd7ef4c6c679eb627d057cec98006bd455644a8d84fd231900c7f3ca3","observation_id":"d9fc0aa2-132e-42f5-ba73-ec21ca7b3d74","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"A performance study of llm- generated code on leetcode,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:43900157b6222c161fbe7d78e813dc2471b1ea316e9911a12dbcf21458cf15b5","observation_id":"f97fb787-eb9a-4802-8d53-c77db441b136","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Coffe: A code efficiency benchmark for code generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:4d908e37f5d37646e88d4ae459558aab910127e8d290e77915bc4d49ee69c620","observation_id":"0e649183-00cb-457a-80b7-26e4698116c2","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Swe-bench: Can language models resolve real-world github issues?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:f1b06739703c749e9161cc792f1ac3d5d8b7bbc611ac7c2524d7a96377235e66","observation_id":"76971af7-548e-4723-a9ef-c1bcb665290a","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.12415","last_updated":"2026-07-01T03:29:05Z","snapshot_observed_at":"2026-07-06T21:58:13.740929Z","submitted_at":"2025-07-16T17:05:17Z","title":"SWE-Perf: Can Language Models Optimize Code Performance on Real-World Repositories?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.12415","snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Swe-perf: Can language models optimize code performance on real- world repositories?","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"cited_paper":"/paper/2507.12415","citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:7f192806deac931448c4bab3b8dea40194b8798b9499cc42e8aeae35629361bf","observation_id":"24e20d5c-8d2a-473d-864b-b6c43e1e6c0e","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Translating meaning representations to behavioural interface specifications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:50b330b43f1ed7e9a09378f0f2a6136b206436700a39f670a62fa71c918e81a1","observation_id":"6515d45c-7cd0-4c40-94e3-91a977d0acf1","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":10},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"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."}