{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:56BRZ2R6MJSFHSKPAF2PJFV22B","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":"d225dc43c9c1d83467e555a791d7d7d2ae19fbdcf079f5e4bebc4905f5689be5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-07-08T16:14:17Z","title_canon_sha256":"d03e100f22969a335ac59b9e2d08205f46df5a28e489237441f64587146b5b22"},"schema_version":"1.0","source":{"id":"2507.06127","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06127","created_at":"2026-07-05T11:33:41Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06127v1","created_at":"2026-07-05T11:33:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06127","created_at":"2026-07-05T11:33:41Z"},{"alias_kind":"pith_short_12","alias_value":"56BRZ2R6MJSF","created_at":"2026-07-05T11:33:41Z"},{"alias_kind":"pith_short_16","alias_value":"56BRZ2R6MJSFHSKP","created_at":"2026-07-05T11:33:41Z"},{"alias_kind":"pith_short_8","alias_value":"56BRZ2R6","created_at":"2026-07-05T11:33:41Z"}],"graph_snapshots":[{"event_id":"sha256:4eeacd37012e7d21c75e9c33192bd19e84c2a85c0fa0149c40d74ccd56bc3964","target":"graph","created_at":"2026-07-05T11:33:41Z","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/2507.06127/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Prefix adders are fundamental arithmetic circuits, but their design space grows exponentially with bit-width, posing significant optimization challenges. Previous works face limitations in performance, generalization, and scalability. To address these challenges, we propose PrefixAgent, a large language model (LLM)-powered framework that enables efficient prefix adder optimization. Specifically, PrefixAgent reformulates the problem into subtasks including backbone synthesis and structure refinement, which effectively reduces the search space. More importantly, this new design perspective enabl","authors_text":"Dongsheng Zuo, Jiadong Zhu, Yang Luo, Yuzhe Ma","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-07-08T16:14:17Z","title":"PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.06127","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:06e17af5e3442d4909ebb57eb20d841a5997d63d47f94e0858f3df411b4225b3","target":"record","created_at":"2026-07-05T11:33:41Z","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":"d225dc43c9c1d83467e555a791d7d7d2ae19fbdcf079f5e4bebc4905f5689be5","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2025-07-08T16:14:17Z","title_canon_sha256":"d03e100f22969a335ac59b9e2d08205f46df5a28e489237441f64587146b5b22"},"schema_version":"1.0","source":{"id":"2507.06127","kind":"arxiv","version":1}},"canonical_sha256":"ef831cea3e626453c94f0174f496bad052510f9e05f93c2245034e26e7bf63db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef831cea3e626453c94f0174f496bad052510f9e05f93c2245034e26e7bf63db","first_computed_at":"2026-07-05T11:33:41.597909Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:33:41.597909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BbO4H0PENePePBxymmXfAech0T4/P2ERfykCdfO/qHcveenXg1BsVn9/c5XyEM/MWYbtT8Hgcz14ry6XI2sxCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:33:41.598396Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.06127","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06e17af5e3442d4909ebb57eb20d841a5997d63d47f94e0858f3df411b4225b3","sha256:4eeacd37012e7d21c75e9c33192bd19e84c2a85c0fa0149c40d74ccd56bc3964"],"state_sha256":"6bcde0ba5dbfe9378a3092aebcdc2fb6905209f9d497dfa93d8f3f93f0ffb68f"}