{"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"}