{"as_of":"2026-08-08T12:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b14708bc9b01ed09b693c5ab28117e34b2c458abf7fd570172ea4d9c78e475f3","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:40:07.595236Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T15:06:56.616089Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T11:11:05.019022Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"cited_work":{"arxiv_id":"2508.14419","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.14419","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Static analysis as a feedback loop: Enhancing llm-generated code beyond correctness","venue":null,"work_id":"66c0b861-f07a-42ab-9beb-f9027a3568c6","year":2025},"citing_paper":{"arxiv_id":"2604.12220","last_updated":"2026-04-14T02:56:21Z","snapshot_observed_at":"2026-08-03T11:18:00.923858Z","submitted_at":"2026-04-14T02:56:21Z","title":"Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-10T15:06:56.616089Z"},"links":{"cited_paper":"/paper/2508.14419","citing_paper":"/paper/2604.12220"},"observation_digest":"sha256:5f91747fef23e580bf8558e8280633cc4171055b73952eec23359e651e6a4687","observation_id":"bc30a9f7-4ef5-45f0-a2d8-3e40203eb0be","resolution":{"observed_at":"2026-05-11T11:11:05.023668Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.14419/citation-record","integrity":"/paper/2508.14419/integrity","json":"/paper/2508.14419/citation-record.json","paper":"/paper/2508.14419"},"outbound":[{"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-05T18:40:04.570741Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:04.570741Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:a3564f715f5286a18efafdf10d06fa0c384dd612749fcf2dfd4ce5f2c8d0deac","observation_id":"558d4fa4-4551-42f9-9bdb-88ea89ff5e72","resolution":{"observed_at":"2026-08-05T18:40:04.570741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-05T18:40:04.623264Z","title":"Gpt-4 technical report,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:04.623264Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:c50c40abd43cdbcd6a58d901ef6e4967b09fa08696d7d7436c48d7b7dd9d10c3","observation_id":"144398f3-cbb1-4905-8515-61143045613c","resolution":{"observed_at":"2026-08-05T18:40:04.623264Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-05T18:40:04.747331Z","title":"Gemini: a family of highly capable multimodal models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:04.747331Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:7f37b42a3bb46e0ac43681897a96c66491f03385b4912e3f56c9b4ea8d746989","observation_id":"c138b983-b000-4be8-81ed-2063e45bdb1a","resolution":{"observed_at":"2026-08-05T18:40:04.747331Z","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-05T18:40:12.825087Z","title":"ISO/IEC 25010","venue":null,"work_id":"07c2c6b5-343c-48b5-b6b0-603e5efb9360","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:04.845993Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:b32db5ea122556ac1ac898993be9d46995b58b0b7f338621d24e2c88ce90b5e4","observation_id":"99c25215-c2bc-4ce3-b2c5-18697e0a1f86","resolution":{"observed_at":"2026-08-05T18:40:12.899327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:12.580598Z","title":"How have views on software quality differed over time? research and practice viewpoints,","venue":null,"work_id":"b2d46c87-d85d-47a9-a2ac-e0a0dc0fa50b","year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:04.977938Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:8a73d28b969f4938b22af95336db099f4ed419a3e4f0a572ca4302338ada9c2d","observation_id":"3c188586-295b-453f-9730-2a2ce6fd6812","resolution":{"observed_at":"2026-08-05T18:40:12.684510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.00024","last_updated":"2024-10-16T05:46:45Z","snapshot_observed_at":"2026-08-02T16:14:10.378978Z","submitted_at":"2023-11-13T08:54:37Z","title":"Can LLMs Patch Security Issues?","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.00024","snapshot_observed_at":"2026-08-05T18:40:05.080660Z","title":"Can llms patch security issues?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.080660Z"},"links":{"cited_paper":"/paper/2312.00024","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:9e239896c71ec94108b9eaea33ac874f6f457c84eaa57842af63f14653eae179","observation_id":"cd6cc1be-9e22-454b-9b31-c496b28dae67","resolution":{"observed_at":"2026-08-05T18:40:05.080660Z","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-05T18:40:12.373708Z","title":"Lost at c: A user study on the security implications of large language model code assistants,","venue":null,"work_id":"9b6081d3-bb95-4cb2-b965-e6cb76fd79f2","year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.175509Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:68b6a8449e6308ca62172af9667438b8cb2e31242803b6488411419d71172c66","observation_id":"d7f56fb4-681e-4e49-b7d8-a475a3daa53b","resolution":{"observed_at":"2026-08-05T18:40:12.474718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:12.157726Z","title":"Do users write more insecure code with ai assistants?","venue":null,"work_id":"8c8dce98-a0d0-4958-a849-d4d427a4449d","year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.272979Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:0f07cd0f1d2a987b3b2a194f9e77e59c9e7ec1764433ad2c64874aee84c1938b","observation_id":"3bcc6ebd-b626-458b-a833-6e5a8c0fc78e","resolution":{"observed_at":"2026-08-05T18:40:12.278659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:11.899932Z","title":"Can llm replace stack overflow? a study on robustness and reliability of large language model code generation,","venue":null,"work_id":"0e7853d9-bffb-4d61-adfe-14fc361f3c39","year":2024},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.350297Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:6150389c249a891b6ec8eb7209f582669a453615d170cf7320264574398af773","observation_id":"c8c2894d-3ccc-4609-a3e2-f98a7d5354e0","resolution":{"observed_at":"2026-08-05T18:40:11.998670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11470","last_updated":"2024-10-09T05:59:07Z","snapshot_observed_at":"2026-07-06T18:47:00.524107Z","submitted_at":"2024-07-16T08:08:48Z","title":"Beyond Correctness: Benchmarking Multi-dimensional Code Generation for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11470","snapshot_observed_at":"2026-08-05T18:40:05.431137Z","title":"Beyond correctness: Benchmarking multi-dimensional code generation for large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.431137Z"},"links":{"cited_paper":"/paper/2407.11470","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:5a4526898b343a8d9fd990862f6651991470641f78fde437924600a1d3d7a05f","observation_id":"e031d502-458c-4d91-bdb1-dc320af3c388","resolution":{"observed_at":"2026-08-05T18:40:05.431137Z","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-05T18:40:11.505020Z","title":"Understanding stack overflow code quality: A recommendation of caution,","venue":null,"work_id":"8b9e2fc7-2ee8-43f9-a414-adca471655d7","year":2020},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.500296Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:fe0f64bb3cd582a9641a4c34fd131f2ab95420e0d211c7f76b09e2cbea3508b5","observation_id":"c08fd3af-0fad-4d0d-89a0-e792e9bf16c2","resolution":{"observed_at":"2026-08-05T18:40:11.716160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:11.131655Z","title":"Common weakness enumeration","venue":null,"work_id":"58941c94-cfbd-494f-bd78-6ee96131b2a8","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.564227Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:3691a5f6b1cc9631992318adf4a990e1746b854ee10d1cd9ee473e95bc0e25f6","observation_id":"8e5ebd0a-627b-443e-b3f7-d7a1885d8177","resolution":{"observed_at":"2026-08-05T18:40:11.328401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.10620","last_updated":"2024-04-10T08:41:22Z","snapshot_observed_at":"2026-07-06T16:08:29.285279Z","submitted_at":"2023-08-21T10:37:49Z","title":"Large Language Models for Software Engineering: A Systematic Literature Review","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.10620","snapshot_observed_at":"2026-08-05T18:40:05.627097Z","title":"Large language models for software engineer- ing: A systematic literature review,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.627097Z"},"links":{"cited_paper":"/paper/2308.10620","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:23b680bfe4f17717a51b5e71bc3af062e273467885502b65f5bd36378778e84c","observation_id":"f5ee6666-9f37-46e1-a914-ed438125c404","resolution":{"observed_at":"2026-08-05T18:40:05.627097Z","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-05T18:40:10.846171Z","title":"Introducing the next generation of claude,","venue":null,"work_id":"624d6314-ae08-4be9-951c-f647660c7852","year":2024},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.723828Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:43ace563fa3750cbd545a9be4ce374d9d981bfab3bd2ff09c304df9b27dd523e","observation_id":"99f93eff-9138-4c5a-9ded-2155ee118256","resolution":{"observed_at":"2026-08-05T18:40:10.950565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:10.653737Z","title":"Available: https://huggingface.co/datasets/ google-research-datasets/mbpp","venue":null,"work_id":"51fe06bc-8e02-4642-bb19-2270ed8ad13f","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.824876Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:ef2a0e67d5bd188f0955476962ac85cd52287eef1d60f78572f4b25c81e4f989","observation_id":"1c3bf3b8-6a65-442c-b6e3-60748b38b37d","resolution":{"observed_at":"2026-08-05T18:40:10.727873Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:10.463550Z","title":"Claude 3.5 sonnet model card addendum","venue":null,"work_id":"a8f6c0da-e0d5-4323-9487-73e5fdcc63f5","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:05.928293Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:08a38e5a9b3a97a3a55df41e0d77008320427e709dd70f185a27286bf0a2bd05","observation_id":"d54ddb30-5de9-4e90-96f4-4a8142fb3ff8","resolution":{"observed_at":"2026-08-05T18:40:10.564504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.00234","last_updated":"2024-10-05T11:47:02Z","snapshot_observed_at":"2026-07-06T14:36:25.690733Z","submitted_at":"2022-12-31T15:57:09Z","title":"A Survey on In-context Learning","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.00234","snapshot_observed_at":"2026-08-05T18:40:06.019859Z","title":"A survey on in-context learning,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.019859Z"},"links":{"cited_paper":"/paper/2301.00234","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:ebc18fb4d129a157231fa19ba172f45ab42b1190d224d19ccc78acff494b4b27","observation_id":"40aa4eef-52a4-440d-a8e8-ab69b9ad8817","resolution":{"observed_at":"2026-08-05T18:40:06.019859Z","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-08-05T18:40:06.089312Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.089312Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:4ece411f43ee8e625a3c3b8ede4bd1c5d8c3f1f24d6810f84f45456c387f585e","observation_id":"112b83bc-65f2-488b-96e7-ed69ef0a1550","resolution":{"observed_at":"2026-08-05T18:40:06.089312Z","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-05T18:40:10.299029Z","title":"Debug like a human: A large language model debugger via verifying runtime execution step by step,","venue":null,"work_id":"0f7cd08b-2f28-467d-b309-daeb1f70712d","year":2024},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.188386Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:85774d5ed7e27e8adfcf4cba85d04755866b5873b938fc83456c0c2932d0c725","observation_id":"f1b0039e-c183-443d-b81f-8c8b5c1358d6","resolution":{"observed_at":"2026-08-05T18:40:10.368940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:10.086497Z","title":"[Online]","venue":null,"work_id":"52cba2ab-ea5c-4460-9311-4686b3e5cdb4","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.282096Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:d68c748b654ff7de1ceb6cc2ad84a6ba92a35feb93fe351be8ccf234ca597169","observation_id":"c4fbfb36-38d6-4c34-ae72-dae310088a93","resolution":{"observed_at":"2026-08-05T18:40:10.212274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.10577","last_updated":"2024-08-20T06:32:57Z","snapshot_observed_at":"2026-07-06T19:03:18.242943Z","submitted_at":"2024-08-20T06:32:57Z","title":"Optimizing Large Language Model Hyperparameters for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.10577","snapshot_observed_at":"2026-08-05T18:40:06.378538Z","title":"Optimizing large language model hyperparameters for code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.378538Z"},"links":{"cited_paper":"/paper/2408.10577","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:86ce57597b31c48ce8010297ddeffa5ac243ddf6a8ebb5fb89feeb5ac7968a95","observation_id":"0069eb1d-92a4-47fc-8f5f-8921b2cbe2fe","resolution":{"observed_at":"2026-08-05T18:40:06.378538Z","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-05T18:40:09.878337Z","title":"On the capability of static code analysis to detect security vulnerabilities,","venue":null,"work_id":"ed61a284-015c-454d-b8ec-670e203f1c73","year":2015},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.477926Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:9a565808c5402fcc4af8773831de1b8e0a016c0a2540888c3653b46df4abedcd","observation_id":"e085ac9e-e421-43a3-87e2-36da80f8d21d","resolution":{"observed_at":"2026-08-05T18:40:09.965106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:09.666606Z","title":"[Online]","venue":null,"work_id":"195806bd-1c38-4613-81f7-a197a1b19e91","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.553555Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:4d91a1740f297e4cd87db902a4b4282ac897b58f582b950b0c81d18dcf380535","observation_id":"38b6e224-c329-4767-a053-a09c8689364e","resolution":{"observed_at":"2026-08-05T18:40:09.783083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:09.513643Z","title":"Using static analysis to find bugs,","venue":null,"work_id":"025e70b4-472f-4449-81bc-edfd4e5bea63","year":2008},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.651253Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:0d26cff70908cf20028bcbf56bcd159e87439d6a7e06585f6d874b87ebe5029c","observation_id":"4083e6c8-6ac2-46ec-9c32-972d02762eb8","resolution":{"observed_at":"2026-08-05T18:40:09.592597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:09.321635Z","title":"How developers engage with static analysis tools in different contexts,","venue":null,"work_id":"e2838229-57c7-4205-9b63-c80f8bc4ad80","year":2020},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.747523Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:3225e919984d06caf6cfc645de8fe80c12632e21ce8b5692fdee90dc2256ae3b","observation_id":"22508dc9-34b4-481f-b4a0-8125b9832a48","resolution":{"observed_at":"2026-08-05T18:40:09.419980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:09.166482Z","title":"Analyzing false positive source code vulnerabilities using static analysis tools,","venue":null,"work_id":"14b8d612-d805-4b34-8849-4f74c2142276","year":2018},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.842105Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:a05af796a312e2c52ab25d3a584bc72b24813a2315049b3dcd1fc529abd904d6","observation_id":"da3efd65-4f15-4f1e-9d02-8f4641dcc1e2","resolution":{"observed_at":"2026-08-05T18:40:09.237039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:09.036088Z","title":"Identifying and documenting false positive patterns generated by static code analysis tools,","venue":null,"work_id":"b6cdee9f-fe71-4963-b82f-cce02978ae38","year":2017},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:06.918436Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:15815ff8e99fbe4a365dc1a65445bf3b3de5b3c574bed8a44e552fe303076af2","observation_id":"ffb6f50c-3c89-49e4-8826-426c69266daa","resolution":{"observed_at":"2026-08-05T18:40:09.091729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.12938","last_updated":"2023-09-22T15:37:07Z","snapshot_observed_at":"2026-07-06T16:22:26.069983Z","submitted_at":"2023-09-22T15:37:07Z","title":"Frustrated with Code Quality Issues? LLMs can Help!","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.12938","snapshot_observed_at":"2026-08-05T18:40:07.002163Z","title":"Frustrated with code quality issues? llms can help!","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.002163Z"},"links":{"cited_paper":"/paper/2309.12938","citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:88c1b9633db3c7fdd59ea19aaa54d98cfbc696e0ddf38332e85531d3f9cab637","observation_id":"a754f5a0-d0a4-4f35-9874-31e0d1e18c57","resolution":{"observed_at":"2026-08-05T18:40:07.002163Z","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-05T18:40:08.868156Z","title":"Securityeval dataset: mining vulnerabil- ity examples to evaluate machine learning-based code generation tech- niques,","venue":null,"work_id":"9d054902-e78d-4260-8d11-a97eebaf55c7","year":2022},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.087889Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:3e38494517ecca0ab74de6fd13319cffee890ca70b389e28f7211f5ea154095d","observation_id":"35255074-c4f8-46cd-b750-d9e9dd7f227f","resolution":{"observed_at":"2026-08-05T18:40:08.955324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:08.741758Z","title":"Using metrics to evaluate software system maintainability,","venue":null,"work_id":"df4e776d-ed9c-42b8-90df-459e3079113d","year":1994},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.201271Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:ce0a8b7db94d83add4031a40bc290fee43474d0c5ed98812974ef2befaa596ee","observation_id":"9aa60fd5-fa3d-495d-a38e-f76850c6bcb3","resolution":{"observed_at":"2026-08-05T18:40:08.800553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:08.602963Z","title":"Boswell and T","venue":null,"work_id":"72ebf6c1-450e-44aa-9e99-3520f2ea06ec","year":2011},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.282205Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:7f908e6afb5d4fabb62e490668c15ceb8ef3de2d1f1ecc236747f725f15e4a48","observation_id":"f30f49be-7df1-4ad5-b691-3cf61ad2eb5e","resolution":{"observed_at":"2026-08-05T18:40:08.675358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:08.457564Z","title":"Available: https://bandit.readthedocs.io/en/latest/man/bandit","venue":null,"work_id":"86489be4-9212-4a76-ac89-44d8f61b4f2e","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.348714Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:354f0c569918b8bcbf781151078917796990d2634735ffc9e9f67cde41e8376f","observation_id":"73c91ce2-d6ae-4bc8-bb93-3723d184c8c1","resolution":{"observed_at":"2026-08-05T18:40:08.536661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:08.257430Z","title":"[Online]","venue":null,"work_id":"8d0a3cc6-cd90-4d67-a303-806e86e9b275","year":null},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.419199Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:00fb87454950435420388cf90ad6fd6d20efd692ff15dfdf42fb378c17616fad","observation_id":"5ab5b9db-ab0a-4a89-8f25-9f7641d7c3e0","resolution":{"observed_at":"2026-08-05T18:40:08.366168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2703.30927","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:07.801388Z","title":"Identifying test-suite-overfitted patches through test case generation,","venue":null,"work_id":"2da6ad9d-fe9b-430f-856d-2f3379109036","year":2017},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.526045Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:9e66af49090d19a6f5136ba8311c22f3dd08a57bc320907765ae23023d75f298","observation_id":"bf7e9940-477f-4aac-98fc-c737fdb3d975","resolution":{"observed_at":"2026-08-05T18:40:07.857595Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:40:08.108394Z","title":"Program transformation landscapes for automated program modification using gin,","venue":null,"work_id":"64c910f2-0643-495f-b798-fe2702874ee5","year":2023},"citing_paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T18:40:07.595236Z"},"links":{"citing_paper":"/paper/2508.14419"},"observation_digest":"sha256:2ed4fc7376ef2679936a25857f871ceb1cd595e2d77bb151a985af8222c6a121","observation_id":"d86913b8-6d52-4d43-85b3-0136c40f5523","resolution":{"observed_at":"2026-08-05T18:40:08.179110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14419","last_updated":"2025-08-20T04:31:31Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T07:38:55.270700Z","submitted_at":"2025-08-20T04:31:31Z","title":"Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":24},"total_outbound_references":35},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:2508.14419."}