{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:SKKJMNW7UFFVIKUHC6NZJPHGAM","short_pith_number":"pith:SKKJMNW7","canonical_record":{"source":{"id":"2409.10653","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-09-16T18:45:07Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"87f0d92d2708156be8ed97d2e07bf7af6ea4581fe5c175434be493060d7a19d4","abstract_canon_sha256":"d4c7ee78b47d8943f39e68c8841e6937d24fbd4dd4e77fc548bbd6fbd8da3831"},"schema_version":"1.0"},"canonical_sha256":"92949636dfa14b542a87179b94bce6031d776c44f7e560339056268b5554adeb","source":{"kind":"arxiv","id":"2409.10653","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.10653","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"arxiv_version","alias_value":"2409.10653v2","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.10653","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_12","alias_value":"SKKJMNW7UFFV","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_16","alias_value":"SKKJMNW7UFFVIKUH","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_8","alias_value":"SKKJMNW7","created_at":"2026-07-05T10:21:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:SKKJMNW7UFFVIKUHC6NZJPHGAM","target":"record","payload":{"canonical_record":{"source":{"id":"2409.10653","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-09-16T18:45:07Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"87f0d92d2708156be8ed97d2e07bf7af6ea4581fe5c175434be493060d7a19d4","abstract_canon_sha256":"d4c7ee78b47d8943f39e68c8841e6937d24fbd4dd4e77fc548bbd6fbd8da3831"},"schema_version":"1.0"},"canonical_sha256":"92949636dfa14b542a87179b94bce6031d776c44f7e560339056268b5554adeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:21:23.173302Z","signature_b64":"q1b1D+qd3VAlZ2RSfWp1eYX/yl1jx0r0PX/47BD5JNbDcw5PaTX7oZ9LS1SeWI/7gqxwiM3Jz8IA2tpO+IcUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92949636dfa14b542a87179b94bce6031d776c44f7e560339056268b5554adeb","last_reissued_at":"2026-07-05T10:21:23.172792Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:21:23.172792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.10653","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-05T10:21:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M7hZezvq3/iFuVL9iRAn3qhSCcTjG0xNuYGaVaH6sawcZ8MfvInWiqRDz+WgG9/+Ld+yyP1ESTr8x9ANBMEJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T03:55:12.867117Z"},"content_sha256":"4cbcea8893db1d52f50b887f11f88b389d180e12e24c759829360e0b7f871075","schema_version":"1.0","event_id":"sha256:4cbcea8893db1d52f50b887f11f88b389d180e12e24c759829360e0b7f871075"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:SKKJMNW7UFFVIKUHC6NZJPHGAM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Faezeh Faez, Lei Chen, Mahdi Biparva, Mingxuan Yuan, Raika Karimi, Xing Li, Yingxue Zhang","submitted_at":"2024-09-16T18:45:07Z","abstract_excerpt":"Contemporary hardware design benefits from the abstraction provided by high-level logic gates, streamlining the implementation of logic circuits. Logic Synthesis Optimization (LSO) operates at one level of abstraction within the Electronic Design Automation (EDA) workflow, targeting improvements in logic circuits with respect to performance metrics such as size and speed in the final layout. Recent trends in the field show a growing interest in leveraging Machine Learning (ML) for EDA, notably through ML-guided logic synthesis utilizing policy-based Reinforcement Learning (RL) methods.Despite "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.10653","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/2409.10653/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-05T10:21:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JciolnqGLjHq7Gzsb4JXKsUOK5kwI1dPnRxKctRDiLXNTYnvagpETLSfpsXe3hRDT7lK1L5+7pTbX+yAtLfSDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T03:55:12.867630Z"},"content_sha256":"3bd7cba6ef2b4655df4048d4e70f42f07b9cff270654742b383af9851f15ad5b","schema_version":"1.0","event_id":"sha256:3bd7cba6ef2b4655df4048d4e70f42f07b9cff270654742b383af9851f15ad5b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/bundle.json","state_url":"https://pith.science/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/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-18T03:55:12Z","links":{"resolver":"https://pith.science/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM","bundle":"https://pith.science/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/bundle.json","state":"https://pith.science/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SKKJMNW7UFFVIKUHC6NZJPHGAM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SKKJMNW7UFFVIKUHC6NZJPHGAM","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":"d4c7ee78b47d8943f39e68c8841e6937d24fbd4dd4e77fc548bbd6fbd8da3831","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-09-16T18:45:07Z","title_canon_sha256":"87f0d92d2708156be8ed97d2e07bf7af6ea4581fe5c175434be493060d7a19d4"},"schema_version":"1.0","source":{"id":"2409.10653","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.10653","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"arxiv_version","alias_value":"2409.10653v2","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.10653","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_12","alias_value":"SKKJMNW7UFFV","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_16","alias_value":"SKKJMNW7UFFVIKUH","created_at":"2026-07-05T10:21:23Z"},{"alias_kind":"pith_short_8","alias_value":"SKKJMNW7","created_at":"2026-07-05T10:21:23Z"}],"graph_snapshots":[{"event_id":"sha256:3bd7cba6ef2b4655df4048d4e70f42f07b9cff270654742b383af9851f15ad5b","target":"graph","created_at":"2026-07-05T10:21:23Z","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/2409.10653/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Contemporary hardware design benefits from the abstraction provided by high-level logic gates, streamlining the implementation of logic circuits. Logic Synthesis Optimization (LSO) operates at one level of abstraction within the Electronic Design Automation (EDA) workflow, targeting improvements in logic circuits with respect to performance metrics such as size and speed in the final layout. Recent trends in the field show a growing interest in leveraging Machine Learning (ML) for EDA, notably through ML-guided logic synthesis utilizing policy-based Reinforcement Learning (RL) methods.Despite ","authors_text":"Faezeh Faez, Lei Chen, Mahdi Biparva, Mingxuan Yuan, Raika Karimi, Xing Li, Yingxue Zhang","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-09-16T18:45:07Z","title":"Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.10653","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:4cbcea8893db1d52f50b887f11f88b389d180e12e24c759829360e0b7f871075","target":"record","created_at":"2026-07-05T10:21:23Z","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":"d4c7ee78b47d8943f39e68c8841e6937d24fbd4dd4e77fc548bbd6fbd8da3831","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-09-16T18:45:07Z","title_canon_sha256":"87f0d92d2708156be8ed97d2e07bf7af6ea4581fe5c175434be493060d7a19d4"},"schema_version":"1.0","source":{"id":"2409.10653","kind":"arxiv","version":2}},"canonical_sha256":"92949636dfa14b542a87179b94bce6031d776c44f7e560339056268b5554adeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92949636dfa14b542a87179b94bce6031d776c44f7e560339056268b5554adeb","first_computed_at":"2026-07-05T10:21:23.172792Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:21:23.172792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q1b1D+qd3VAlZ2RSfWp1eYX/yl1jx0r0PX/47BD5JNbDcw5PaTX7oZ9LS1SeWI/7gqxwiM3Jz8IA2tpO+IcUCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:21:23.173302Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.10653","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cbcea8893db1d52f50b887f11f88b389d180e12e24c759829360e0b7f871075","sha256:3bd7cba6ef2b4655df4048d4e70f42f07b9cff270654742b383af9851f15ad5b"],"state_sha256":"28033b2d733d0980e812ea5bf25289eb351b5e46eba84d3d696a7570e0c8c881"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0LmXYRhQvXaBcQiFSBS9TSdOwoAjTOfwelb6j0jG7L40JdyW86ZwW0jt+dRqcab8U0Nf2qBaUpV9hqYJvcGVAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T03:55:12.872688Z","bundle_sha256":"189095e49b9d64651cda7aa5581968d080c28add25ebc26eda9b3ac3edaa1f10"}}