{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GICFZRUVMJJ2HD77WTVUWZDCY5","short_pith_number":"pith:GICFZRUV","canonical_record":{"source":{"id":"2503.16528","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-18T07:09:39Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ff6fa6d276e3978b8a8d1d1c0972a43cab7603be86eba320d4aaadc4d5663def","abstract_canon_sha256":"d9a6700fcee5ef66ff9ff89aed747d54da954c4ef2fc698e340313d902aa6d41"},"schema_version":"1.0"},"canonical_sha256":"32045cc6956253a38fffb4eb4b6462c77df963c905ff630fd4e5f116211b0761","source":{"kind":"arxiv","id":"2503.16528","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.16528","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"arxiv_version","alias_value":"2503.16528v1","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.16528","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_12","alias_value":"GICFZRUVMJJ2","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_16","alias_value":"GICFZRUVMJJ2HD77","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_8","alias_value":"GICFZRUV","created_at":"2026-07-05T10:36:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GICFZRUVMJJ2HD77WTVUWZDCY5","target":"record","payload":{"canonical_record":{"source":{"id":"2503.16528","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-18T07:09:39Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ff6fa6d276e3978b8a8d1d1c0972a43cab7603be86eba320d4aaadc4d5663def","abstract_canon_sha256":"d9a6700fcee5ef66ff9ff89aed747d54da954c4ef2fc698e340313d902aa6d41"},"schema_version":"1.0"},"canonical_sha256":"32045cc6956253a38fffb4eb4b6462c77df963c905ff630fd4e5f116211b0761","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:36:43.139975Z","signature_b64":"PUAA+Z15Uzb002S/WCW5TLsxd8gKqy2XHK9DZpmQ2g10kVchxrN/lwpusUCOsskowjEeTrIzsEe7XdWKOum5AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32045cc6956253a38fffb4eb4b6462c77df963c905ff630fd4e5f116211b0761","last_reissued_at":"2026-07-05T10:36:43.139465Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:36:43.139465Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.16528","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-05T10:36:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O8UiGL5jOQdVgh5ksF8+T8bq/LNhbPCxImZef93Xt9/hi5xptiLUmONN8VLH1v+OrQONfRyKLCH0spZbq9FNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:29:07.121096Z"},"content_sha256":"f17c4f13258f6a9b142ec92a3d3604ae952368e1a196770dc336f13b9c3ecfeb","schema_version":"1.0","event_id":"sha256:f17c4f13258f6a9b142ec92a3d3604ae952368e1a196770dc336f13b9c3ecfeb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GICFZRUVMJJ2HD77WTVUWZDCY5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HDLCoRe: A Training-Free Framework for Mitigating Hallucinations in LLM-Generated HDL","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Andrei Irimia, Anzhe Cheng, Heng Ping, Nikos Kanakaris, Paul Bogdan, Peiyu Zhang, Shahin Nazarian, Shixuan Li, Shukai Duan, Wei Yang, Xiongye Xiao","submitted_at":"2025-03-18T07:09:39Z","abstract_excerpt":"Recent advances in large language models (LLMs) have demonstrated remarkable capabilities in code generation tasks. However, when applied to hardware description languages (HDL), these models exhibit significant limitations due to data scarcity, resulting in hallucinations and incorrect code generation. To address these challenges, we propose HDLCoRe, a training-free framework that enhances LLMs' HDL generation capabilities through prompt engineering techniques and retrieval-augmented generation (RAG). Our approach consists of two main components: (1) an HDL-aware Chain-of-Thought (CoT) prompt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.16528","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/2503.16528/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-05T10:36:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/vj7Wiy/EHK7LnWKuRwMCmvOWVAon57plGvbBecUBVukLaPPwB6XMkvQmRqVtlODiP0oXLdvWegOejbKBWlTAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T08:29:07.121485Z"},"content_sha256":"03ceaa099709bc15a5c62a57d48772c90806941511bd16a0d78965cbf29ec307","schema_version":"1.0","event_id":"sha256:03ceaa099709bc15a5c62a57d48772c90806941511bd16a0d78965cbf29ec307"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/bundle.json","state_url":"https://pith.science/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/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-07-06T08:29:07Z","links":{"resolver":"https://pith.science/pith/GICFZRUVMJJ2HD77WTVUWZDCY5","bundle":"https://pith.science/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/bundle.json","state":"https://pith.science/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GICFZRUVMJJ2HD77WTVUWZDCY5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GICFZRUVMJJ2HD77WTVUWZDCY5","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":"d9a6700fcee5ef66ff9ff89aed747d54da954c4ef2fc698e340313d902aa6d41","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-18T07:09:39Z","title_canon_sha256":"ff6fa6d276e3978b8a8d1d1c0972a43cab7603be86eba320d4aaadc4d5663def"},"schema_version":"1.0","source":{"id":"2503.16528","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.16528","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"arxiv_version","alias_value":"2503.16528v1","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.16528","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_12","alias_value":"GICFZRUVMJJ2","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_16","alias_value":"GICFZRUVMJJ2HD77","created_at":"2026-07-05T10:36:43Z"},{"alias_kind":"pith_short_8","alias_value":"GICFZRUV","created_at":"2026-07-05T10:36:43Z"}],"graph_snapshots":[{"event_id":"sha256:03ceaa099709bc15a5c62a57d48772c90806941511bd16a0d78965cbf29ec307","target":"graph","created_at":"2026-07-05T10:36:43Z","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/2503.16528/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in large language models (LLMs) have demonstrated remarkable capabilities in code generation tasks. However, when applied to hardware description languages (HDL), these models exhibit significant limitations due to data scarcity, resulting in hallucinations and incorrect code generation. To address these challenges, we propose HDLCoRe, a training-free framework that enhances LLMs' HDL generation capabilities through prompt engineering techniques and retrieval-augmented generation (RAG). Our approach consists of two main components: (1) an HDL-aware Chain-of-Thought (CoT) prompt","authors_text":"Andrei Irimia, Anzhe Cheng, Heng Ping, Nikos Kanakaris, Paul Bogdan, Peiyu Zhang, Shahin Nazarian, Shixuan Li, Shukai Duan, Wei Yang, Xiongye Xiao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-18T07:09:39Z","title":"HDLCoRe: A Training-Free Framework for Mitigating Hallucinations in LLM-Generated HDL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.16528","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:f17c4f13258f6a9b142ec92a3d3604ae952368e1a196770dc336f13b9c3ecfeb","target":"record","created_at":"2026-07-05T10:36:43Z","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":"d9a6700fcee5ef66ff9ff89aed747d54da954c4ef2fc698e340313d902aa6d41","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-03-18T07:09:39Z","title_canon_sha256":"ff6fa6d276e3978b8a8d1d1c0972a43cab7603be86eba320d4aaadc4d5663def"},"schema_version":"1.0","source":{"id":"2503.16528","kind":"arxiv","version":1}},"canonical_sha256":"32045cc6956253a38fffb4eb4b6462c77df963c905ff630fd4e5f116211b0761","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32045cc6956253a38fffb4eb4b6462c77df963c905ff630fd4e5f116211b0761","first_computed_at":"2026-07-05T10:36:43.139465Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:36:43.139465Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PUAA+Z15Uzb002S/WCW5TLsxd8gKqy2XHK9DZpmQ2g10kVchxrN/lwpusUCOsskowjEeTrIzsEe7XdWKOum5AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:36:43.139975Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.16528","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f17c4f13258f6a9b142ec92a3d3604ae952368e1a196770dc336f13b9c3ecfeb","sha256:03ceaa099709bc15a5c62a57d48772c90806941511bd16a0d78965cbf29ec307"],"state_sha256":"32cb2edf4809065190735b2853af5c8114558095166c4284212f1bf535dd9176"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AcOZ2hgS0NWsBMXp9ntxSGiohUdzCcGRpBtJrfpdvkgphEiKUOoZ7ylXmJW7VViK0Pv0Lq/NuVHMERBN0jTmAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T08:29:07.123522Z","bundle_sha256":"d66dc98eb5fdb8f7f60e85bbab1a9f4c08e14a52b7c71dc5143f9b5f742d73bb"}}