{"as_of":"2026-08-07T23:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7c8472c4ecb23bf6230f59f78fdccf7ce7d57237b7825e206be20e78c07ed667","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:07:13.127456Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2507.09135/citation-record","integrity":"/paper/2507.09135/integrity","json":"/paper/2507.09135/citation-record.json","paper":"/paper/2507.09135"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:07:20.755881Z","title":"Automatic semantic augmentation of language model prompts (for code summarization)","venue":null,"work_id":"fb959561-8c9a-45f0-adaf-97a8de650e26","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:07.917939Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:380069c8fa83f8bf75b4c68652de55a32e8c8d9f206eb13a59a12fb9233b9526","observation_id":"d6e4768b-b1fd-4e2b-b74b-24a816f3ca55","resolution":{"observed_at":"2026-08-06T18:07:20.824285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02133","last_updated":"2025-05-04T14:44:27Z","snapshot_observed_at":"2026-08-07T15:56:37.424840Z","submitted_at":"2025-05-04T14:44:27Z","title":"Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02133","snapshot_observed_at":"2026-08-06T18:07:08.007222Z","title":"Enhancing llm code generation: A systematic evaluation of multi-agent collabo- ration and runtime debugging for improved accuracy, reliability, and latency","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.007222Z"},"links":{"cited_paper":"/paper/2505.02133","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:0351a2c5481ac798ea7fed22013b8e0710db40807c1cc7c4bc7308f93d258dee","observation_id":"0f8e2ab5-3c98-4d47-9e65-b73712e18143","resolution":{"observed_at":"2026-08-06T18:07:08.007222Z","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-06T18:07:20.490282Z","title":"Statically contextualizing large language models with typed holes","venue":null,"work_id":"5def92aa-3399-49b5-928b-a6676ef30972","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.175240Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:3f2577041037c352ddfe5cba73af0719d9bac15e44a7ce630288921ab4c9390c","observation_id":"0f1f828c-db0d-4afe-8ecd-e5dacd779551","resolution":{"observed_at":"2026-08-06T18:07:20.623171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12934","last_updated":"2025-08-02T04:08:59Z","snapshot_observed_at":"2026-08-07T03:10:39.503343Z","submitted_at":"2025-01-22T15:04:13Z","title":"Correctness Assessment of Code Generated by Large Language Models Using Internal Representations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12934","snapshot_observed_at":"2026-08-06T18:07:08.290078Z","title":"Correctness assessment of code generated by large language models using internal representations","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.290078Z"},"links":{"cited_paper":"/paper/2501.12934","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:efa575ca54b9200df34a2ba885839e913d100c1515d2b51ce976feebda2b46b2","observation_id":"23feee5e-bb25-4201-8e34-2f4002ab56ca","resolution":{"observed_at":"2026-08-06T18:07:08.290078Z","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-06T18:07:08.379642Z","title":"Empirical evaluation of generalizable automated program repair with large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.379642Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:a237c317820f169bb4ea898e116729d60079df39c5d1c5f26216eaccf203653e","observation_id":"247d28d4-e907-4e6b-830f-9f4eb9ba04dd","resolution":{"observed_at":"2026-08-06T18:07:08.379642Z","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":"2503.03207","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:07:14.634921Z","title":"Polyver: A compositional approach for polyglot system modeling and verification.arXiv preprint arXiv:2503.03207, 2025","venue":null,"work_id":"961d2380-0b42-4021-ad15-20c6eb417d3c","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.453207Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:18b518a85a42d71cb47d4d29662cd03b9ff10f558b4c95727ba3f98ad9528918","observation_id":"c25d7013-781a-43fc-be36-1e5c4b11ee13","resolution":{"observed_at":"2026-08-06T18:07:14.748720Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-07-06T20:34:53.567141Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07728","snapshot_observed_at":"2026-08-06T18:07:08.531512Z","title":"Verifying llm-generated code in the context of software verification with ada/spark","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.531512Z"},"links":{"cited_paper":"/paper/2502.07728","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:be178e7926d186f3f5e5dfe49109356e509f5b1cb1d4780076e14923d91981e4","observation_id":"cc8bc8d6-29f9-452a-9a2d-30704ed26ba0","resolution":{"observed_at":"2026-08-06T18:07:08.531512Z","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-06T18:07:20.342614Z","title":"Search- based llms for code optimization","venue":null,"work_id":"786d6037-8e16-4209-852e-cc4ac57563de","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.610627Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:ad6e9c614be0677bd861ff3c51e9b224879312d905b1c7717456286bbcfb40f0","observation_id":"3098640c-b7b6-4d8c-b6fd-ed0e696e4511","resolution":{"observed_at":"2026-08-06T18:07:20.405120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:20.179805Z","title":null,"venue":null,"work_id":"70c456d9-bfd5-4fff-b15a-c45e2816ede4","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.695211Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:fc8bd2d552fbaac3cb5e0ee0276c03d393f21ff1e6996ddfbe681188b0a77588","observation_id":"04aeca51-a514-49b5-8507-ecdfc018b51f","resolution":{"observed_at":"2026-08-06T18:07:20.271509Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:20.001177Z","title":"Two sides of the same coin: Exploiting the impact of identifiers in neural code comprehension","venue":null,"work_id":"cefdac16-9d6d-4b77-9cbb-98e9f64a097b","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.815343Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:e457c3d5ee03327ff9fd5be512b793e00813a5e283693ca41918cf86dfaa1fef","observation_id":"541679fd-2b52-4583-8b18-dc11272dc13a","resolution":{"observed_at":"2026-08-06T18:07:20.097004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:19.834657Z","title":null,"venue":null,"work_id":"3de8af95-3363-49f3-b04b-227d43a41f5c","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.995913Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:e787ca8e30335da16eb5279280ce637e2492d063bd99188e333c2ac30653b131","observation_id":"9cd2fe48-4ff6-4d97-bfc6-6c234d37a632","resolution":{"observed_at":"2026-08-06T18:07:19.894183Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.03003","last_updated":"2024-06-23T01:24:33Z","snapshot_observed_at":"2026-08-05T00:46:05.356084Z","submitted_at":"2024-01-05T06:51:08Z","title":"AST-T5: Structure-Aware Pretraining for Code Generation and Understanding","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.03003","snapshot_observed_at":"2026-08-06T18:07:09.073668Z","title":"Ast-t5: Structure- aware pretraining for code generation and understanding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.073668Z"},"links":{"cited_paper":"/paper/2401.03003","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:bb0c1d147fff894dc26e1f27015e68d51eb5f8c0d96798713fa0ca24c1c33f9a","observation_id":"1bb36545-051f-46c3-8626-3f115dd663ba","resolution":{"observed_at":"2026-08-06T18:07:09.073668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.01245","last_updated":"2025-04-02T17:29:11Z","snapshot_observed_at":"2026-08-07T17:34:38.379767Z","submitted_at":"2025-03-03T07:17:30Z","title":"Large Language Models for Code Generation: A Comprehensive Survey of Challenges, Techniques, Evaluation, and Applications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.01245","snapshot_observed_at":"2026-08-06T18:07:09.143823Z","title":"Large language models for code genera- tion: A comprehensive survey of challenges, techniques, evaluation, and applications","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.143823Z"},"links":{"cited_paper":"/paper/2503.01245","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:c3b6fb014fe638c58c4238827b0cb18722593aed39ee1bff7b5399abe83838b3","observation_id":"15fb8641-0556-4630-b9e3-bee30b9c21b7","resolution":{"observed_at":"2026-08-06T18:07:09.143823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17502","last_updated":"2025-03-21T19:29:50Z","snapshot_observed_at":"2026-08-07T16:45:03.035772Z","submitted_at":"2025-03-21T19:29:50Z","title":"Large Language Models (LLMs) for Source Code Analysis: applications, models and datasets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.17502","snapshot_observed_at":"2026-08-06T18:07:09.213015Z","title":"Large language models (llms) for source code analysis: applications, models and datasets","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.213015Z"},"links":{"cited_paper":"/paper/2503.17502","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:f358ba38f7b6dd22ba9a9d9a36c74b1b67b79335d3601dc2f9ed440e15952584","observation_id":"d39f1e12-fb07-426f-8f90-128b74e92af2","resolution":{"observed_at":"2026-08-06T18:07:09.213015Z","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-06T18:07:19.577536Z","title":"Causality-aided evaluation and explanation of large language model- based code generation","venue":null,"work_id":"207a4525-a751-4323-93ec-6d7eb2709e31","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.276846Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:36b63372baf6be008dd362ec2cf77f4369c567da5e59bbb555b07fb869d53f04","observation_id":"fa925365-040d-4137-83f0-1cff62748879","resolution":{"observed_at":"2026-08-06T18:07:19.716178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.17833","last_updated":"2024-04-27T08:56:45Z","snapshot_observed_at":"2026-07-06T18:06:24.289614Z","submitted_at":"2024-04-27T08:56:45Z","title":"Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.17833","snapshot_observed_at":"2026-08-06T18:07:09.384550Z","title":"Testing and understanding erroneous planning in llm agents through synthesized user inputs","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.384550Z"},"links":{"cited_paper":"/paper/2404.17833","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:5b4294b4dd79ce246202dcd972091d34532de329c46e56cb4daf757db16f3e2b","observation_id":"3e6b55f1-31c8-4624-9295-e9641bf76ff5","resolution":{"observed_at":"2026-08-06T18:07:09.384550Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06854","last_updated":"2025-06-05T15:48:54Z","snapshot_observed_at":"2026-08-07T05:27:02.467297Z","submitted_at":"2025-02-07T17:23:48Z","title":"Can Large Language Models Understand Intermediate Representations in Compilers?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06854","snapshot_observed_at":"2026-08-06T18:07:09.491778Z","title":"Can large language models understand intermediate representations? arXiv preprint arXiv:2502.06854, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.491778Z"},"links":{"cited_paper":"/paper/2502.06854","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:ed0c5f8466d7bc99e827df5e16a518d71474c96ab848a8b892a0ff992a21c453","observation_id":"a3a90a15-9809-41cc-8e7a-0cad555d4be0","resolution":{"observed_at":"2026-08-06T18:07:09.491778Z","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-06T18:07:09.585266Z","title":"Codecrash: Stress testing llm reasoning under structural and semantic perturbations","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.585266Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:ead0107826c6701ba0339589afbd87e67dc9db7611edea78e4367dbd1e52500e","observation_id":"4ee7b8ce-d645-4885-9f5f-75d8168f942c","resolution":{"observed_at":"2026-08-06T18:07:09.585266Z","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-06T18:07:19.379119Z","title":"Nova: Generative language models for assem- bly code with hierarchical attention and con-trastive learning","venue":null,"work_id":"65bcfab6-0a9a-45e3-96ec-edca845279d1","year":null},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.658147Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:99435ed611d4b5c8268c33374724bb2c363fac4647f535e4b68be60caa82a1cb","observation_id":"14cc1e2a-3c67-4f87-b75f-c2c1844fa52c","resolution":{"observed_at":"2026-08-06T18:07:19.453710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.20799","last_updated":"2025-05-13T11:51:35Z","snapshot_observed_at":"2026-08-07T15:58:12.062224Z","submitted_at":"2025-04-29T14:13:57Z","title":"Hallucination by Code Generation LLMs: Taxonomy, Benchmarks, Mitigation, and Challenges","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.20799","snapshot_observed_at":"2026-08-06T18:07:09.725728Z","title":"Hallucination by code generation llms: Taxonomy, benchmarks, mitigation, and challenges","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.725728Z"},"links":{"cited_paper":"/paper/2504.20799","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:9a8f4b48a05025cc7639779e82cb6e7d948763ef2b4e22749dc7ecf426df380a","observation_id":"73b62a28-ecd5-498b-a597-f2bd8ae68ff2","resolution":{"observed_at":"2026-08-06T18:07:09.725728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11711","last_updated":"2025-05-31T06:47:58Z","snapshot_observed_at":"2026-08-07T16:01:59.092370Z","submitted_at":"2025-04-16T02:17:06Z","title":"The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11711","snapshot_observed_at":"2026-08-06T18:07:09.794875Z","title":"The hitchhiker’s guide to program analysis, part ii: Deep thoughts by llms","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.794875Z"},"links":{"cited_paper":"/paper/2504.11711","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:a1c975959cc67b980c3e845da224afb0bbba6a9ce630697422cbe5918bc4ab32","observation_id":"5c9d1f36-597c-4cd7-824c-e8a46ec163fd","resolution":{"observed_at":"2026-08-06T18:07:09.794875Z","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-06T18:07:09.921996Z","title":"Large language model powered symbolic execution","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.921996Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:b5d6eadd669c995b08c50c58a56cffdc04cf96bd0fe73862af4e03cd4059410a","observation_id":"32cc3ac3-7422-4bdf-9490-8c4792ca02cb","resolution":{"observed_at":"2026-08-06T18:07:09.921996Z","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-06T18:07:19.211346Z","title":"Unleashing the power of compiler intermedi- ate representation to enhance neural program embeddings","venue":null,"work_id":"3e44e3b0-8911-4189-a1a7-77ee53f12d31","year":2022},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:09.988159Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:7e41c26597cbd5ca81f945b14db3570506e69a4e06e2652634d6e54dcc074be6","observation_id":"9660b09d-069a-4772-8b29-3643856e4ece","resolution":{"observed_at":"2026-08-06T18:07:19.316659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01723","last_updated":"2024-01-27T03:37:55Z","snapshot_observed_at":"2026-07-06T17:24:33.169277Z","submitted_at":"2024-01-27T03:37:55Z","title":"An Empirical Study on Large Language Models in Accuracy and Robustness under Chinese Industrial Scenarios","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01723","snapshot_observed_at":"2026-08-06T18:07:10.060883Z","title":"An empirical study on large language models in accuracy and robustness under chinese industrial scenarios","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.060883Z"},"links":{"cited_paper":"/paper/2402.01723","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:5e9ca0f0dfd98b69fde0c8337275a1ef4ecf0802b230075949dfa61540cc051a","observation_id":"66b29daf-739c-4e29-8ce8-5df267627189","resolution":{"observed_at":"2026-08-06T18:07:10.060883Z","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-06T18:07:19.014826Z","title":"On the accuracy and robustness of large language models in chinese industrial scenarios","venue":null,"work_id":"bf937e3d-0d19-4630-a2b3-bde70a0eb2fd","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.147131Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:35413293cbe836647dfca05e4316b90fbd8fe31cbf1cabe0c51f5133ae5f0cd4","observation_id":"501b059a-1325-4c48-bb3e-a5733c595b0a","resolution":{"observed_at":"2026-08-06T18:07:19.081019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:18.825669Z","title":"CCTEST: testing and repairing code completion systems","venue":null,"work_id":"d939479b-803b-47a4-9829-7606a94a6822","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.276575Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:a5392225dc91d7e3ce0e8ea026cf934f5008c7a5ad7309b7fcfec69e4725bcc6","observation_id":"ab7b730c-4f4a-4b7b-941b-d7c785e56d6b","resolution":{"observed_at":"2026-08-06T18:07:18.918926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:18.626940Z","title":"On the feasibility of specialized ability stealing for large language code models","venue":null,"work_id":"162083a5-0fc2-4ae9-9cb0-3073da5605f0","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.401505Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:938a4c7369013ce8b2702cd548b84b444c54a41d0ef6dbd451eda44110ec93af","observation_id":"0ba76af1-9f1f-4886-93ec-b201918b65ab","resolution":{"observed_at":"2026-08-06T18:07:18.694324Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:18.411547Z","title":"Split and merge: Aligning position biases in LLM-based evaluators","venue":null,"work_id":"303e4a46-82d1-4439-80f1-72cf54c71b2f","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.470829Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:34cc599eb76a2dac87675c7b19bfc7c3685a36dd963a0cbd904c5ea22af9d22a","observation_id":"147ba1cb-9a9b-42f9-a2d8-8a00fc85fc46","resolution":{"observed_at":"2026-08-06T18:07:18.499179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:18.204821Z","title":"Protect- ing intellectual property of large language model-based code genera- tion apis via watermarks","venue":null,"work_id":"a706f37e-1042-44a2-a377-b9cc178a0005","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.564795Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:626e918e4af29b23c1677778ad8fc8e4f1e1b0c868078ef9b62d5270d6248b69","observation_id":"5b7d025a-8b9d-4675-87f4-2a8dba3efd76","resolution":{"observed_at":"2026-08-06T18:07:18.316398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.09396","last_updated":"2025-06-11T04:55:00Z","snapshot_observed_at":"2026-08-07T04:46:52.638527Z","submitted_at":"2025-06-11T04:55:00Z","title":"Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models","version":1},"cited_work":{"arxiv_id":"2506.09396","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.09396","snapshot_observed_at":"2026-08-06T18:07:14.102006Z","title":"Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models","venue":"cs.SE","work_id":"f2d403bb-8f59-485a-ba00-268e2b0cb31d","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.663144Z"},"links":{"cited_paper":"/paper/2506.09396","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:f20f3967dfb65c3df0b08c3f835c0f94b37c2c2eaabedb19220559fbbd7826de","observation_id":"72f4ca95-a2d7-4a90-aebc-9e01af932765","resolution":{"observed_at":"2026-08-06T18:07:14.233951Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:18.039467Z","title":"Api-guided dataset synthesis to finetune large code models","venue":null,"work_id":"c8adabd2-18b5-4e4e-bd64-995fd10e4cd0","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.708191Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:22f631fc3634680f8b19eeb0e3df23a06855b9008dfed941d45cd9a2d2fedce9","observation_id":"0411cc28-8326-41e3-bec4-6b7a6b7cd1ed","resolution":{"observed_at":"2026-08-06T18:07:18.110379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:17.884401Z","title":"Differentiation-based extraction of proprietary data from fine-tuned llms","venue":null,"work_id":"94a3af24-c1e7-4808-8930-035b276c509e","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.813885Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:c7719c130d2b3090b473ed1a35f64af73ac69c46865bfa3c3e0e05330cfaea1c","observation_id":"de73bcb5-db04-469f-8398-20aca0a6b727","resolution":{"observed_at":"2026-08-06T18:07:17.947572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:17.680503Z","title":"Large language models can be guided to evade ai-generated text de- tection","venue":null,"work_id":"ceac8efa-84bf-4c15-af80-7142759aa58c","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:10.931157Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:17da0481ebcf101fa1e96069b946c1149fe40285c99f8ded28dcb06ebd6c45dc","observation_id":"84a05e77-43a4-4b0a-8189-3cc5c21f7e00","resolution":{"observed_at":"2026-08-06T18:07:17.770121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:17.503513Z","title":"Safe delta: Consistently preserving safety when fine-tuning LLMs on diverse datasets","venue":null,"work_id":"9500db66-48ce-4dfe-811c-46caeb9f3662","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.005631Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:871d7522d9f677a880be44fc20634cb4b6a61597562dbb5e4d4001d6edee877c","observation_id":"a9301206-087d-46d6-9a74-c7259e675f56","resolution":{"observed_at":"2026-08-06T18:07:17.598808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:17.347708Z","title":"Less is More: Understanding Word-level Textual Adversarial Attack via n-gram Frequency Descend","venue":null,"work_id":"de73d3ee-1c49-4ad5-8e13-272000320718","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.058538Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:045aaabd9c9f709a01f882743eda11d55cb8a5f98e9cb703bee536fbb06ef7a5","observation_id":"d4653e9a-e611-4f20-98d0-80c6c6b872e5","resolution":{"observed_at":"2026-08-06T18:07:17.400528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12138","last_updated":"2026-05-20T13:07:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-05-20T08:43:49Z","title":"Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12138","snapshot_observed_at":"2026-08-06T18:07:11.123799Z","title":"Lms: Understanding code syntax and semantics for code analysis.arXiv preprint arXiv:2305.12138, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.123799Z"},"links":{"cited_paper":"/paper/2305.12138","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:28644f5a1948dab4b180c1221777e56f97afaafc575371af8bd7240f3e1bb3a7","observation_id":"0d4d8d16-4ed9-4e8c-829c-10e3ded44e21","resolution":{"observed_at":"2026-08-06T18:07:11.123799Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.09246","last_updated":"2025-05-08T09:33:40Z","snapshot_observed_at":"2026-08-07T16:06:18.047837Z","submitted_at":"2025-04-12T15:03:00Z","title":"Type-Constrained Code Generation with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.09246","snapshot_observed_at":"2026-08-06T18:07:11.218875Z","title":"Type-constrained code generation with language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.218875Z"},"links":{"cited_paper":"/paper/2504.09246","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:5df43123e7f7d159e48f40f5c5a3adb4e8c2067e7755c4591df524e5b3d75266","observation_id":"82e7c1d0-e73e-4810-87af-10da5c60450f","resolution":{"observed_at":"2026-08-06T18:07:11.218875Z","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-06T18:07:17.208504Z","title":"Static inference meets deep learning: a hybrid type inference approach for python","venue":null,"work_id":"fbf68f92-9b98-458a-a116-6a6aa76c6692","year":2019},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.300791Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:b3c4f3650d6d4b7cde175210ffbd335c7e85b7f067bf7a5e4febbd1616f50555","observation_id":"f826787c-6eb1-4afe-879e-ff11ab15a696","resolution":{"observed_at":"2026-08-06T18:07:17.289536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:07:11.461186Z","title":"Do code llms do static analysis? arXiv preprint arXiv:2505.12118, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.461186Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:aabc8b958548fb02f9cb260797efb36fe0acf66bebb47e4296c991ab75bbc8d1","observation_id":"fc1ef2e8-1c65-42bb-a718-fe4f7160700b","resolution":{"observed_at":"2026-08-06T18:07:11.461186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18917","last_updated":"2025-06-10T22:11:53Z","snapshot_observed_at":"2026-08-03T02:17:55.804921Z","submitted_at":"2025-02-26T08:10:57Z","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.18917","snapshot_observed_at":"2026-08-06T18:07:11.584122Z","title":"Classinvgen: Class invariant synthesis using large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.584122Z"},"links":{"cited_paper":"/paper/2502.18917","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:1b2126933c52653433654c451fa7a8fb0b0bdcb07c2cc13388dfdb9296602f00","observation_id":"74b5a994-2272-4be6-981a-90f4be89d77f","resolution":{"observed_at":"2026-08-06T18:07:11.584122Z","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-06T18:07:17.061472Z","title":"Beyond peft: Layer-wise optimization for more effective and efficient large code model tuning","venue":null,"work_id":"b756a8e9-9284-4f10-b079-2a39dcfd5364","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.705187Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:0ad7a7023d4b6f914e0de3bf580a0143ce8740485231ed3df7cc32648170b11b","observation_id":"8855da01-b176-4d7e-9553-4cd009c9eb16","resolution":{"observed_at":"2026-08-06T18:07:17.150970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.894809Z","title":"A systematic evaluation of large code models in api suggestion: When, which, and how","venue":null,"work_id":"74ca9179-3a28-4924-b05e-dcba51a24d0c","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.806828Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:c8e0df11f1d2e525eaacb020c2d069aa39020a03e296533f60dff6fb776bb21e","observation_id":"36d562b1-aba6-4ddc-aa50-1c032722b738","resolution":{"observed_at":"2026-08-06T18:07:16.967056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.783629Z","title":"Reef: A framework for collecting real-world vulnerabilities and fixes","venue":null,"work_id":"62506034-d314-4c50-be55-83f7f9a976c9","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.906214Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:01fa5bd456e5d3bdb327e971ee60aec277c3ca7950c6f4fe64fcbaf601f68a31","observation_id":"4cd76a1e-a321-4dc6-8e37-b5db6af4359a","resolution":{"observed_at":"2026-08-06T18:07:16.831682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.614734Z","title":"Enriching query semantics for code search with reinforcement learning","venue":null,"work_id":"4b30f908-bce8-401c-bdc2-495dcd4f02ef","year":2022},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:11.964717Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:34892a0d579ac20518b8a094fac075448c2b8ee7e0ac7043bc0ecd4bd8ca8d46","observation_id":"05347eba-95be-491b-808d-9dd930951f47","resolution":{"observed_at":"2026-08-06T18:07:16.693849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.433292Z","title":"Prompt tuning in code intelligence: An experimental evaluation","venue":null,"work_id":"f914dc15-f6a1-4692-9338-dcdc66fb4cb0","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.015951Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:ae9966994d45efd8180b78963d541e57e762b852d366b42f5ab42838d89728f3","observation_id":"4e22568a-807d-434d-85b9-88949287da11","resolution":{"observed_at":"2026-08-06T18:07:16.503488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15179","last_updated":"2025-05-21T06:51:25Z","snapshot_observed_at":"2026-08-07T15:20:34.025566Z","submitted_at":"2025-05-21T06:51:25Z","title":"RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry","version":1},"cited_work":{"arxiv_id":"2505.15179","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.15179","snapshot_observed_at":"2026-08-06T18:07:13.642639Z","title":"RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry","venue":"cs.SE","work_id":"bc16e971-17ba-45e5-9248-a6e716d18b7b","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.070337Z"},"links":{"cited_paper":"/paper/2505.15179","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:b7ec7a203f0dab44c2f07007ce89ad7539a0524af4e3dd6531bb8ec933f51665","observation_id":"05fbfc81-2de1-4897-b095-6659fc05c185","resolution":{"observed_at":"2026-08-06T18:07:13.829091Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.255879Z","title":"Llmdfa: Analyzing dataflow in code with large language models","venue":null,"work_id":"74e7b4e9-8bf6-4726-82ac-07d1fec72c90","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.137295Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:3aa3ab0d3fd620bf708c128e7bbe861daa0643a29529a6d18fba97a5e2d264e8","observation_id":"f155acf1-848c-410e-95ca-2df62dd551bf","resolution":{"observed_at":"2026-08-06T18:07:16.334249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:16.085254Z","title":"Sanitizing large language models in bug detection with data- flow","venue":null,"work_id":"01bcc887-2f73-48e7-a917-5ad50017d703","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.189869Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:695b31b95696ed9afc11f604b041aeafd8f183c6879b2ba531b373cd91580a5a","observation_id":"e59aecd6-d868-442a-907c-d84efb3524cb","resolution":{"observed_at":"2026-08-06T18:07:16.166849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:15.911498Z","title":"sem2vec: Semantics-aware assembly tracelet embedding","venue":null,"work_id":"08318160-c1fa-4b5f-bf9c-2e3a61ae73cb","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.298706Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:ebe0f9289922052ecc9a43f2533559a53b59131d9eff2ae0474886bc52f2b3ee","observation_id":"36e661c1-154b-414d-9ce0-bf21f9297c68","resolution":{"observed_at":"2026-08-06T18:07:15.990057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2405.04994","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:07:13.503556Z","title":"Navrepair: Node-type aware c/c++ code vulnerability repair","venue":null,"work_id":"37fa7736-37fa-4fc5-9ccb-1aa8ba7bbfaf","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.413157Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:086916eec34faf15f49e65afc2df000457098f99e6bfacd104e382d83837047b","observation_id":"7ba10a8f-41dc-445b-a839-932a7d52d0fa","resolution":{"observed_at":"2026-08-06T18:07:13.579493Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:07:12.495792Z","title":"Towards understanding the characteristics of code generation errors made by large language models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.495792Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:c85119a9ec0b90bbc323897c5dc12fcf211c29cd6005d93ccdb9369515a9ebc0","observation_id":"bfe57d35-6010-4412-859f-85efe30fed51","resolution":{"observed_at":"2026-08-06T18:07:12.495792Z","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-06T18:07:15.742259Z","title":"Zhang, and Qing Liao","venue":null,"work_id":"9942b66b-2c48-45fa-b7ca-8e6a1e294351","year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.545166Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:e39a9f24e67f1b318cd3382f234e015d2dcda314de854267e0f4b55092c327f1","observation_id":"68b88d2d-fe9e-44b4-863d-4ec93b53e92a","resolution":{"observed_at":"2026-08-06T18:07:15.846266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15596","last_updated":"2024-04-24T02:16:11Z","snapshot_observed_at":"2026-07-06T18:04:46.468725Z","submitted_at":"2024-04-24T02:16:11Z","title":"VulEval: Towards Repository-Level Evaluation of Software Vulnerability Detection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.15596","snapshot_observed_at":"2026-08-06T18:07:12.611529Z","title":"Vuleval: Towards repository-level evaluation of software vulnerability detection","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.611529Z"},"links":{"cited_paper":"/paper/2404.15596","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:a2db1371db31799750e6aadb5c1c4891d3e7e65f386d74dec1c2a45fb92f23f4","observation_id":"7b120fb6-8323-42b3-93ed-7bfe96e8dce3","resolution":{"observed_at":"2026-08-06T18:07:12.611529Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06530","last_updated":"2023-11-28T19:09:54Z","snapshot_observed_at":"2026-07-06T16:30:25.358715Z","submitted_at":"2023-10-10T11:22:30Z","title":"Refining Decompiled C Code with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06530","snapshot_observed_at":"2026-08-06T18:07:12.671769Z","title":"Refining decompiled c code with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.671769Z"},"links":{"cited_paper":"/paper/2310.06530","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:c1dc7feb2a2310dad8957768a32e822887833304fb3fd2ba2fe027d681e3f783","observation_id":"85a4fb0b-d822-469e-a6ed-68cb5c171ca9","resolution":{"observed_at":"2026-08-06T18:07:12.671769Z","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-06T18:07:15.477782Z","title":"BinAug: Enhancing binary similarity analysis with low-cost input repairing","venue":null,"work_id":"c220e270-c7d5-428e-8688-a6a637b8f622","year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.721348Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:5d631e7540f5f082a89e35abeda210c42dafc75fafac551b50ce2b41d6c4fabf","observation_id":"626ee597-6526-4a41-ac5f-95d3d9a2b845","resolution":{"observed_at":"2026-08-06T18:07:15.625325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T18:07:15.184775Z","title":"Decllm: Llm-augmented recompilable decompilation for enabling programmatic use of decom- piled code","venue":null,"work_id":"57d890c7-cd50-42cf-b225-2269f807d46a","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.811589Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:522b7ec5aae73792d4c906c189dfd70f501aeab210805f9e9c5904f718755cea","observation_id":"e6aefab1-75c1-44c2-9528-05cbc7695647","resolution":{"observed_at":"2026-08-06T18:07:15.322855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-05T03:18:11.955456Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-06T18:07:12.858438Z","title":"Formal mathematical reasoning: A new frontier in ai","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.858438Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:a1ee83c56925e6d6514f5d14606dc8eb4d6f2c6053dcdbf3d0a06fc73a68f0d0","observation_id":"c1cf64ad-5fa3-4ef6-abe6-1dbbc5493176","resolution":{"observed_at":"2026-08-06T18:07:12.858438Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07506","last_updated":"2024-03-12T10:43:26Z","snapshot_observed_at":"2026-07-06T17:43:10.476384Z","submitted_at":"2024-03-12T10:43:26Z","title":"Robustness, Security, Privacy, Explainability, Efficiency, and Usability of Large Language Models for Code","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07506","snapshot_observed_at":"2026-08-06T18:07:12.908631Z","title":"Robustness, security, privacy, explainability, efficiency, and usability of large language models for code","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.908631Z"},"links":{"cited_paper":"/paper/2403.07506","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:36fa03654bda3c8458eab749c00fa379d088c8c15963f63f07f74235f4c41e25","observation_id":"3554da71-64e0-4298-94db-54b9212c0054","resolution":{"observed_at":"2026-08-06T18:07:12.908631Z","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-06T18:07:14.925722Z","title":"Order matters: Semantic-aware neural networks for binary code similarity detection","venue":null,"work_id":"261ac210-f627-4b83-9b8a-7b91701b0c89","year":2020},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:12.976228Z"},"links":{"citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:98fd42871ac42bb1639bba410a3cf90e16e2c1a761c66a8eaee74a4b868e95cb","observation_id":"d213cb82-2dbe-478c-809e-2963fa48d993","resolution":{"observed_at":"2026-08-06T18:07:15.058094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.19282","last_updated":"2025-01-31T16:45:16Z","snapshot_observed_at":"2026-08-05T10:46:57.609710Z","submitted_at":"2025-01-31T16:45:16Z","title":"Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.19282","snapshot_observed_at":"2026-08-06T18:07:13.053523Z","title":"Low-cost and comprehensive non-textual input fuzzing with llm-synthesized input generators","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:13.053523Z"},"links":{"cited_paper":"/paper/2501.19282","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:f8e76fedfac683d1c1f710fb9dc5a4b821ec31a8fb7e2f992342aed238df4fcc","observation_id":"df35b2bc-d5b2-44e2-929d-a44a29a9fa90","resolution":{"observed_at":"2026-08-06T18:07:13.053523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.15246","last_updated":"2025-02-21T06:42:20Z","snapshot_observed_at":"2026-08-07T17:59:37.777209Z","submitted_at":"2025-02-21T06:42:20Z","title":"An approach for API synthesis using large language models","version":1},"cited_work":{"arxiv_id":"2502.15246","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.15246","snapshot_observed_at":"2026-08-06T18:07:13.189969Z","title":"An approach for API synthesis using large language models","venue":"cs.SE","work_id":"dc2620ef-7881-4d8f-b7f8-8d597dbc524d","year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:13.127456Z"},"links":{"cited_paper":"/paper/2502.15246","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:82f27824bca788bdda17732784af0efb630d2c1274fbb2c47f8a9b2ba06655a3","observation_id":"da9794cb-ebf7-43f7-82ac-2e96adba6eb8","resolution":{"observed_at":"2026-08-06T18:07:13.214111Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T18:00:54.759249Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":5,"verified_fuzzy":30},"total_outbound_references":61},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2507.09135."}