{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RT5GEM3CYSUDQTDAOHOV73CNUA","short_pith_number":"pith:RT5GEM3C","canonical_record":{"source":{"id":"2508.13156","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-26T13:32:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6dd0da2609952c08118ecb3bd090c7a9c4d7eafd39d06817ed8982240db47166","abstract_canon_sha256":"7ec06c270ca14976ed563273b441841544e9b6a0bdfbfeb16eca16662ff71c64"},"schema_version":"1.0"},"canonical_sha256":"8cfa623362c4a8384c6071dd5fec4da008145dd5054e51159f8e1e64c382b955","source":{"kind":"arxiv","id":"2508.13156","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13156","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13156v1","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13156","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_12","alias_value":"RT5GEM3CYSUD","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_16","alias_value":"RT5GEM3CYSUDQTDA","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_8","alias_value":"RT5GEM3C","created_at":"2026-07-05T11:55:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RT5GEM3CYSUDQTDAOHOV73CNUA","target":"record","payload":{"canonical_record":{"source":{"id":"2508.13156","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-26T13:32:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6dd0da2609952c08118ecb3bd090c7a9c4d7eafd39d06817ed8982240db47166","abstract_canon_sha256":"7ec06c270ca14976ed563273b441841544e9b6a0bdfbfeb16eca16662ff71c64"},"schema_version":"1.0"},"canonical_sha256":"8cfa623362c4a8384c6071dd5fec4da008145dd5054e51159f8e1e64c382b955","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:43.195208Z","signature_b64":"2NkG+yetlBAEdw7mpJu/2tS1OYIyr0KtKj4JUtQCDL5Ds7Dp4kb4dtiIJKfDLaQVZ37rpZTnT7ihiriPHWxYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cfa623362c4a8384c6071dd5fec4da008145dd5054e51159f8e1e64c382b955","last_reissued_at":"2026-07-05T11:55:43.194687Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:43.194687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.13156","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-05T11:55:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6siHcd0s0khGQln+0zxvymjE74RdBxXamr+6hVRS0AgPiHAP3h7mt8EOI5YrbMwNT7gCILu/hjNxZ0V9dK0lDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:48:08.637053Z"},"content_sha256":"7dcac0bf37a3fa5039e80e162ca72100e875d6f04188c300b8313ffae63e496b","schema_version":"1.0","event_id":"sha256:7dcac0bf37a3fa5039e80e162ca72100e875d6f04188c300b8313ffae63e496b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RT5GEM3CYSUDQTDAOHOV73CNUA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Ang Li, Ping Guo, Qingfu Zhang, Wanghao Ye, Xiaopeng Dai, Yexiao He, Yiting Wang, Ziyao Wang","submitted_at":"2025-06-26T13:32:25Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated great potential in automating the generation of Verilog hardware description language code for hardware design. This automation is critical to reducing human effort in the complex and error-prone process of hardware design.\n  However, existing approaches predominantly rely on human intervention and fine-tuning using curated datasets, limiting their scalability in automated design workflows.\n  Although recent iterative search techniques have emerged, they often fail to explore diverse design solutions and may underperform simpler approaches such as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13156","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/2508.13156/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-05T11:55:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ouSGG25U8nCyEnbgRp/B7q5BTz0Rl5QyGoxp2cK4ebFWO521D/ySro3zQoNKi2qCqGCZip3S75ZAHRMVxutQBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T23:48:08.637534Z"},"content_sha256":"42c31e00944a4ceb87f4623f67cdd5ca9eb49207b05cd1ad1cbac68dcb72d105","schema_version":"1.0","event_id":"sha256:42c31e00944a4ceb87f4623f67cdd5ca9eb49207b05cd1ad1cbac68dcb72d105"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/bundle.json","state_url":"https://pith.science/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/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-09T23:48:08Z","links":{"resolver":"https://pith.science/pith/RT5GEM3CYSUDQTDAOHOV73CNUA","bundle":"https://pith.science/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/bundle.json","state":"https://pith.science/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RT5GEM3CYSUDQTDAOHOV73CNUA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RT5GEM3CYSUDQTDAOHOV73CNUA","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":"7ec06c270ca14976ed563273b441841544e9b6a0bdfbfeb16eca16662ff71c64","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-26T13:32:25Z","title_canon_sha256":"6dd0da2609952c08118ecb3bd090c7a9c4d7eafd39d06817ed8982240db47166"},"schema_version":"1.0","source":{"id":"2508.13156","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.13156","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"arxiv_version","alias_value":"2508.13156v1","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.13156","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_12","alias_value":"RT5GEM3CYSUD","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_16","alias_value":"RT5GEM3CYSUDQTDA","created_at":"2026-07-05T11:55:43Z"},{"alias_kind":"pith_short_8","alias_value":"RT5GEM3C","created_at":"2026-07-05T11:55:43Z"}],"graph_snapshots":[{"event_id":"sha256:42c31e00944a4ceb87f4623f67cdd5ca9eb49207b05cd1ad1cbac68dcb72d105","target":"graph","created_at":"2026-07-05T11:55:43Z","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/2508.13156/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have demonstrated great potential in automating the generation of Verilog hardware description language code for hardware design. This automation is critical to reducing human effort in the complex and error-prone process of hardware design.\n  However, existing approaches predominantly rely on human intervention and fine-tuning using curated datasets, limiting their scalability in automated design workflows.\n  Although recent iterative search techniques have emerged, they often fail to explore diverse design solutions and may underperform simpler approaches such as","authors_text":"Ang Li, Ping Guo, Qingfu Zhang, Wanghao Ye, Xiaopeng Dai, Yexiao He, Yiting Wang, Ziyao Wang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-26T13:32:25Z","title":"EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.13156","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:7dcac0bf37a3fa5039e80e162ca72100e875d6f04188c300b8313ffae63e496b","target":"record","created_at":"2026-07-05T11:55:43Z","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":"7ec06c270ca14976ed563273b441841544e9b6a0bdfbfeb16eca16662ff71c64","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-06-26T13:32:25Z","title_canon_sha256":"6dd0da2609952c08118ecb3bd090c7a9c4d7eafd39d06817ed8982240db47166"},"schema_version":"1.0","source":{"id":"2508.13156","kind":"arxiv","version":1}},"canonical_sha256":"8cfa623362c4a8384c6071dd5fec4da008145dd5054e51159f8e1e64c382b955","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cfa623362c4a8384c6071dd5fec4da008145dd5054e51159f8e1e64c382b955","first_computed_at":"2026-07-05T11:55:43.194687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:43.194687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2NkG+yetlBAEdw7mpJu/2tS1OYIyr0KtKj4JUtQCDL5Ds7Dp4kb4dtiIJKfDLaQVZ37rpZTnT7ihiriPHWxYAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:43.195208Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.13156","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7dcac0bf37a3fa5039e80e162ca72100e875d6f04188c300b8313ffae63e496b","sha256:42c31e00944a4ceb87f4623f67cdd5ca9eb49207b05cd1ad1cbac68dcb72d105"],"state_sha256":"7479bd731376f775ebe3dec4829afd4766d8b8c6e9c96cd2b6f18847c5bb9d8a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C6BE0e7Nup4g2zRSGqEtCeMQOlcuEf+yTUB9myF2n4LQJZbncEqztCCwrCPR0+89sznGgHX/SihXj8187JgbBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T23:48:08.640824Z","bundle_sha256":"0d7dcc98855ead1df3d20de8357cc577faa495b6b4bb945421a154dcfadbc50f"}}