{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OPNVD2YKAVHCAYTHITG7JNLCVE","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":"ec1b866ce44cb743202d18a0e7571162dfc62d6be3fb32568ddf97ee8b65d7c3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-23T16:38:53Z","title_canon_sha256":"70f349886a3b579a4eb2d142deaf50106e95f3260b0861890a89bd507095abda"},"schema_version":"1.0","source":{"id":"2409.15186","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.15186","created_at":"2026-07-05T09:13:07Z"},{"alias_kind":"arxiv_version","alias_value":"2409.15186v2","created_at":"2026-07-05T09:13:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.15186","created_at":"2026-07-05T09:13:07Z"},{"alias_kind":"pith_short_12","alias_value":"OPNVD2YKAVHC","created_at":"2026-07-05T09:13:07Z"},{"alias_kind":"pith_short_16","alias_value":"OPNVD2YKAVHCAYTH","created_at":"2026-07-05T09:13:07Z"},{"alias_kind":"pith_short_8","alias_value":"OPNVD2YK","created_at":"2026-07-05T09:13:07Z"}],"graph_snapshots":[{"event_id":"sha256:5c2a01cb0830f666ba97ac08bbfc1ceed7a82cbb2b0e6d910a11241d476c7533","target":"graph","created_at":"2026-07-05T09:13:07Z","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/2409.15186/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bug localization in Verilog code is a crucial and time-consuming task during the verification of hardware design. Since introduction, Large Language Models (LLMs) have showed their strong programming capabilities. However, no work has yet considered using LLMs for bug localization in Verilog code. This paper presents Location-is-Key, an opensource LLM solution to locate functional errors in Verilog snippets. LiK achieves high localization accuracy, with a pass@1 localization accuracy of 93.3% on our test dataset based on RTLLM, surpassing GPT-4's 77.9% and comparable to Claude-3.5's 90.8%. Add","authors_text":"Bingkun Yao, Hong Gao, Jie Zhou, Nan Guan, Ning Wang, Xi Wang, Zhe Jiang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-23T16:38:53Z","title":"Location is Key: Leveraging Large Language Model for Functional Bug Localization in Verilog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.15186","kind":"arxiv","version":2},"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:2cb33d19c9eb2dc25b316466507554a73f78f67dc0bcef9d4e768e41354388c7","target":"record","created_at":"2026-07-05T09:13:07Z","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":"ec1b866ce44cb743202d18a0e7571162dfc62d6be3fb32568ddf97ee8b65d7c3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-09-23T16:38:53Z","title_canon_sha256":"70f349886a3b579a4eb2d142deaf50106e95f3260b0861890a89bd507095abda"},"schema_version":"1.0","source":{"id":"2409.15186","kind":"arxiv","version":2}},"canonical_sha256":"73db51eb0a054e20626744cdf4b562a93f520e39f3ae1dc4eb4f4488abe47bf3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73db51eb0a054e20626744cdf4b562a93f520e39f3ae1dc4eb4f4488abe47bf3","first_computed_at":"2026-07-05T09:13:07.958245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:13:07.958245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nit6JSJlQJ27FVwZKpU47DjEAFnenU/nhf/WxyHazOAGGbNklT3ooZJmBP3plJ7SEr2W+xkAfxZTKpRFb34kDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:13:07.958763Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.15186","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2cb33d19c9eb2dc25b316466507554a73f78f67dc0bcef9d4e768e41354388c7","sha256:5c2a01cb0830f666ba97ac08bbfc1ceed7a82cbb2b0e6d910a11241d476c7533"],"state_sha256":"74bf31bf202256da700177b59dc797eb78e871ca06aeb64ac295a103306c5eae"}