{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3XL5JS5E7HVML4K7VTSBRWYT66","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":"2dc7c80a93e039d21e02a8976db44a7ca5a974488c43d107b411251a17e98280","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-27T04:09:48Z","title_canon_sha256":"36ed931153978129f2e39c12a839aa1d68a3eceee8a1fa1bc47704717b079ce6"},"schema_version":"1.0","source":{"id":"2504.19099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.19099","created_at":"2026-07-05T10:54:52Z"},{"alias_kind":"arxiv_version","alias_value":"2504.19099v1","created_at":"2026-07-05T10:54:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.19099","created_at":"2026-07-05T10:54:52Z"},{"alias_kind":"pith_short_12","alias_value":"3XL5JS5E7HVM","created_at":"2026-07-05T10:54:52Z"},{"alias_kind":"pith_short_16","alias_value":"3XL5JS5E7HVML4K7","created_at":"2026-07-05T10:54:52Z"},{"alias_kind":"pith_short_8","alias_value":"3XL5JS5E","created_at":"2026-07-05T10:54:52Z"}],"graph_snapshots":[{"event_id":"sha256:bafa3f338aedc5fd2abbd8a30f38a8acaaf78e5665a6da583f2c271c272d4c15","target":"graph","created_at":"2026-07-05T10:54:52Z","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/2504.19099/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have demonstrated remarkable potential in debugging for various programming languages. However, the application of LLMs to Verilog debugging remains insufficiently explored. Here, we present VeriDebug, an approach that integrates contrastive representation and guided correction capabilities for automated Verilog debugging. Unlike existing methods, VeriDebug employs an embedding-based technique to accurately retrieve internal information, followed by bug-fixing. VeriDebug unifies Verilog bug detection and correction through a shared parameter space. By simultaneousl","authors_text":"Bingkun Yao, Jie Zhou, Nan Guan, Ning Wang, Xi Wang, Yuchen Hu, Zhe Jiang","cross_cats":["cs.AI","cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-27T04:09:48Z","title":"VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.19099","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:cf094a146b3d5267a84d4c3543c608bcbbbdd88c7f34e2ca29a4822b381a9b48","target":"record","created_at":"2026-07-05T10:54:52Z","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":"2dc7c80a93e039d21e02a8976db44a7ca5a974488c43d107b411251a17e98280","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-27T04:09:48Z","title_canon_sha256":"36ed931153978129f2e39c12a839aa1d68a3eceee8a1fa1bc47704717b079ce6"},"schema_version":"1.0","source":{"id":"2504.19099","kind":"arxiv","version":1}},"canonical_sha256":"ddd7d4cba4f9eac5f15face418db13f79a2b8956d0b649b6f51190b495411beb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ddd7d4cba4f9eac5f15face418db13f79a2b8956d0b649b6f51190b495411beb","first_computed_at":"2026-07-05T10:54:52.016063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:54:52.016063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NXORPF2eWiITMGi5TfG1sKYb93pWSLAgljvH9WakRa+JokJVL46Gd3+z/HbBMsXDhvaEqxolUvnL88gwsPnIBg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:54:52.016547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.19099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf094a146b3d5267a84d4c3543c608bcbbbdd88c7f34e2ca29a4822b381a9b48","sha256:bafa3f338aedc5fd2abbd8a30f38a8acaaf78e5665a6da583f2c271c272d4c15"],"state_sha256":"31ce71bd4853b51ef663e0cdfea756f2b277bc17ece692cc1d6d40610d1519f6"}