{"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"}