{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6YKENBEGVHHMMTT6UX3NFNHPQK","short_pith_number":"pith:6YKENBEG","canonical_record":{"source":{"id":"2507.09135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-12T04:32:15Z","cross_cats_sorted":[],"title_canon_sha256":"dc80524f82eafa85885437f17a2a77413a1404e74be5a528f1267f7ae30cb9af","abstract_canon_sha256":"14428cb839aae7473de8aeb1542be17ac4d66f14898419aa8ee70b1fe131ee52"},"schema_version":"1.0"},"canonical_sha256":"f614468486a9cec64e7ea5f6d2b4ef82bcf2fbf2182b93156b0104437345cd99","source":{"kind":"arxiv","id":"2507.09135","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.09135","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"arxiv_version","alias_value":"2507.09135v1","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.09135","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_12","alias_value":"6YKENBEGVHHM","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_16","alias_value":"6YKENBEGVHHMMTT6","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_8","alias_value":"6YKENBEG","created_at":"2026-07-05T11:36:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6YKENBEGVHHMMTT6UX3NFNHPQK","target":"record","payload":{"canonical_record":{"source":{"id":"2507.09135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-12T04:32:15Z","cross_cats_sorted":[],"title_canon_sha256":"dc80524f82eafa85885437f17a2a77413a1404e74be5a528f1267f7ae30cb9af","abstract_canon_sha256":"14428cb839aae7473de8aeb1542be17ac4d66f14898419aa8ee70b1fe131ee52"},"schema_version":"1.0"},"canonical_sha256":"f614468486a9cec64e7ea5f6d2b4ef82bcf2fbf2182b93156b0104437345cd99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:36:04.243645Z","signature_b64":"l5JMHR/XN1SjIrSQyfPjRH4otpHkYZ0Y83U1CMYJ/hnbQWZN29nrpE9JbcF8zYqKVvsNYzm/8mHNDfOXMQikCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f614468486a9cec64e7ea5f6d2b4ef82bcf2fbf2182b93156b0104437345cd99","last_reissued_at":"2026-07-05T11:36:04.243167Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:36:04.243167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.09135","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:36:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZYU2j8TYYOWOdmvHnN2cAkYMDnuOBTQ6gTBrvErlcfAwx1g9/XM2xiFtcbsLHuozFqtGrpBOqJZ+XWLoNpC7AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:47:50.547298Z"},"content_sha256":"531bc149526a990629f3afba8bd00670533351b98de93688ff51d914a150e3be","schema_version":"1.0","event_id":"sha256:531bc149526a990629f3afba8bd00670533351b98de93688ff51d914a150e3be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6YKENBEGVHHMMTT6UX3NFNHPQK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chaozheng Wang, Huaijin Wang, Yalong Du","submitted_at":"2025-07-12T04:32:15Z","abstract_excerpt":"Large Language Models have demonstrated remarkable capabilities in automated code generation, yet their statistical nature and black-box characteristics create significant semantic gaps manifested through syntax errors, semantic hallucinations, and reliability concerns. This position paper argues that principled integration of Programming Language (PL) techniques is essential for bridging these gaps. Through structured program representations, formal correctness guarantees, and robust verification mechanisms, PL techniques can elevate LLM-generated code from statistical pattern matching to tru"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.09135","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.09135/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:36:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XILiL3naSGSTJkZheBtl4O/cZbBA40oumw0YSkvoll4+PbZGJoiatFg1DhM/CbvSPfuYCqHRSJZFmaKEbCFrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:47:50.547997Z"},"content_sha256":"060140cdea55ad935892a877314484e0e30e46773c7df5ad7fa964eb42278ddf","schema_version":"1.0","event_id":"sha256:060140cdea55ad935892a877314484e0e30e46773c7df5ad7fa964eb42278ddf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/bundle.json","state_url":"https://pith.science/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T15:47:50Z","links":{"resolver":"https://pith.science/pith/6YKENBEGVHHMMTT6UX3NFNHPQK","bundle":"https://pith.science/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/bundle.json","state":"https://pith.science/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6YKENBEGVHHMMTT6UX3NFNHPQK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6YKENBEGVHHMMTT6UX3NFNHPQK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"14428cb839aae7473de8aeb1542be17ac4d66f14898419aa8ee70b1fe131ee52","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-12T04:32:15Z","title_canon_sha256":"dc80524f82eafa85885437f17a2a77413a1404e74be5a528f1267f7ae30cb9af"},"schema_version":"1.0","source":{"id":"2507.09135","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.09135","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"arxiv_version","alias_value":"2507.09135v1","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.09135","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_12","alias_value":"6YKENBEGVHHM","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_16","alias_value":"6YKENBEGVHHMMTT6","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_8","alias_value":"6YKENBEG","created_at":"2026-07-05T11:36:04Z"}],"graph_snapshots":[{"event_id":"sha256:060140cdea55ad935892a877314484e0e30e46773c7df5ad7fa964eb42278ddf","target":"graph","created_at":"2026-07-05T11:36:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.09135/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models have demonstrated remarkable capabilities in automated code generation, yet their statistical nature and black-box characteristics create significant semantic gaps manifested through syntax errors, semantic hallucinations, and reliability concerns. This position paper argues that principled integration of Programming Language (PL) techniques is essential for bridging these gaps. Through structured program representations, formal correctness guarantees, and robust verification mechanisms, PL techniques can elevate LLM-generated code from statistical pattern matching to tru","authors_text":"Chaozheng Wang, Huaijin Wang, Yalong Du","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.09135","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:531bc149526a990629f3afba8bd00670533351b98de93688ff51d914a150e3be","target":"record","created_at":"2026-07-05T11:36:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"14428cb839aae7473de8aeb1542be17ac4d66f14898419aa8ee70b1fe131ee52","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-12T04:32:15Z","title_canon_sha256":"dc80524f82eafa85885437f17a2a77413a1404e74be5a528f1267f7ae30cb9af"},"schema_version":"1.0","source":{"id":"2507.09135","kind":"arxiv","version":1}},"canonical_sha256":"f614468486a9cec64e7ea5f6d2b4ef82bcf2fbf2182b93156b0104437345cd99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f614468486a9cec64e7ea5f6d2b4ef82bcf2fbf2182b93156b0104437345cd99","first_computed_at":"2026-07-05T11:36:04.243167Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:36:04.243167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l5JMHR/XN1SjIrSQyfPjRH4otpHkYZ0Y83U1CMYJ/hnbQWZN29nrpE9JbcF8zYqKVvsNYzm/8mHNDfOXMQikCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:36:04.243645Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.09135","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:531bc149526a990629f3afba8bd00670533351b98de93688ff51d914a150e3be","sha256:060140cdea55ad935892a877314484e0e30e46773c7df5ad7fa964eb42278ddf"],"state_sha256":"dd0ea473dc7cd89b0a3b649873be05d313eb48511acb442600c265f54e8a4886"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wx7yMBwX3AGY24FlxdOBDGeP5w+sAmpXhMHSy9qjdxkiu8NPsVS9JH6o7vsUMImwHbaMtj3xPUQqnPIm+UFvBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T15:47:50.576175Z","bundle_sha256":"d5542df6f72004d08932fe0b87503961146d8bec9fae229b7ab1537f221e1b69"}}