{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","short_pith_number":"pith:7WMMQNWI","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"},"canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","source":{"kind":"arxiv","id":"2607.24854","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24854","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24854v1","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24854","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_12","alias_value":"7WMMQNWIT4LS","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_16","alias_value":"7WMMQNWIT4LSHK5M","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_8","alias_value":"7WMMQNWI","created_at":"2026-07-29T00:24:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","target":"record","payload":{"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"},"canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","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"},"source_kind":"arxiv","source_id":"2607.24854","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-29T00:24:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dnk4/hwpoVkmRDZolqJffR7O+F2A2CwG/v7hUh26k0Qtvc8UmLIibXvOGCMA1YtBMOfZXSM9EqRar52bKq7yBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T09:54:35.039044Z"},"content_sha256":"27fc889b90ac99ced55cbf7a9d8991ed6902db2f34ea30b96d7a12343350b566","schema_version":"1.0","event_id":"sha256:27fc889b90ac99ced55cbf7a9d8991ed6902db2f34ea30b96d7a12343350b566"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","target":"graph","payload":{"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"},"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-29T00:24:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z9VbkaOjHcFG96oysLocpMZuLvr05uJ5LQJfy48xIF3Nrn/Tmwt52FgH5F9CE/f8ecmiqezv9cfUqL4rV43lCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T09:54:35.039547Z"},"content_sha256":"bb6be05c75f92b0fd187599217c31998c8ce329d1593f95b2ae28c6ec6d193f2","schema_version":"1.0","event_id":"sha256:bb6be05c75f92b0fd187599217c31998c8ce329d1593f95b2ae28c6ec6d193f2"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s00766-021-00367-z) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Empirical research on requirements quality: a systematic mapping study. Requirements Engineering27, 2 (June 2022), 183–209. doi:10.1007/s00766-021- 00367-z","arxiv_id":"2607.24854","detector":"doi_compliance","evidence":{"ref_index":2022,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/s00766-021-","reconstructed_doi":"10.1007/s00766-021-00367-z"},"severity":"advisory","ref_index":2022,"audited_at":"2026-07-30T23:41:40.871867Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/s00766-021-00367-z","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"999b1318d8bf017b38cad536139ef0fe260aa8f4040a125e101646cc102c55ec","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":14134,"payload_sha256":"6fd4cb822a5b61e3b7712c80ff07571c087f1582125a3338f746ec83240a6617","signature_b64":null,"signing_key_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-30T23:46:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iED/AWOkHHIc3ChIjHdp07GHj44a+3ThHtTz2ORoj27rweXwurwXlgtXG2PAQUAChVnhXEeO6AKz3mHYpR+QAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T09:54:35.042066Z"},"content_sha256":"204f34ad8107f9daae08f6d9dc00c7bfc38f08c0ff36c57dbc2bf569396467ea","schema_version":"1.0","event_id":"sha256:204f34ad8107f9daae08f6d9dc00c7bfc38f08c0ff36c57dbc2bf569396467ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/bundle.json","state_url":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/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-04T09:54:35Z","links":{"resolver":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD","bundle":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/bundle.json","state":"https://pith.science/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WMMQNWIT4LSHK5MLGFDG33ZOD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7WMMQNWIT4LSHK5MLGFDG33ZOD","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"21e99ab04e89df4cbaabb5cd0041bfad8f8839c7e73b6290ab734756626c8cea","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-25T22:57:05Z","title_canon_sha256":"586c2a1e5196f98b1aca836126e3255a37e653d459186f913e16849522114d37"},"schema_version":"1.0","source":{"id":"2607.24854","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24854","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24854v1","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24854","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_12","alias_value":"7WMMQNWIT4LS","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_16","alias_value":"7WMMQNWIT4LSHK5M","created_at":"2026-07-29T00:24:47Z"},{"alias_kind":"pith_short_8","alias_value":"7WMMQNWI","created_at":"2026-07-29T00:24:47Z"}],"graph_snapshots":[{"event_id":"sha256:bb6be05c75f92b0fd187599217c31998c8ce329d1593f95b2ae28c6ec6d193f2","target":"graph","created_at":"2026-07-29T00:24:47Z","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/2607.24854/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Bing Li, Ulf Schlichtmann, Yu Li, Zheyu Yan, Zhuorui Zhao","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-25T22:57:05Z","title":"VClare: Resolving Imperfect Specifications in LLM-Based Verilog Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24854","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:27fc889b90ac99ced55cbf7a9d8991ed6902db2f34ea30b96d7a12343350b566","target":"record","created_at":"2026-07-29T00:24:47Z","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":"21e99ab04e89df4cbaabb5cd0041bfad8f8839c7e73b6290ab734756626c8cea","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-07-25T22:57:05Z","title_canon_sha256":"586c2a1e5196f98b1aca836126e3255a37e653d459186f913e16849522114d37"},"schema_version":"1.0","source":{"id":"2607.24854","kind":"arxiv","version":1}},"canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd98c836c89f1723abac598a336f7970db22b66ad4d4051858739073d84bedb7","first_computed_at":"2026-07-29T00:24:47.998917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-29T00:24:47.998917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GtOJ3pSsydCenS9N8LU8pF6AuipTwKkUDswa/JQtPGN/eNLrbWBCgNeCmh8dgHE4pt13IGnfFi5QnS74DS02CQ==","signature_status":"signed_v1","signed_at":"2026-07-29T00:24:47.999802Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.24854","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27fc889b90ac99ced55cbf7a9d8991ed6902db2f34ea30b96d7a12343350b566","sha256:bb6be05c75f92b0fd187599217c31998c8ce329d1593f95b2ae28c6ec6d193f2","sha256:204f34ad8107f9daae08f6d9dc00c7bfc38f08c0ff36c57dbc2bf569396467ea"],"state_sha256":"9a09a46411a3435f1874e7ba1dc9c791e390169b2f0d2667f56127868c893dba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RD7NT/5d6q8p22TJe94PTEjizcVTdQM+xGgAcnfdyrCmEtzNW02/9JPmsZ197FNPfCbgG/9G37A+46Vu5wn1CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T09:54:35.044309Z","bundle_sha256":"84449d326c5f4f61d125593abb6d85654ad92ba276041dd160319988d24449c2"}}