{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:T6J4ERQRJCTSWHBF2FDEMLJCY5","short_pith_number":"pith:T6J4ERQR","canonical_record":{"source":{"id":"2403.14242","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-03-21T09:01:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"1a7103577b87a159aedff4679644ecc8f39cfde922d7c194b32eaa7a549a64c5","abstract_canon_sha256":"d48054650664126b9ef82f746e44dd4a62efda333eb5d0e0ffc497ec11ea7428"},"schema_version":"1.0"},"canonical_sha256":"9f93c2461148a72b1c25d146462d22c75a51751505e12cb2953c7554bd783fd5","source":{"kind":"arxiv","id":"2403.14242","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.14242","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"arxiv_version","alias_value":"2403.14242v2","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.14242","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_12","alias_value":"T6J4ERQRJCTS","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_16","alias_value":"T6J4ERQRJCTSWHBF","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_8","alias_value":"T6J4ERQR","created_at":"2026-07-05T08:02:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:T6J4ERQRJCTSWHBF2FDEMLJCY5","target":"record","payload":{"canonical_record":{"source":{"id":"2403.14242","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-03-21T09:01:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"1a7103577b87a159aedff4679644ecc8f39cfde922d7c194b32eaa7a549a64c5","abstract_canon_sha256":"d48054650664126b9ef82f746e44dd4a62efda333eb5d0e0ffc497ec11ea7428"},"schema_version":"1.0"},"canonical_sha256":"9f93c2461148a72b1c25d146462d22c75a51751505e12cb2953c7554bd783fd5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:02:52.268940Z","signature_b64":"xxE0eqGlVgBv/pQGGgxmaTfKZ7mUZQVFWVihH8DP3u2HVxaJs7eCC7EdQs75zdMr77F7YzCSL4dUzYgzsv2hDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f93c2461148a72b1c25d146462d22c75a51751505e12cb2953c7554bd783fd5","last_reissued_at":"2026-07-05T08:02:52.268442Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:02:52.268442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.14242","source_version":2,"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-05T08:02:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UYVo5X5fG3LcOz4ZRhswgp5lIgDjkZ6LBjG69b7zi5ToE3ql1yUU+Gx7d8CW5aVycKRD81empcAalM6I0akvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T20:50:28.320508Z"},"content_sha256":"539d05fd2664b8923e143342d6ba7b522d3549cfbc26a1eb91403311d4e3a5c7","schema_version":"1.0","event_id":"sha256:539d05fd2664b8923e143342d6ba7b522d3549cfbc26a1eb91403311d4e3a5c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:T6J4ERQRJCTSWHBF2FDEMLJCY5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Chen Chen, Cunxi Yu, Dongsheng Zuo, Guangyu Hu, Hongce Zhang, Yuzhe Ma","submitted_at":"2024-03-21T09:01:54Z","abstract_excerpt":"Logic synthesis plays a crucial role in the digital design flow. It has a decisive influence on the final Quality of Results (QoR) of the circuit implementations. However, existing multi-level logic optimization algorithms often employ greedy approaches with a series of local optimization steps. Each step breaks the circuit into small pieces (e.g., k-feasible cuts) and applies incremental changes to individual pieces separately. These local optimization steps could limit the exploration space and may miss opportunities for significant improvements. To address the limitation, this paper propose"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.14242","kind":"arxiv","version":2},"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/2403.14242/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-05T08:02:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FEw35u25ru0/aNV7d5C6MSmePGUZMZzHiRbFHlNTNYIH0en+xqVyU4BtQ1OalzaGGOpymkhACRqjZw95uKD/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T20:50:28.320895Z"},"content_sha256":"5ae8ba6a8851b1ae1a885be99f27c465f3ba1e60a11a80867a172df981343eae","schema_version":"1.0","event_id":"sha256:5ae8ba6a8851b1ae1a885be99f27c465f3ba1e60a11a80867a172df981343eae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/bundle.json","state_url":"https://pith.science/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/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-07-14T20:50:28Z","links":{"resolver":"https://pith.science/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5","bundle":"https://pith.science/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/bundle.json","state":"https://pith.science/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T6J4ERQRJCTSWHBF2FDEMLJCY5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:T6J4ERQRJCTSWHBF2FDEMLJCY5","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":"d48054650664126b9ef82f746e44dd4a62efda333eb5d0e0ffc497ec11ea7428","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-03-21T09:01:54Z","title_canon_sha256":"1a7103577b87a159aedff4679644ecc8f39cfde922d7c194b32eaa7a549a64c5"},"schema_version":"1.0","source":{"id":"2403.14242","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.14242","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"arxiv_version","alias_value":"2403.14242v2","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.14242","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_12","alias_value":"T6J4ERQRJCTS","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_16","alias_value":"T6J4ERQRJCTSWHBF","created_at":"2026-07-05T08:02:52Z"},{"alias_kind":"pith_short_8","alias_value":"T6J4ERQR","created_at":"2026-07-05T08:02:52Z"}],"graph_snapshots":[{"event_id":"sha256:5ae8ba6a8851b1ae1a885be99f27c465f3ba1e60a11a80867a172df981343eae","target":"graph","created_at":"2026-07-05T08:02:52Z","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/2403.14242/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic synthesis plays a crucial role in the digital design flow. It has a decisive influence on the final Quality of Results (QoR) of the circuit implementations. However, existing multi-level logic optimization algorithms often employ greedy approaches with a series of local optimization steps. Each step breaks the circuit into small pieces (e.g., k-feasible cuts) and applies incremental changes to individual pieces separately. These local optimization steps could limit the exploration space and may miss opportunities for significant improvements. To address the limitation, this paper propose","authors_text":"Chen Chen, Cunxi Yu, Dongsheng Zuo, Guangyu Hu, Hongce Zhang, Yuzhe Ma","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-03-21T09:01:54Z","title":"E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.14242","kind":"arxiv","version":2},"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:539d05fd2664b8923e143342d6ba7b522d3549cfbc26a1eb91403311d4e3a5c7","target":"record","created_at":"2026-07-05T08:02:52Z","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":"d48054650664126b9ef82f746e44dd4a62efda333eb5d0e0ffc497ec11ea7428","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-03-21T09:01:54Z","title_canon_sha256":"1a7103577b87a159aedff4679644ecc8f39cfde922d7c194b32eaa7a549a64c5"},"schema_version":"1.0","source":{"id":"2403.14242","kind":"arxiv","version":2}},"canonical_sha256":"9f93c2461148a72b1c25d146462d22c75a51751505e12cb2953c7554bd783fd5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f93c2461148a72b1c25d146462d22c75a51751505e12cb2953c7554bd783fd5","first_computed_at":"2026-07-05T08:02:52.268442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:02:52.268442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xxE0eqGlVgBv/pQGGgxmaTfKZ7mUZQVFWVihH8DP3u2HVxaJs7eCC7EdQs75zdMr77F7YzCSL4dUzYgzsv2hDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:02:52.268940Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.14242","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:539d05fd2664b8923e143342d6ba7b522d3549cfbc26a1eb91403311d4e3a5c7","sha256:5ae8ba6a8851b1ae1a885be99f27c465f3ba1e60a11a80867a172df981343eae"],"state_sha256":"6648c7106bc2d1440ba2b62cd1cb6dbb101e54f0b55079b2382ac82c73da1092"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0S1eF3FvZhZwWRggi5mPoMmo114haTTlFT0eCopXZt/bwlnxyiAcMwWn5pjkGpHLr3W20i7IJupqc9kreYqiBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-14T20:50:28.323114Z","bundle_sha256":"f49d12e34099c1287ebb2246a140a27a5d17d417267b59db832dd6f6dd0707f5"}}