{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","short_pith_number":"pith:7WMMQNWI","schema_version":"1.0","canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","source":{"kind":"arxiv","id":"2607.24854","version":1},"attestation_state":"computed","paper":{"title":"VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Bing Li, Ulf Schlichtmann, Yu Li, Zheyu Yan, Zhuorui Zhao","submitted_at":"2026-07-25T22:57:05Z","abstract_excerpt":"Large language models (LLMs) have demonstrated promising capabilities in generating Verilog code from natural language specifications. However, human-written specifications often contain semantic imperfections such as vagueness, contradictions, and incompleteness, which can significantly degrade the quality of hardware design generated by LLMs. In this paper, we present the first systematic study of imperfect specifications and propose an automated framework {VClare} to repair them to enhance the quality of resulting Verilog design. The proposed framework explores two complementary repair para"},"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":"2607.24854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-25T22:57:05Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"586c2a1e5196f98b1aca836126e3255a37e653d459186f913e16849522114d37","abstract_canon_sha256":"21e99ab04e89df4cbaabb5cd0041bfad8f8839c7e73b6290ab734756626c8cea"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-29T00:24:47.999802Z","signature_b64":"GtOJ3pSsydCenS9N8LU8pF6AuipTwKkUDswa/JQtPGN/eNLrbWBCgNeCmh8dgHE4pt13IGnfFi5QnS74DS02CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","last_reissued_at":"2026-07-29T00:24:47.998917Z","signature_status":"signed_v1","first_computed_at":"2026-07-29T00:24:47.998917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Bing Li, Ulf Schlichtmann, Yu Li, Zheyu Yan, Zhuorui Zhao","submitted_at":"2026-07-25T22:57:05Z","abstract_excerpt":"Large language models (LLMs) have demonstrated promising capabilities in generating Verilog code from natural language specifications. However, human-written specifications often contain semantic imperfections such as vagueness, contradictions, and incompleteness, which can significantly degrade the quality of hardware design generated by LLMs. In this paper, we present the first systematic study of imperfect specifications and propose an automated framework {VClare} to repair them to enhance the quality of resulting Verilog design. The proposed framework explores two complementary repair para"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24854","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/2607.24854/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":"2607.24854","created_at":"2026-07-29T00:24:47.999377+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.24854v1","created_at":"2026-07-29T00:24:47.999377+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24854","created_at":"2026-07-29T00:24:47.999377+00:00"},{"alias_kind":"pith_short_12","alias_value":"7WMMQNWIT4LS","created_at":"2026-07-29T00:24:47.999377+00:00"},{"alias_kind":"pith_short_16","alias_value":"7WMMQNWIT4LSHK5M","created_at":"2026-07-29T00:24:47.999377+00:00"},{"alias_kind":"pith_short_8","alias_value":"7WMMQNWI","created_at":"2026-07-29T00:24:47.999377+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/7WMMQNWIT4LSHK5MLGFDG33ZOD","json":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD.json","graph_json":"https://pith.science/api/pith-number/7WMMQNWIT4LSHK5MLGFDG33ZOD/graph.json","events_json":"https://pith.science/api/pith-number/7WMMQNWIT4LSHK5MLGFDG33ZOD/events.json","paper":"https://pith.science/paper/7WMMQNWI"},"agent_actions":{"view_html":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD","download_json":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD.json","view_paper":"https://pith.science/paper/7WMMQNWI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.24854&json=true","fetch_graph":"https://pith.science/api/pith-number/7WMMQNWIT4LSHK5MLGFDG33ZOD/graph.json","fetch_events":"https://pith.science/api/pith-number/7WMMQNWIT4LSHK5MLGFDG33ZOD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/action/storage_attestation","attest_author":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/action/author_attestation","sign_citation":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/action/citation_signature","submit_replication":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/action/replication_record"}},"created_at":"2026-07-29T00:24:47.999377+00:00","updated_at":"2026-07-29T00:24:47.999377+00:00"}