{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:K2EHVWRGSHQZSFZG424A2C6W37","short_pith_number":"pith:K2EHVWRG","schema_version":"1.0","canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","source":{"kind":"arxiv","id":"2606.23759","version":1},"attestation_state":"computed","paper":{"title":"VeriPilot: An LLM-Powered Verilog Debugging Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.AR","authors_text":"Cheng Liu, Huawei Li, Jiazheng Zhang, Lei Zhang, Long Cheng, Xiaowei Li, Yihan Wang","submitted_at":"2026-06-22T09:15:40Z","abstract_excerpt":"Verilog debugging remains one of the most time-consuming stages in digital circuit design. Recent advances in Large Language Models (LLMs) have enabled automated debugging; however, most existing approaches rely solely on test outputs and compiler feedback in an end-to-end manner, limiting their effectiveness on complex bugs. A key challenge is that the root cause of an error may be far removed from its observable outputs, making it difficult for LLMs to trace long dependency chains in code. This challenge is further exacerbated in large codebases, where long context lengths hinder efficient r"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.23759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"ab46966dfefb2f26da23ead7ea90d0934749d718ec57535fd137792ebc9ff53d","abstract_canon_sha256":"2853953e31fa5103bfeb4ecbc51d442256338f096418e0f4f0e46f8f2e486a5b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T00:14:25.158462Z","signature_b64":"nJfbZzYM88FT1CwVmYlY1+9VcCratVFjJ0fSofAq4RBAkrkxiBWEZ0oDIjJRYht0QU8TSm3JBfmrqKy0icdfBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","last_reissued_at":"2026-06-24T00:14:25.158050Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T00:14:25.158050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VeriPilot: An LLM-Powered Verilog Debugging Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.AR","authors_text":"Cheng Liu, Huawei Li, Jiazheng Zhang, Lei Zhang, Long Cheng, Xiaowei Li, Yihan Wang","submitted_at":"2026-06-22T09:15:40Z","abstract_excerpt":"Verilog debugging remains one of the most time-consuming stages in digital circuit design. Recent advances in Large Language Models (LLMs) have enabled automated debugging; however, most existing approaches rely solely on test outputs and compiler feedback in an end-to-end manner, limiting their effectiveness on complex bugs. A key challenge is that the root cause of an error may be far removed from its observable outputs, making it difficult for LLMs to trace long dependency chains in code. This challenge is further exacerbated in large codebases, where long context lengths hinder efficient r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23759","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/2606.23759/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.23759","created_at":"2026-06-24T00:14:25.158114+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.23759v1","created_at":"2026-06-24T00:14:25.158114+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23759","created_at":"2026-06-24T00:14:25.158114+00:00"},{"alias_kind":"pith_short_12","alias_value":"K2EHVWRGSHQZ","created_at":"2026-06-24T00:14:25.158114+00:00"},{"alias_kind":"pith_short_16","alias_value":"K2EHVWRGSHQZSFZG","created_at":"2026-06-24T00:14:25.158114+00:00"},{"alias_kind":"pith_short_8","alias_value":"K2EHVWRG","created_at":"2026-06-24T00:14:25.158114+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37","json":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37.json","graph_json":"https://pith.science/api/pith-number/K2EHVWRGSHQZSFZG424A2C6W37/graph.json","events_json":"https://pith.science/api/pith-number/K2EHVWRGSHQZSFZG424A2C6W37/events.json","paper":"https://pith.science/paper/K2EHVWRG"},"agent_actions":{"view_html":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37","download_json":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37.json","view_paper":"https://pith.science/paper/K2EHVWRG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.23759&json=true","fetch_graph":"https://pith.science/api/pith-number/K2EHVWRGSHQZSFZG424A2C6W37/graph.json","fetch_events":"https://pith.science/api/pith-number/K2EHVWRGSHQZSFZG424A2C6W37/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/action/storage_attestation","attest_author":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/action/author_attestation","sign_citation":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/action/citation_signature","submit_replication":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/action/replication_record"}},"created_at":"2026-06-24T00:14:25.158114+00:00","updated_at":"2026-06-24T00:14:25.158114+00:00"}