{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:IX23A4HVW6BKCJWKOVRQXFL5SK","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":"49ced9563aa9ebfc872a2d17f5821223dddac5b49246d7ecf272bba4c18e14c9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-14T22:16:44Z","title_canon_sha256":"50792f3862cfde4e760c5c36119b67a09ffdc1c54b61943424e1d496361df46d"},"schema_version":"1.0","source":{"id":"2303.08256","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.08256","created_at":"2026-07-05T06:19:39Z"},{"alias_kind":"arxiv_version","alias_value":"2303.08256v2","created_at":"2026-07-05T06:19:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.08256","created_at":"2026-07-05T06:19:39Z"},{"alias_kind":"pith_short_12","alias_value":"IX23A4HVW6BK","created_at":"2026-07-05T06:19:39Z"},{"alias_kind":"pith_short_16","alias_value":"IX23A4HVW6BKCJWK","created_at":"2026-07-05T06:19:39Z"},{"alias_kind":"pith_short_8","alias_value":"IX23A4HV","created_at":"2026-07-05T06:19:39Z"}],"graph_snapshots":[{"event_id":"sha256:d7d89e4438a452a62e99ca5fb0db069d714ae0622bb774e386f9b10b85ba126d","target":"graph","created_at":"2026-07-05T06:19:39Z","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/2303.08256/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning high-level abstractions from bit-blasted Boolean networks (BNs) such as gate-level netlists can significantly benefit functional verification, logic minimization, datapath synthesis, malicious logic identification, etc. Mostly, conventional reasoning approaches leverage structural hashing and functional propagation, suffering from limited scalability and inefficient usage of modern computing power. In response, we propose a novel symbolic reasoning framework exploiting graph neural networks (GNNs) and GPU acceleration to reason high-level functional blocks from gate-level netlists, n","authors_text":"Cong Hao, Cunxi Yu, Nan Wu, Steve Dai, Yingjie Li, Yuan Xie","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-14T22:16:44Z","title":"Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.08256","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:a97e168854d79759d0e3f94800b39339c5c353cc9f8ba5f236402c31030408fe","target":"record","created_at":"2026-07-05T06:19:39Z","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":"49ced9563aa9ebfc872a2d17f5821223dddac5b49246d7ecf272bba4c18e14c9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-14T22:16:44Z","title_canon_sha256":"50792f3862cfde4e760c5c36119b67a09ffdc1c54b61943424e1d496361df46d"},"schema_version":"1.0","source":{"id":"2303.08256","kind":"arxiv","version":2}},"canonical_sha256":"45f5b070f5b782a126ca75630b957d92be3c100c8456c0385a4d50913dd3e3c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"45f5b070f5b782a126ca75630b957d92be3c100c8456c0385a4d50913dd3e3c8","first_computed_at":"2026-07-05T06:19:39.946392Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:19:39.946392Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R4AnAWjcSpoyRp0iAYFyf0Ko5498tcSMkb0Ena6DlGXlJL8X7bIuj+8c7JtdE0fxrFOy3Z8Ohw27BEyarvi7Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:19:39.946889Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.08256","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a97e168854d79759d0e3f94800b39339c5c353cc9f8ba5f236402c31030408fe","sha256:d7d89e4438a452a62e99ca5fb0db069d714ae0622bb774e386f9b10b85ba126d"],"state_sha256":"df85fa369bf79cd1f14e4d2cbc752387d894a9d38fac3313fef258f238164b46"}