{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:IX23A4HVW6BKCJWKOVRQXFL5SK","short_pith_number":"pith:IX23A4HV","canonical_record":{"source":{"id":"2303.08256","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-14T22:16:44Z","cross_cats_sorted":[],"title_canon_sha256":"50792f3862cfde4e760c5c36119b67a09ffdc1c54b61943424e1d496361df46d","abstract_canon_sha256":"49ced9563aa9ebfc872a2d17f5821223dddac5b49246d7ecf272bba4c18e14c9"},"schema_version":"1.0"},"canonical_sha256":"45f5b070f5b782a126ca75630b957d92be3c100c8456c0385a4d50913dd3e3c8","source":{"kind":"arxiv","id":"2303.08256","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:IX23A4HVW6BKCJWKOVRQXFL5SK","target":"record","payload":{"canonical_record":{"source":{"id":"2303.08256","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AR","submitted_at":"2023-03-14T22:16:44Z","cross_cats_sorted":[],"title_canon_sha256":"50792f3862cfde4e760c5c36119b67a09ffdc1c54b61943424e1d496361df46d","abstract_canon_sha256":"49ced9563aa9ebfc872a2d17f5821223dddac5b49246d7ecf272bba4c18e14c9"},"schema_version":"1.0"},"canonical_sha256":"45f5b070f5b782a126ca75630b957d92be3c100c8456c0385a4d50913dd3e3c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:19:39.946889Z","signature_b64":"R4AnAWjcSpoyRp0iAYFyf0Ko5498tcSMkb0Ena6DlGXlJL8X7bIuj+8c7JtdE0fxrFOy3Z8Ohw27BEyarvi7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45f5b070f5b782a126ca75630b957d92be3c100c8456c0385a4d50913dd3e3c8","last_reissued_at":"2026-07-05T06:19:39.946392Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:19:39.946392Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.08256","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-05T06:19:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ryPpRMDCSTulJ2Xs7W8hEFoMNNUP1EQ1GOPWtASEa2hjysbsTzNtcSEYwAFMWapmqZhoK6KwhnHWw1uB2HNHCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T20:35:16.465127Z"},"content_sha256":"a97e168854d79759d0e3f94800b39339c5c353cc9f8ba5f236402c31030408fe","schema_version":"1.0","event_id":"sha256:a97e168854d79759d0e3f94800b39339c5c353cc9f8ba5f236402c31030408fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:IX23A4HVW6BKCJWKOVRQXFL5SK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Cong Hao, Cunxi Yu, Nan Wu, Steve Dai, Yingjie Li, Yuan Xie","submitted_at":"2023-03-14T22:16:44Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.08256","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/2303.08256/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-05T06:19:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vfzZ3Mlp2JXhGMB06D8txBEHJJTdKu3fh2vA61lLZGAFsSLuLUbuykEjmaGewgVlPkpn9LB1Ib/nzq+0YtotCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T20:35:16.465637Z"},"content_sha256":"d7d89e4438a452a62e99ca5fb0db069d714ae0622bb774e386f9b10b85ba126d","schema_version":"1.0","event_id":"sha256:d7d89e4438a452a62e99ca5fb0db069d714ae0622bb774e386f9b10b85ba126d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/bundle.json","state_url":"https://pith.science/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/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-10T20:35:16Z","links":{"resolver":"https://pith.science/pith/IX23A4HVW6BKCJWKOVRQXFL5SK","bundle":"https://pith.science/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/bundle.json","state":"https://pith.science/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IX23A4HVW6BKCJWKOVRQXFL5SK/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fSHXYhUyiHCzyjCVv+fpNEZqdD1rPm+o64Zgy4JpqlNmsOOgxYdyBXlbrJ5N1WkT6lNQ725fKBqQThzxWXHHCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T20:35:16.471298Z","bundle_sha256":"06d923bf0e210298a20d9a17858f993d8c8081b0f8de33bd3d273218caa4ba67"}}