{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:BGPQ4YGDI2H3VXMZVPFHLPPNLF","short_pith_number":"pith:BGPQ4YGD","canonical_record":{"source":{"id":"2110.11292","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-21T17:19:19Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"7e763158569d7694b47ee0d5c3cacdbbff0e7647664f566a020ae9f0dca89297","abstract_canon_sha256":"76f6a0149ea0072ef1d3cabe38f2a67dd1ae134016ba93c785fb062bdd186636"},"schema_version":"1.0"},"canonical_sha256":"099f0e60c3468fbadd99abca75bded595ba66a49a8461fb6f8553835aef1fa38","source":{"kind":"arxiv","id":"2110.11292","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.11292","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"2110.11292v1","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.11292","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"BGPQ4YGDI2H3","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_16","alias_value":"BGPQ4YGDI2H3VXMZ","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_8","alias_value":"BGPQ4YGD","created_at":"2026-07-05T03:24:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:BGPQ4YGDI2H3VXMZVPFHLPPNLF","target":"record","payload":{"canonical_record":{"source":{"id":"2110.11292","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-21T17:19:19Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"7e763158569d7694b47ee0d5c3cacdbbff0e7647664f566a020ae9f0dca89297","abstract_canon_sha256":"76f6a0149ea0072ef1d3cabe38f2a67dd1ae134016ba93c785fb062bdd186636"},"schema_version":"1.0"},"canonical_sha256":"099f0e60c3468fbadd99abca75bded595ba66a49a8461fb6f8553835aef1fa38","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:24:46.030278Z","signature_b64":"fV/gLQAtm0N2T9isgZxJpCcM2S3TaCx23SOYP4w4V/VR1hBdRCf9xO+tad6d3u5zN1jfQLtRo+q08+8J/5MlCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"099f0e60c3468fbadd99abca75bded595ba66a49a8461fb6f8553835aef1fa38","last_reissued_at":"2026-07-05T03:24:46.029863Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:24:46.029863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.11292","source_version":1,"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-05T03:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YNVNfl2cRxY18UkTe59ky1gzKPsstgBzdLEZsbXbuFnc7V2HumWFG3+hZMqc4azOer9ZaUpLeH/VHwABlZ2LCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:24:48.475124Z"},"content_sha256":"25f3c4a84f0f160e63797b47cd5e4c08c167cce95be056f00d78f0ec00dcfd66","schema_version":"1.0","event_id":"sha256:25f3c4a84f0f160e63797b47cd5e4c08c167cce95be056f00d78f0ec00dcfd66"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:BGPQ4YGDI2H3VXMZVPFHLPPNLF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.LG","authors_text":"Animesh Basak Chowdhury, Benjamin Tan, Ramesh Karri, Siddharth Garg","submitted_at":"2021-10-21T17:19:19Z","abstract_excerpt":"Logic synthesis is a challenging and widely-researched combinatorial optimization problem during integrated circuit (IC) design. It transforms a high-level description of hardware in a programming language like Verilog into an optimized digital circuit netlist, a network of interconnected Boolean logic gates, that implements the function. Spurred by the success of ML in solving combinatorial and graph problems in other domains, there is growing interest in the design of ML-guided logic synthesis tools. Yet, there are no standard datasets or prototypical learning tasks defined for this problem "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.11292","kind":"arxiv","version":1},"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/2110.11292/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-05T03:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"glM1w0SyyiWV7TpspuZA2w6M30D3gWCyR5TYCtLdsbhi1vTlMARjirl9zgNyHJJl0DoVON3Sl3egedRG8w7pAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:24:48.475958Z"},"content_sha256":"1a7593afd0ddde10d05fbaeb707a871689a838855012bfc0f0d3661f9826d43a","schema_version":"1.0","event_id":"sha256:1a7593afd0ddde10d05fbaeb707a871689a838855012bfc0f0d3661f9826d43a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/bundle.json","state_url":"https://pith.science/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/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-17T12:24:48Z","links":{"resolver":"https://pith.science/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF","bundle":"https://pith.science/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/bundle.json","state":"https://pith.science/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BGPQ4YGDI2H3VXMZVPFHLPPNLF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:BGPQ4YGDI2H3VXMZVPFHLPPNLF","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":"76f6a0149ea0072ef1d3cabe38f2a67dd1ae134016ba93c785fb062bdd186636","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-21T17:19:19Z","title_canon_sha256":"7e763158569d7694b47ee0d5c3cacdbbff0e7647664f566a020ae9f0dca89297"},"schema_version":"1.0","source":{"id":"2110.11292","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.11292","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"2110.11292v1","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.11292","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"BGPQ4YGDI2H3","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_16","alias_value":"BGPQ4YGDI2H3VXMZ","created_at":"2026-07-05T03:24:46Z"},{"alias_kind":"pith_short_8","alias_value":"BGPQ4YGD","created_at":"2026-07-05T03:24:46Z"}],"graph_snapshots":[{"event_id":"sha256:1a7593afd0ddde10d05fbaeb707a871689a838855012bfc0f0d3661f9826d43a","target":"graph","created_at":"2026-07-05T03:24:46Z","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/2110.11292/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic synthesis is a challenging and widely-researched combinatorial optimization problem during integrated circuit (IC) design. It transforms a high-level description of hardware in a programming language like Verilog into an optimized digital circuit netlist, a network of interconnected Boolean logic gates, that implements the function. Spurred by the success of ML in solving combinatorial and graph problems in other domains, there is growing interest in the design of ML-guided logic synthesis tools. Yet, there are no standard datasets or prototypical learning tasks defined for this problem ","authors_text":"Animesh Basak Chowdhury, Benjamin Tan, Ramesh Karri, Siddharth Garg","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-21T17:19:19Z","title":"OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.11292","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:25f3c4a84f0f160e63797b47cd5e4c08c167cce95be056f00d78f0ec00dcfd66","target":"record","created_at":"2026-07-05T03:24:46Z","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":"76f6a0149ea0072ef1d3cabe38f2a67dd1ae134016ba93c785fb062bdd186636","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-10-21T17:19:19Z","title_canon_sha256":"7e763158569d7694b47ee0d5c3cacdbbff0e7647664f566a020ae9f0dca89297"},"schema_version":"1.0","source":{"id":"2110.11292","kind":"arxiv","version":1}},"canonical_sha256":"099f0e60c3468fbadd99abca75bded595ba66a49a8461fb6f8553835aef1fa38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"099f0e60c3468fbadd99abca75bded595ba66a49a8461fb6f8553835aef1fa38","first_computed_at":"2026-07-05T03:24:46.029863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:24:46.029863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fV/gLQAtm0N2T9isgZxJpCcM2S3TaCx23SOYP4w4V/VR1hBdRCf9xO+tad6d3u5zN1jfQLtRo+q08+8J/5MlCA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:24:46.030278Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.11292","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25f3c4a84f0f160e63797b47cd5e4c08c167cce95be056f00d78f0ec00dcfd66","sha256:1a7593afd0ddde10d05fbaeb707a871689a838855012bfc0f0d3661f9826d43a"],"state_sha256":"8a8a1681f278f4f82ebe4e076a0543d0806088b9f2028e7163d50c2b918d9a55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z0ApzChr/0O+RfiOsZaZbdsPlJ5ktT1dWzHuEVRf1Tf4UPjrlIUdfYMXsy4kAdKT94yJ6pNMAhErV3Xv6AifBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T12:24:48.482125Z","bundle_sha256":"18caf44f145ea9fe2fd5d30bab0c469785308e5b4e617bbb272be63ac1ebe2c0"}}