{"as_of":"2026-08-10T00:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b55ac8a0a92f07e72b696755609d881217b3fa1785f4b4308ea77066824ebb83","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-09T06:31:02.800959+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-09T19:13:01.389864Z","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:0af31e3e025aeb73e57798b13762e4f4cc99b6503ed7ed49c45ec3f547033e44","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T13:54:36.386290Z","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-09T19:13:01.389864Z","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:4e3413f2158b8d28a2823122ed716f93c1dab19d995b37b318047dea17cfa881","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-09T19:13:01.389864Z","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:e6866d4a887df70ed284fe9fc2f6ec791b8bdec128032da994ef4428a4a4b642","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T23:56:15.048946Z","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-09T19:13:01.389864Z","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:63c07e7fc323de3472f4b0be9f5dba52533c94b275f838ec8d24188c519e2e0a","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-09T19:13:01.389864Z","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:ffb5b15730922723983f5d63d52ff94db54421df1a47a89f86ab40d8b2aced23","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-09T19:13:01.389864Z","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:8d212d2a41dbbdcc837affefef1acabd1a2f0dadce03391327ce779373743049","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-08T11:43:40.196887Z","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-09T19:13:01.389864Z","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:d83d528e28e89b06b9f5385f44836e5cc9155189a8d543541eac9dda0952f3ca","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-09T19:13:01.389864Z","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:12befeb99806159865eae384250fd574c463e4a19bad879b90ea22d7b571ce3c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:dc4ac1911d705284ba117fe9f0102508684a8fa5bd5686888f141aaf3fb46d08","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:2d1b0450a3c1069716740e1faa675261ea9236a46c06ef677a088e86e7870821","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:50cccd29e31308dc7272e7597f38df15136595d7c9407565dc12e091f2998698","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T22:43:22.265349Z","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-09T19:13:01.389864Z","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:7366acfde904ba20c8e457ef02cc0a33f479ef8c07297437180c187f3ff9b44b","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-09T19:13:01.389864Z","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:7e6313b1f045ea65b7f13327bf13b3ea2e316b5c48b30a62b3532fe7620504b9","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-09T19:13:01.389864Z","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:8fb85e79e348e357f448f220f2860b55175475a15eb6f5e0ca7fe2f372353ae2","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-09T19:13:01.389864Z","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:985414bd743edae337ebd85975b0ff404f8f8275668530dd440f82dbc483f9e8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:92d633fd2abbe47a6af2ed8811ca77540f2a1aa2816df496460ea3cc011d6361","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-09T18:06:43.229566Z","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-09T19:13:01.389864Z","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:994733f132b0591bc42eff0c9481ba23af59fc04a9d1e6a22005d5d785c75f86","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-09T19:13:01.389864Z","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:6f1d286fdde911cd6433e3f2ba976c5e5a503875e9375a12cfd1682845c04f29","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-09T19:13:01.389864Z","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:f017266df0ab9a8ce17fa32e614c47bc3470d033892607bbe6b3a2afce4bca1a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T11:11:44.352425Z","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-09T19:13:01.389864Z","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:75c29d6a124402199f4edee414e2ba23668056eed8a74f36449f8ed58c41f5d2","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-09T13:54:05.903527Z","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-09T19:13:01.389864Z","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:d3a615a7d8071e24a961b2cb1ec1b88dda4954f4391cc30fe9194b2e6522c7c4","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-09T19:13:01.389864Z","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:64ce6f961a4c11c312f281100ee14fc665c58c265e59acf9684045d5af3c6790","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-09T19:13:01.389864Z","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:adac259e8b8f8f115d6553e7a0580a778f7f40615dcd322b6758b676973690cb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-09T18:32:21.605789Z","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-09T19:13:01.389864Z","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:7bf4b0cc4ff8b1f1f01ad8b6c37ec523836eed5174255594fe1716768c02928b","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-09T19:13:01.389864Z","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:80aaca43919685b02131c7720e03e90e9022bea2e32e7447f0a6f4a7cfcb6c6d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:04e27122b6a052a0c0762f885d983692975f15eaacd833cc37d1d39c2531809d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:8fabc2d86c46053ac1333ba331e822b32bb4bbba190f1cfbe6bb311e1e7c0fd2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:7b6b3b7d83f973d48b60c2e0cb0c891bb54d618f9c7d0bcc6a98513ae82d7642","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:3b4dcd308a8321d57d2091e6c5e6913a25cf87792435cf7316762352f30ca37d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T20:08:36.181165Z","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-09T19:13:01.389864Z","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:aecf677143a70c8903454cdcad31eac9941e81f2e11b3eab3fc71fd87c9a8b82","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:adabb82e9c741061d2e733c380b48c59d1ddc012e9ffe828f5dc5326a72d5f42","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:37d8b27870f96fdc1c594e3c5eb36a7d162648a6d9cdbc41d67316aa3cd47bec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:3ae812873b80f0b7a365803dcb51825ad98d44f04951e88e4bdf947da8fdf252","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:be0d0d9467f0e3ad9cf1a2b3d2993d03284892b66b175a06f66a1c74181bc0ed","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:a90336169cae463e721c733124a0c21952ef9fe1a8378ca264f6e20ac7b67d5e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:44ad38944129d9ea8d79e189957ed10e0e5eb31189b59c0ff72f688de824e6ba","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-09T19:13:01.389864Z","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:57350a00f7ee2fe19e5461706d8a54d23be40e9d3017fa549bf2298807d11375","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-09T19:13:01.389864Z","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:98e6046d63160316d1f7d5e01c133e67c4a9417e83d1b894b36ec4cae5e0ae6e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:af76ee33627c6c952ac50521310ed398264a494bb9ba0e6e363ebcebca54b316","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-09T19:13:01.389864Z","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:821ddaa102c7eb92036c645993b5dc0ac3cca6db6dc5959c5c5d5e81fcc62bd4","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-09T19:13:01.389864Z","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:393cf7a73b4224d421c80e887b638e825ec0ec9d8546e7e617187beb7bf3ca1f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:a04f9dce9dc90506fcb30ea2483289d6d612750997eb649e890cd9760022472e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:ef11be06b6626cb352707ee1d3ae2f87148ba58df2d9480ebee217fee7f88990","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:79a3e8eeffef2b9a896fb164bc7a5417d10fdc65f4cf2b266a53a6d22b90f882","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:6add0aea79f78d4f17c37ef06c61cfcaa4e2dab72f27b1ff425d129a86e9cc7a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T20:00:54.019511Z","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-09T19:13:01.389864Z","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:f2ba05168a98190908fb93321da0f5f8b02ee8d56cd3e4420a6f6a32b8fb5e18","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:5757af43c8fa0bb226127586c4b2ee7efca80acf222987b850f1cb7e787edcce","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:01288a123f437c45bd8485281c872183e08319e35bba87676eeca2c23ebcc8c5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:6818b121b1c3163636097acb15bd727ad71872b8f5fd54c1df37a087172739bb","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:42740840894244e9ead659ee38ffce6d8083e3d2079261484432d5bad7a80e6a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:0a180c7a99aaa1bb23ab5645d56c3e3b567caf995ff7069600e7f903c42c44f3","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-09T19:13:01.389864Z","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:c8c248655f96b772a11fe74b861768538a48095c59f2264958535a55ab6d8907","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-09T18:01:44.189310Z","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-09T19:13:01.389864Z","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:6ff4a493d4016867e8618c47d1dc13df0374252e35a383a7609f7ab07cb15954","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-09T19:13:01.389864Z","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:39228ef2e8605a808a4cc788bc35196507a1103950c9e9f696875ebeb8d05a09","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-09T19:13:01.389864Z","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:4dd4e2348bf78fcdb06f4b14e8e5770a5bd95f4a36bf399db1aa9e70f1f1e9c5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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:53f0c7bef4ae120beaec7fa65abe964bca70a37d0c11bf4ad4812ff7af62a6c5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T19:38:30.741786Z","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-09T19:13:01.389864Z","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:47e49bd91124b4e1248178bc670d7b68725913ff279bdfb36e11f6a296033f04","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-08-09T00:49:03.226961Z","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-09T19:13:01.389864Z","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:bd669a3148c700823697710468771d127b434fa81eb5f1f8e55a2438deb28140","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-09T19:13:01.389864Z","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:72e441c3e48aad0da287a2deee6de546d8e464ff70862338f2471a32646c666e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T20:40:02.856954Z","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-09T19:13:01.389864Z","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:8fc550ce631102b2330537cbc11c0dcb611c794f0f7fa988063da5855a17a006","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-09T19:13:01.389864Z","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:d2c1cb64212edc0911841f03511cf7aba0888a42f77ce8bfb593e15e6c1caf13","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T19:13:01.389864Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2507.09135."}