{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JEPUSSQR7KZPV6KLHTOT332W6W","short_pith_number":"pith:JEPUSSQR","canonical_record":{"source":{"id":"2401.12224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-28T15:09:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a2fc97f1d495afe17e15d76d153ab82e892048a0753da3ddef661829e85109b5","abstract_canon_sha256":"b71b3afa7c40f167c88bd6fa57ffbc5d75cdfb1a4fd0b0a72647e3873c17b4f6"},"schema_version":"1.0"},"canonical_sha256":"491f494a11fab2faf94b3cdd3def56f596ce3f5cd2fbe33bd5c50854e75977f5","source":{"kind":"arxiv","id":"2401.12224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.12224","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"arxiv_version","alias_value":"2401.12224v1","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.12224","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_12","alias_value":"JEPUSSQR7KZP","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_16","alias_value":"JEPUSSQR7KZPV6KL","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_8","alias_value":"JEPUSSQR","created_at":"2026-07-05T07:36:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JEPUSSQR7KZPV6KLHTOT332W6W","target":"record","payload":{"canonical_record":{"source":{"id":"2401.12224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-28T15:09:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a2fc97f1d495afe17e15d76d153ab82e892048a0753da3ddef661829e85109b5","abstract_canon_sha256":"b71b3afa7c40f167c88bd6fa57ffbc5d75cdfb1a4fd0b0a72647e3873c17b4f6"},"schema_version":"1.0"},"canonical_sha256":"491f494a11fab2faf94b3cdd3def56f596ce3f5cd2fbe33bd5c50854e75977f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:36:27.306601Z","signature_b64":"kGzSJe+u6bS2TrSGWeFuRCHMXLfBMe3itlmvBHTvsAja08/NH+CPJu5v8iSpe8qnRd+3KxHPe0jFSC9rFp1pAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"491f494a11fab2faf94b3cdd3def56f596ce3f5cd2fbe33bd5c50854e75977f5","last_reissued_at":"2026-07-05T07:36:27.306095Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:36:27.306095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.12224","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-05T07:36:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1ZxNICZHn6FQreKVbN7VWRO/atutExQacSzlVHVBWEbrXNrXXWjnsomvuwARqIzHLK6tNl3ln/34xjvY6DLwAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:15:20.197543Z"},"content_sha256":"65469bb4d43f15c771e0eea669982175ad68372d3749c9a9d29f09c0223f94b4","schema_version":"1.0","event_id":"sha256:65469bb4d43f15c771e0eea669982175ad68372d3749c9a9d29f09c0223f94b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JEPUSSQR7KZPV6KLHTOT332W6W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Hui-Ling Zhen, Jianye Hao, Junchi Yan, Mingxuan Yuan, Qiang Xu, Ruizhe Zhong, Shixiong Kai, Siyuan Xu, Xingbo Du, Zhentao Tang","submitted_at":"2023-12-28T15:09:14Z","abstract_excerpt":"Driven by Moore's Law, the complexity and scale of modern chip design are increasing rapidly. Electronic Design Automation (EDA) has been widely applied to address the challenges encountered in the full chip design process. However, the evolution of very large-scale integrated circuits has made chip design time-consuming and resource-intensive, requiring substantial prior expert knowledge. Additionally, intermediate human control activities are crucial for seeking optimal solutions. In system design stage, circuits are usually represented with Hardware Description Language (HDL) as a textual f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.12224","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/2401.12224/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-05T07:36:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5+MWkicaGP/4LltOQeAx9p+sc5IRLJ4sCg+X5fZkZznrgaDxXZYJkLmccx7Hpxyyk3dd7L0TSVBTJG/L5hwXAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:15:20.198958Z"},"content_sha256":"96aa77ce717181f6d520b9ede00557401cbddc97e04741734ff20f40fffd7e0f","schema_version":"1.0","event_id":"sha256:96aa77ce717181f6d520b9ede00557401cbddc97e04741734ff20f40fffd7e0f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEPUSSQR7KZPV6KLHTOT332W6W/bundle.json","state_url":"https://pith.science/pith/JEPUSSQR7KZPV6KLHTOT332W6W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEPUSSQR7KZPV6KLHTOT332W6W/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-07T09:15:20Z","links":{"resolver":"https://pith.science/pith/JEPUSSQR7KZPV6KLHTOT332W6W","bundle":"https://pith.science/pith/JEPUSSQR7KZPV6KLHTOT332W6W/bundle.json","state":"https://pith.science/pith/JEPUSSQR7KZPV6KLHTOT332W6W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEPUSSQR7KZPV6KLHTOT332W6W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JEPUSSQR7KZPV6KLHTOT332W6W","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":"b71b3afa7c40f167c88bd6fa57ffbc5d75cdfb1a4fd0b0a72647e3873c17b4f6","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-28T15:09:14Z","title_canon_sha256":"a2fc97f1d495afe17e15d76d153ab82e892048a0753da3ddef661829e85109b5"},"schema_version":"1.0","source":{"id":"2401.12224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.12224","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"arxiv_version","alias_value":"2401.12224v1","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.12224","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_12","alias_value":"JEPUSSQR7KZP","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_16","alias_value":"JEPUSSQR7KZPV6KL","created_at":"2026-07-05T07:36:27Z"},{"alias_kind":"pith_short_8","alias_value":"JEPUSSQR","created_at":"2026-07-05T07:36:27Z"}],"graph_snapshots":[{"event_id":"sha256:96aa77ce717181f6d520b9ede00557401cbddc97e04741734ff20f40fffd7e0f","target":"graph","created_at":"2026-07-05T07:36:27Z","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/2401.12224/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Driven by Moore's Law, the complexity and scale of modern chip design are increasing rapidly. Electronic Design Automation (EDA) has been widely applied to address the challenges encountered in the full chip design process. However, the evolution of very large-scale integrated circuits has made chip design time-consuming and resource-intensive, requiring substantial prior expert knowledge. Additionally, intermediate human control activities are crucial for seeking optimal solutions. In system design stage, circuits are usually represented with Hardware Description Language (HDL) as a textual f","authors_text":"Hui-Ling Zhen, Jianye Hao, Junchi Yan, Mingxuan Yuan, Qiang Xu, Ruizhe Zhong, Shixiong Kai, Siyuan Xu, Xingbo Du, Zhentao Tang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-28T15:09:14Z","title":"LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.12224","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:65469bb4d43f15c771e0eea669982175ad68372d3749c9a9d29f09c0223f94b4","target":"record","created_at":"2026-07-05T07:36:27Z","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":"b71b3afa7c40f167c88bd6fa57ffbc5d75cdfb1a4fd0b0a72647e3873c17b4f6","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-28T15:09:14Z","title_canon_sha256":"a2fc97f1d495afe17e15d76d153ab82e892048a0753da3ddef661829e85109b5"},"schema_version":"1.0","source":{"id":"2401.12224","kind":"arxiv","version":1}},"canonical_sha256":"491f494a11fab2faf94b3cdd3def56f596ce3f5cd2fbe33bd5c50854e75977f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"491f494a11fab2faf94b3cdd3def56f596ce3f5cd2fbe33bd5c50854e75977f5","first_computed_at":"2026-07-05T07:36:27.306095Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:36:27.306095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kGzSJe+u6bS2TrSGWeFuRCHMXLfBMe3itlmvBHTvsAja08/NH+CPJu5v8iSpe8qnRd+3KxHPe0jFSC9rFp1pAA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:36:27.306601Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.12224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:65469bb4d43f15c771e0eea669982175ad68372d3749c9a9d29f09c0223f94b4","sha256:96aa77ce717181f6d520b9ede00557401cbddc97e04741734ff20f40fffd7e0f"],"state_sha256":"4136056082888d2aac7428c77bd54da75dbca0ddcf4ad7e96bb22016e58d9123"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZG325bNDgpM42vHkKU1Llk66pT3mn8/2zDu6s/M+x1hZfNr/XTCa6YZrj7zuobC4DpF+iaPRvWJNel/5LI7mCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T09:15:20.213322Z","bundle_sha256":"7982faf11edb646973b6ddc99fdc30a3c292fcd57d98513624f33a2f6e46072b"}}