{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ELEPNCSNCLBEJT45CZ2C6OAUNG","short_pith_number":"pith:ELEPNCSN","canonical_record":{"source":{"id":"2502.00028","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2025-01-22T08:36:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"42426301fcc6110bb62fbacdf477d49bba5be54905d3bc521c635d5957d82b5f","abstract_canon_sha256":"191a8fe153d9540ad9de2fcf2ee2520b37375cf9ce5412ac7106d60d827ef082"},"schema_version":"1.0"},"canonical_sha256":"22c8f68a4d12c244cf9d16742f38146986329eda5899042f48acecaf6842246e","source":{"kind":"arxiv","id":"2502.00028","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00028","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00028v1","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00028","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_12","alias_value":"ELEPNCSNCLBE","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_16","alias_value":"ELEPNCSNCLBEJT45","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_8","alias_value":"ELEPNCSN","created_at":"2026-07-05T10:08:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ELEPNCSNCLBEJT45CZ2C6OAUNG","target":"record","payload":{"canonical_record":{"source":{"id":"2502.00028","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2025-01-22T08:36:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"42426301fcc6110bb62fbacdf477d49bba5be54905d3bc521c635d5957d82b5f","abstract_canon_sha256":"191a8fe153d9540ad9de2fcf2ee2520b37375cf9ce5412ac7106d60d827ef082"},"schema_version":"1.0"},"canonical_sha256":"22c8f68a4d12c244cf9d16742f38146986329eda5899042f48acecaf6842246e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:08:02.000277Z","signature_b64":"QFjK6nUj1/3nuDMRM+iPVLa1DzXtGk2ORRM/YJyYFHa5Vw7DI01jPHJ1Zkr1eYKvkuwFhZ15/T4YdGfLBiS6AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22c8f68a4d12c244cf9d16742f38146986329eda5899042f48acecaf6842246e","last_reissued_at":"2026-07-05T10:08:01.999600Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:08:01.999600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.00028","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:08:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LdOcK9/v5Hvu/w8WxErp6PFfN0fOy7w7K4Uc0DOMFjAuwVViSqQ+nqkOGaAFnxWTFUHVjPtBDIYwi0Qj/FvACg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:13:32.837817Z"},"content_sha256":"a2fe3f1056ed312e2540c2c57615430dc18ec1a9f6aec3cb65f8df8cbe5c28a0","schema_version":"1.0","event_id":"sha256:a2fe3f1056ed312e2540c2c57615430dc18ec1a9f6aec3cb65f8df8cbe5c28a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ELEPNCSNCLBEJT45CZ2C6OAUNG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Bing Li, Grace Li Zhang, Ing-Chao Lin, Ruidi Qiu, Ulf Schlichtmann, Zhuorui Zhao","submitted_at":"2025-01-22T08:36:29Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated promising capabilities in generating Verilog code from module specifications. To improve the quality of such generated Verilog codes, previous methods require either time-consuming manual inspection or generation of multiple Verilog codes, from which the one with the highest quality is selected with manually designed testbenches. To enhance the generation efficiency while maintaining the quality of the generated codes, we propose VRank, an automatic framework that generates Verilog codes with LLMs. In our framework, multiple code candidates are ge"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00028","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/2502.00028/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:08:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d3b/ShoTwEnucYknDilJ2tYwxVAOPRlLjP82h4oF+bML7DK+GxlxNY9ppRuNjBFEIDn7+LrGzoYgEkXze8DgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T08:13:32.838434Z"},"content_sha256":"d70d4039fc924c6070a10072b85b0e1ec69e7ac37161be26eb33de35e25e0516","schema_version":"1.0","event_id":"sha256:d70d4039fc924c6070a10072b85b0e1ec69e7ac37161be26eb33de35e25e0516"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/bundle.json","state_url":"https://pith.science/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/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-11T08:13:32Z","links":{"resolver":"https://pith.science/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG","bundle":"https://pith.science/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/bundle.json","state":"https://pith.science/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELEPNCSNCLBEJT45CZ2C6OAUNG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ELEPNCSNCLBEJT45CZ2C6OAUNG","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":"191a8fe153d9540ad9de2fcf2ee2520b37375cf9ce5412ac7106d60d827ef082","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2025-01-22T08:36:29Z","title_canon_sha256":"42426301fcc6110bb62fbacdf477d49bba5be54905d3bc521c635d5957d82b5f"},"schema_version":"1.0","source":{"id":"2502.00028","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00028","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00028v1","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00028","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_12","alias_value":"ELEPNCSNCLBE","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_16","alias_value":"ELEPNCSNCLBEJT45","created_at":"2026-07-05T10:08:01Z"},{"alias_kind":"pith_short_8","alias_value":"ELEPNCSN","created_at":"2026-07-05T10:08:01Z"}],"graph_snapshots":[{"event_id":"sha256:d70d4039fc924c6070a10072b85b0e1ec69e7ac37161be26eb33de35e25e0516","target":"graph","created_at":"2026-07-05T10:08:01Z","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/2502.00028/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 module specifications. To improve the quality of such generated Verilog codes, previous methods require either time-consuming manual inspection or generation of multiple Verilog codes, from which the one with the highest quality is selected with manually designed testbenches. To enhance the generation efficiency while maintaining the quality of the generated codes, we propose VRank, an automatic framework that generates Verilog codes with LLMs. In our framework, multiple code candidates are ge","authors_text":"Bing Li, Grace Li Zhang, Ing-Chao Lin, Ruidi Qiu, Ulf Schlichtmann, Zhuorui Zhao","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2025-01-22T08:36:29Z","title":"VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00028","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:a2fe3f1056ed312e2540c2c57615430dc18ec1a9f6aec3cb65f8df8cbe5c28a0","target":"record","created_at":"2026-07-05T10:08:01Z","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":"191a8fe153d9540ad9de2fcf2ee2520b37375cf9ce5412ac7106d60d827ef082","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2025-01-22T08:36:29Z","title_canon_sha256":"42426301fcc6110bb62fbacdf477d49bba5be54905d3bc521c635d5957d82b5f"},"schema_version":"1.0","source":{"id":"2502.00028","kind":"arxiv","version":1}},"canonical_sha256":"22c8f68a4d12c244cf9d16742f38146986329eda5899042f48acecaf6842246e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22c8f68a4d12c244cf9d16742f38146986329eda5899042f48acecaf6842246e","first_computed_at":"2026-07-05T10:08:01.999600Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:08:01.999600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QFjK6nUj1/3nuDMRM+iPVLa1DzXtGk2ORRM/YJyYFHa5Vw7DI01jPHJ1Zkr1eYKvkuwFhZ15/T4YdGfLBiS6AA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:08:02.000277Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.00028","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a2fe3f1056ed312e2540c2c57615430dc18ec1a9f6aec3cb65f8df8cbe5c28a0","sha256:d70d4039fc924c6070a10072b85b0e1ec69e7ac37161be26eb33de35e25e0516"],"state_sha256":"100dc1a1bb8a603e8883f2f89b12259b24ec352e80516c817ade0db98a324125"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MVwGjRr95WyN+9G99rPLtt4oCqobVCTITGm6X8PEn9qKdrMnHlTo9NhnLLenC/OKUojRbLXaeVbmosdi+nuUDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T08:13:32.843394Z","bundle_sha256":"16d57656fbb4efa2cdb6c6b4527ceab155bfb514faf2135b6e531ba273523db9"}}