{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3XL5JS5E7HVML4K7VTSBRWYT66","short_pith_number":"pith:3XL5JS5E","canonical_record":{"source":{"id":"2504.19099","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-27T04:09:48Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"36ed931153978129f2e39c12a839aa1d68a3eceee8a1fa1bc47704717b079ce6","abstract_canon_sha256":"2dc7c80a93e039d21e02a8976db44a7ca5a974488c43d107b411251a17e98280"},"schema_version":"1.0"},"canonical_sha256":"ddd7d4cba4f9eac5f15face418db13f79a2b8956d0b649b6f51190b495411beb","source":{"kind":"arxiv","id":"2504.19099","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3XL5JS5E7HVML4K7VTSBRWYT66","target":"record","payload":{"canonical_record":{"source":{"id":"2504.19099","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-27T04:09:48Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"36ed931153978129f2e39c12a839aa1d68a3eceee8a1fa1bc47704717b079ce6","abstract_canon_sha256":"2dc7c80a93e039d21e02a8976db44a7ca5a974488c43d107b411251a17e98280"},"schema_version":"1.0"},"canonical_sha256":"ddd7d4cba4f9eac5f15face418db13f79a2b8956d0b649b6f51190b495411beb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:54:52.016547Z","signature_b64":"NXORPF2eWiITMGi5TfG1sKYb93pWSLAgljvH9WakRa+JokJVL46Gd3+z/HbBMsXDhvaEqxolUvnL88gwsPnIBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ddd7d4cba4f9eac5f15face418db13f79a2b8956d0b649b6f51190b495411beb","last_reissued_at":"2026-07-05T10:54:52.016063Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:54:52.016063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.19099","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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"58raOGuMkD6L268EPUKHa4OqxELt+SzBbwWHSjZXe2X83ET4vyo/i5v7l1P1WhPWz1KMqq1+xJ7KPEMZqxgwBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:25:15.711511Z"},"content_sha256":"cf094a146b3d5267a84d4c3543c608bcbbbdd88c7f34e2ca29a4822b381a9b48","schema_version":"1.0","event_id":"sha256:cf094a146b3d5267a84d4c3543c608bcbbbdd88c7f34e2ca29a4822b381a9b48"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3XL5JS5E7HVML4K7VTSBRWYT66","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.AR"],"primary_cat":"cs.SE","authors_text":"Bingkun Yao, Jie Zhou, Nan Guan, Ning Wang, Xi Wang, Yuchen Hu, Zhe Jiang","submitted_at":"2025-04-27T04:09:48Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.19099","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/2504.19099/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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"duJZDo0S6VHVzf/GQYIzA8LngyUWGPYOmop4K37yz91w+r6i3Ekaqy9Px1niLNA6AWrY0PJZf5RgbeZqDCIYCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T06:25:15.712397Z"},"content_sha256":"bafa3f338aedc5fd2abbd8a30f38a8acaaf78e5665a6da583f2c271c272d4c15","schema_version":"1.0","event_id":"sha256:bafa3f338aedc5fd2abbd8a30f38a8acaaf78e5665a6da583f2c271c272d4c15"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3XL5JS5E7HVML4K7VTSBRWYT66/bundle.json","state_url":"https://pith.science/pith/3XL5JS5E7HVML4K7VTSBRWYT66/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3XL5JS5E7HVML4K7VTSBRWYT66/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-08T06:25:15Z","links":{"resolver":"https://pith.science/pith/3XL5JS5E7HVML4K7VTSBRWYT66","bundle":"https://pith.science/pith/3XL5JS5E7HVML4K7VTSBRWYT66/bundle.json","state":"https://pith.science/pith/3XL5JS5E7HVML4K7VTSBRWYT66/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3XL5JS5E7HVML4K7VTSBRWYT66/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"twxwbV4N2yoZG6BohCVvBd6R61tyeJXRQbgzhewzWe6/Y7lXykigJ0Yh6wOmTqpfXJgFaEAbrfHaJSPOuGuIBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T06:25:15.716561Z","bundle_sha256":"a011586e9423da38c0c21bb165fdf4a693a3b2dee15de7da17eadb74f818e94f"}}