{"as_of":"2026-08-19T03:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:eda8d7af9d2d981d44eb7007b0b4b746dd8dbbfb511e7da40bdd167a7572832d","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T14:17:49.705142Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2608.11394/citation-record","integrity":"/paper/2608.11394/integrity","json":"/paper/2608.11394/citation-record.json","paper":"/paper/2608.11394"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2408.08333","last_updated":"2025-07-08T23:14:43Z","snapshot_observed_at":"2026-08-16T13:26:22.908239Z","submitted_at":"2024-08-14T22:53:07Z","title":"CodeMirage: Hallucinations in Code Generated by Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08333","snapshot_observed_at":"2026-08-15T14:17:49.655137Z","title":"CodeMi- rage: Hallucinations in Code Generated by Large Language Models.arXiv preprint arXiv:2408.08333","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.655137Z"},"links":{"cited_paper":"/paper/2408.08333","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:65a142e42862c17d1face1b5a8acac9c09533ff665d9c6e2baf3c53a6050b690","observation_id":"09e55cc3-2f65-42fc-ab16-6ea41a42cdbf","resolution":{"observed_at":"2026-08-15T14:17:49.655137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-15T14:17:49.673076Z","title":"InThe Ninth International Conference on Learning Representations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.673076Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:67559e4bf590690b4b36ebb98a276d9a8f5db9b4244fdd6ee4e5988e303b4fbc","observation_id":"7695f827-8366-44de-a02a-bf4824eaa69e","resolution":{"observed_at":"2026-08-15T14:17:49.673076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-15T14:17:49.677697Z","title":"Jain, N.; Han, K.; Gu, A.; Li, W.-D.; Yan, F.; Zhang, T.; Wang, S.; Solar-Lezama, A.; Sen, K.; and Stoica, I","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.677697Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:4dd42229ea935073f61eb7d171ed0a9feccd041936776b035ad8e6fb7cca72e5","observation_id":"1e29f147-74e9-451a-bdb5-b5a41b48324e","resolution":{"observed_at":"2026-08-15T14:17:49.677697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.06590","last_updated":"2023-02-13T18:42:46Z","snapshot_observed_at":"2026-08-16T15:07:47.651587Z","submitted_at":"2023-02-13T18:42:46Z","title":"The Impact of AI on Developer Productivity: Evidence from GitHub Copilot","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.06590","snapshot_observed_at":"2026-08-15T14:17:49.687058Z","title":"In2022 IEEE Symposium on Security and Privacy, 754–768","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.687058Z"},"links":{"cited_paper":"/paper/2302.06590","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:b16375d977eaca74b7f59cf8aa40991611f09b17d4f8eddfea3e1cea8277f2f0","observation_id":"319ab473-b9a8-46cc-94e0-720ba044c319","resolution":{"observed_at":"2026-08-15T14:17:49.687058Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T14:17:49.841706Z","title":"InInter- national Conference on Learning Representations, volume 2024, 2544–2563","venue":null,"work_id":"948c72f8-164a-466b-871e-7446aa2c2896","year":2024},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.705142Z"},"links":{"citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:af51037725a06802294e513cf6ed04d23061c2ae725c013265bd4633c5b00b9d","observation_id":"514f6427-07d8-4476-8913-5a78567ce46e","resolution":{"observed_at":"2026-08-15T14:17:49.847835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.00740","last_updated":"2018-05-04T20:30:53Z","snapshot_observed_at":"2026-08-15T11:48:55.744776Z","submitted_at":"2017-11-01T09:48:06Z","title":"Learning to Represent Programs with Graphs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.00740","snapshot_observed_at":"2026-08-15T14:17:49.659150Z","title":"Azerbayev, Z.; Schoelkopf, H.; Paster, K.; Dos Santos, M.; McAleer, S","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.659150Z"},"links":{"cited_paper":"/paper/1711.00740","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:2752356e7b016f50b5bf983809c6fb81cddcde0fc8f7cbfd22fc8f30784a96c8","observation_id":"c94a41a6-169a-4f89-8f38-6f3432067341","resolution":{"observed_at":"2026-08-15T14:17:49.659150Z","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-08-08T11:58:24.516369Z","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-08-15T14:17:49.668256Z","title":"de Moura, L.; Kong, S.; Avigad, J.; van Doorn, F.; and von Raumer, J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.668256Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:53fe84dafd501f6e9978452f46a309a81e213fe97d148aac0d176a9a40cb9cff","observation_id":"10954ada-c6f1-4c78-9676-da0aa286dc41","resolution":{"observed_at":"2026-08-15T14:17:49.668256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.19173","last_updated":"2024-02-29T13:53:35Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-02-29T13:53:35Z","title":"StarCoder 2 and The Stack v2: The Next Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.19173","snapshot_observed_at":"2026-08-15T14:17:49.682422Z","title":"Lozhkov,A.;Li,R.;BenAllal,L.;Cassano,F.;Lamy-Poirier, J.;Tazi,N.;Tang,A.;Pykhtar,D.;Liu,J.;Wei,Y.;etal.2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.682422Z"},"links":{"cited_paper":"/paper/2402.19173","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:899b9beb2ae424defb8e03994de5f2b56beebd41c0b0db398fc8aa2f4f0d1651","observation_id":"4785a7ed-3348-4c7b-829c-3f491229c093","resolution":{"observed_at":"2026-08-15T14:17:49.682422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.10059","last_updated":"2025-09-02T20:11:20Z","snapshot_observed_at":"2026-08-18T02:08:20.600201Z","submitted_at":"2025-08-12T22:03:54Z","title":"CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.10059","snapshot_observed_at":"2026-08-15T14:17:49.699662Z","title":"InAdvances in Neural Information Process- ing Systems, volume 36, 21573–21612","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.699662Z"},"links":{"cited_paper":"/paper/2508.10059","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:655385fe6e1c07b1b9c92bbbee2281ae303d2888c8b99d1d46f2c93449b73971","observation_id":"f648a37a-8c09-49d7-ab1b-1edccfb46a98","resolution":{"observed_at":"2026-08-15T14:17:49.699662Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T14:17:49.869087Z","title":"InThe Twelfth International Conference on Learning Representations","venue":null,"work_id":"a5a6ea1e-48fe-473a-a94e-bee989bfc13b","year":2025},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.663523Z"},"links":{"citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:31c6500c012ae2fdf1c03b2277e6bd42856563ccf3f7048e061d3e0f96ddfc1a","observation_id":"22c0d598-a8c4-46be-be3a-da69947c8c81","resolution":{"observed_at":"2026-08-15T14:17:49.874236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-08-18T03:59:39.242039Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-15T14:17:49.690792Z","title":"InProceedings of the 63rd Annual Meeting of the Associa- tionforComputationalLinguistics(Volume1:LongPapers), 1402–1425","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.690792Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:6e24927b90db21a5d29a94c91eb7db1183ea40d66c75e99a127d0e7e089fd86c","observation_id":"4caebd20-e838-4d23-9bf8-104297a3e950","resolution":{"observed_at":"2026-08-15T14:17:49.690792Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T14:17:49.856841Z","title":"InProceedings oftheAAAIConferenceonArtificialIntelligence,volume40, 33001–33009","venue":null,"work_id":"0b10d9d1-0295-4268-bb0b-9ab4e39078b4","year":2025},"citing_paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-15T14:17:49.695512Z"},"links":{"citing_paper":"/paper/2608.11394"},"observation_digest":"sha256:fd15343bcc7438b9d31d6e9e0489269fd5bbfd179157e67a2161e19915df0444","observation_id":"1091437c-aff6-4648-9de6-d00c7aa1ac44","resolution":{"observed_at":"2026-08-15T14:17:49.860979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.11394","last_updated":"2026-08-11T20:01:08Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T02:08:24.170781Z","submitted_at":"2026-08-11T20:01:08Z","title":"GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":12},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"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."}