{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KEBUL7YT27VHWHQKHUDEZSTGL5","short_pith_number":"pith:KEBUL7YT","canonical_record":{"source":{"id":"1911.04021","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-11T00:38:39Z","cross_cats_sorted":["cs.LG","cs.NE"],"title_canon_sha256":"955a18ba2feec502b62dd6b1c0cfce9805455d953f8e95714463e05a5b48a7b4","abstract_canon_sha256":"ca90d9586d313ab2592444bf0aa14854cfe70ef1b722cf46a9a93b18f23d6535"},"schema_version":"1.0"},"canonical_sha256":"510345ff13d7ea7b1e0a3d064cca665f570aef6e410ba7727ee6debf172f1529","source":{"kind":"arxiv","id":"1911.04021","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.04021","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"arxiv_version","alias_value":"1911.04021v2","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.04021","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_12","alias_value":"KEBUL7YT27VH","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_16","alias_value":"KEBUL7YT27VHWHQK","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_8","alias_value":"KEBUL7YT","created_at":"2026-07-05T00:18:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KEBUL7YT27VHWHQKHUDEZSTGL5","target":"record","payload":{"canonical_record":{"source":{"id":"1911.04021","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-11T00:38:39Z","cross_cats_sorted":["cs.LG","cs.NE"],"title_canon_sha256":"955a18ba2feec502b62dd6b1c0cfce9805455d953f8e95714463e05a5b48a7b4","abstract_canon_sha256":"ca90d9586d313ab2592444bf0aa14854cfe70ef1b722cf46a9a93b18f23d6535"},"schema_version":"1.0"},"canonical_sha256":"510345ff13d7ea7b1e0a3d064cca665f570aef6e410ba7727ee6debf172f1529","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:18:53.559482Z","signature_b64":"BxdWRoV4jvsXO04Cyt2xrLvgQZNT/jfII0e1+l/4d+nzMMDIDUu2Mu8Bs21sFJMvjddwJTf7kccJzPs00dMhDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"510345ff13d7ea7b1e0a3d064cca665f570aef6e410ba7727ee6debf172f1529","last_reissued_at":"2026-07-05T00:18:53.559063Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:18:53.559063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.04021","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-05T00:18:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+zfRLL3fxznos+tNmy4dZDs3OuTd5SeZ83DckpbIyHsxEfLGvVl6yoWfuK5Xkipr15dJHK6pjzF3wgVzLcQmBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:09:11.015351Z"},"content_sha256":"7cb028e786da53357a1e99f4fa3865597ef93115db83c65fc5ba6e0eab688f3e","schema_version":"1.0","event_id":"sha256:7cb028e786da53357a1e99f4fa3865597ef93115db83c65fc5ba6e0eab688f3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KEBUL7YT27VHWHQKHUDEZSTGL5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DRiLLS: Deep Reinforcement Learning for Logic Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NE"],"primary_cat":"cs.AI","authors_text":"Abdelrahman Hosny, Mohamed Shalan, Sherief Reda, Soheil Hashemi","submitted_at":"2019-11-11T00:38:39Z","abstract_excerpt":"Logic synthesis requires extensive tuning of the synthesis optimization flow where the quality of results (QoR) depends on the sequence of optimizations used. Efficient design space exploration is challenging due to the exponential number of possible optimization permutations. Therefore, automating the optimization process is necessary. In this work, we propose a novel reinforcement learning-based methodology that navigates the optimization space without human intervention. We demonstrate the training of an Advantage Actor Critic (A2C) agent that seeks to minimize area subject to a timing cons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.04021","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/1911.04021/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-05T00:18:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ox0yvnimxSqsCUbo1I3vDQjlhs7SjTxu/6L+YtWnzoYPEN2rwKISWf2uzZ3Ss6MJG2d7SCYjMWqvjYOTiQHQDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:09:11.016331Z"},"content_sha256":"c62c9279cedc071f38af82811fffd7142c1636b386a5e1f8230d70db4bb5ec76","schema_version":"1.0","event_id":"sha256:c62c9279cedc071f38af82811fffd7142c1636b386a5e1f8230d70db4bb5ec76"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/bundle.json","state_url":"https://pith.science/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/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-11T19:09:11Z","links":{"resolver":"https://pith.science/pith/KEBUL7YT27VHWHQKHUDEZSTGL5","bundle":"https://pith.science/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/bundle.json","state":"https://pith.science/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KEBUL7YT27VHWHQKHUDEZSTGL5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KEBUL7YT27VHWHQKHUDEZSTGL5","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":"ca90d9586d313ab2592444bf0aa14854cfe70ef1b722cf46a9a93b18f23d6535","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-11T00:38:39Z","title_canon_sha256":"955a18ba2feec502b62dd6b1c0cfce9805455d953f8e95714463e05a5b48a7b4"},"schema_version":"1.0","source":{"id":"1911.04021","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.04021","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"arxiv_version","alias_value":"1911.04021v2","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.04021","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_12","alias_value":"KEBUL7YT27VH","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_16","alias_value":"KEBUL7YT27VHWHQK","created_at":"2026-07-05T00:18:53Z"},{"alias_kind":"pith_short_8","alias_value":"KEBUL7YT","created_at":"2026-07-05T00:18:53Z"}],"graph_snapshots":[{"event_id":"sha256:c62c9279cedc071f38af82811fffd7142c1636b386a5e1f8230d70db4bb5ec76","target":"graph","created_at":"2026-07-05T00:18:53Z","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/1911.04021/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic synthesis requires extensive tuning of the synthesis optimization flow where the quality of results (QoR) depends on the sequence of optimizations used. Efficient design space exploration is challenging due to the exponential number of possible optimization permutations. Therefore, automating the optimization process is necessary. In this work, we propose a novel reinforcement learning-based methodology that navigates the optimization space without human intervention. We demonstrate the training of an Advantage Actor Critic (A2C) agent that seeks to minimize area subject to a timing cons","authors_text":"Abdelrahman Hosny, Mohamed Shalan, Sherief Reda, Soheil Hashemi","cross_cats":["cs.LG","cs.NE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-11T00:38:39Z","title":"DRiLLS: Deep Reinforcement Learning for Logic Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.04021","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:7cb028e786da53357a1e99f4fa3865597ef93115db83c65fc5ba6e0eab688f3e","target":"record","created_at":"2026-07-05T00:18:53Z","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":"ca90d9586d313ab2592444bf0aa14854cfe70ef1b722cf46a9a93b18f23d6535","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-11T00:38:39Z","title_canon_sha256":"955a18ba2feec502b62dd6b1c0cfce9805455d953f8e95714463e05a5b48a7b4"},"schema_version":"1.0","source":{"id":"1911.04021","kind":"arxiv","version":2}},"canonical_sha256":"510345ff13d7ea7b1e0a3d064cca665f570aef6e410ba7727ee6debf172f1529","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"510345ff13d7ea7b1e0a3d064cca665f570aef6e410ba7727ee6debf172f1529","first_computed_at":"2026-07-05T00:18:53.559063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:18:53.559063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BxdWRoV4jvsXO04Cyt2xrLvgQZNT/jfII0e1+l/4d+nzMMDIDUu2Mu8Bs21sFJMvjddwJTf7kccJzPs00dMhDw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:18:53.559482Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.04021","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7cb028e786da53357a1e99f4fa3865597ef93115db83c65fc5ba6e0eab688f3e","sha256:c62c9279cedc071f38af82811fffd7142c1636b386a5e1f8230d70db4bb5ec76"],"state_sha256":"51febb2ab1fc5782ad178a83264bc7a47ffb1f00a481711c0f2cd552b4cb7e77"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LoQYr6Vrxv/KV7KwVLT3eikhwkOcDrZ+mlLcHRgfJNBbh8KrlRZor4CbHes16E2KfVGh+PozbBDfy9SxCpPhCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T19:09:11.022400Z","bundle_sha256":"f72fedd0f1c4df5f84871e944dce70f9534fdea4b699a5cc9135f8f70bc70c93"}}