{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VVSH52WDR3DX5OGBCXQWYYGTYE","short_pith_number":"pith:VVSH52WD","canonical_record":{"source":{"id":"2401.10753","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-01-19T15:22:28Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"575c240115af0449dc3501c20af3693cd444dbbf34e78d3ced40ae3bfa8153f9","abstract_canon_sha256":"aa66c84b5bd592ba3ebbf1d514a4d23747dd205c75c4b103f545b5a75600a669"},"schema_version":"1.0"},"canonical_sha256":"ad647eeac38ec77eb8c115e16c60d3c10938589461b4545d663e92fede810b48","source":{"kind":"arxiv","id":"2401.10753","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.10753","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"arxiv_version","alias_value":"2401.10753v1","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.10753","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_12","alias_value":"VVSH52WDR3DX","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_16","alias_value":"VVSH52WDR3DX5OGB","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_8","alias_value":"VVSH52WD","created_at":"2026-07-05T07:35:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VVSH52WDR3DX5OGBCXQWYYGTYE","target":"record","payload":{"canonical_record":{"source":{"id":"2401.10753","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-01-19T15:22:28Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"575c240115af0449dc3501c20af3693cd444dbbf34e78d3ced40ae3bfa8153f9","abstract_canon_sha256":"aa66c84b5bd592ba3ebbf1d514a4d23747dd205c75c4b103f545b5a75600a669"},"schema_version":"1.0"},"canonical_sha256":"ad647eeac38ec77eb8c115e16c60d3c10938589461b4545d663e92fede810b48","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:35:31.010715Z","signature_b64":"DZAzqw0UhNH0h98aFhGjKREGKuUBHrhn4HvWPJ8JdsG/QHKVrs28MEwJp7pD2oJbVKJJKWVZo0m62MDZxrMrDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad647eeac38ec77eb8c115e16c60d3c10938589461b4545d663e92fede810b48","last_reissued_at":"2026-07-05T07:35:31.010294Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:35:31.010294Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.10753","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-05T07:35:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WvusaFitaEl/884hcF5Dx6/Um845Fqf6J9Ip07D7p770LgxVT3lDYAbwYyo6WxOMsJ3oRBFDjdwJdWvz+77uBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:56:40.943659Z"},"content_sha256":"fffecc32acb037af100a3d0b48140b5fc5b5c7a0d4db45da40a62e7faba6b37e","schema_version":"1.0","event_id":"sha256:fffecc32acb037af100a3d0b48140b5fc5b5c7a0d4db45da40a62e7faba6b37e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VVSH52WDR3DX5OGBCXQWYYGTYE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.AR","authors_text":"Anthony Agnesina, Cunxi Yu, Haoxing Ren, Yanqing Zhang, Yingjie Li","submitted_at":"2024-01-19T15:22:28Z","abstract_excerpt":"Boolean algebraic manipulation is at the core of logic synthesis in Electronic Design Automation (EDA) design flow. Existing methods struggle to fully exploit optimization opportunities, and often suffer from an explosive search space and limited scalability efficiency. This work presents BoolGebra, a novel attributed graph-learning approach for Boolean algebraic manipulation that aims to improve fundamental logic synthesis. BoolGebra incorporates Graph Neural Networks (GNNs) and takes initial feature embeddings from both structural and functional information as inputs. A fully connected neura"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.10753","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/2401.10753/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-05T07:35:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wOAWzRKl3Veyrouc/QMNAb+q9z/qI53VyWo3Acw7C33wNmB1I51VPPSFDu5ureioaAfw5dxhEBQu/REv1TErAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:56:40.944231Z"},"content_sha256":"4abcc1149592a168431448b7262e0e397643d9cc1284e809c7ca236e3574c8e3","schema_version":"1.0","event_id":"sha256:4abcc1149592a168431448b7262e0e397643d9cc1284e809c7ca236e3574c8e3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/bundle.json","state_url":"https://pith.science/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/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-07-08T13:56:40Z","links":{"resolver":"https://pith.science/pith/VVSH52WDR3DX5OGBCXQWYYGTYE","bundle":"https://pith.science/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/bundle.json","state":"https://pith.science/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VVSH52WDR3DX5OGBCXQWYYGTYE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VVSH52WDR3DX5OGBCXQWYYGTYE","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":"aa66c84b5bd592ba3ebbf1d514a4d23747dd205c75c4b103f545b5a75600a669","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-01-19T15:22:28Z","title_canon_sha256":"575c240115af0449dc3501c20af3693cd444dbbf34e78d3ced40ae3bfa8153f9"},"schema_version":"1.0","source":{"id":"2401.10753","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.10753","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"arxiv_version","alias_value":"2401.10753v1","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.10753","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_12","alias_value":"VVSH52WDR3DX","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_16","alias_value":"VVSH52WDR3DX5OGB","created_at":"2026-07-05T07:35:31Z"},{"alias_kind":"pith_short_8","alias_value":"VVSH52WD","created_at":"2026-07-05T07:35:31Z"}],"graph_snapshots":[{"event_id":"sha256:4abcc1149592a168431448b7262e0e397643d9cc1284e809c7ca236e3574c8e3","target":"graph","created_at":"2026-07-05T07:35:31Z","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/2401.10753/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Boolean algebraic manipulation is at the core of logic synthesis in Electronic Design Automation (EDA) design flow. Existing methods struggle to fully exploit optimization opportunities, and often suffer from an explosive search space and limited scalability efficiency. This work presents BoolGebra, a novel attributed graph-learning approach for Boolean algebraic manipulation that aims to improve fundamental logic synthesis. BoolGebra incorporates Graph Neural Networks (GNNs) and takes initial feature embeddings from both structural and functional information as inputs. A fully connected neura","authors_text":"Anthony Agnesina, Cunxi Yu, Haoxing Ren, Yanqing Zhang, Yingjie Li","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-01-19T15:22:28Z","title":"BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.10753","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:fffecc32acb037af100a3d0b48140b5fc5b5c7a0d4db45da40a62e7faba6b37e","target":"record","created_at":"2026-07-05T07:35:31Z","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":"aa66c84b5bd592ba3ebbf1d514a4d23747dd205c75c4b103f545b5a75600a669","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-01-19T15:22:28Z","title_canon_sha256":"575c240115af0449dc3501c20af3693cd444dbbf34e78d3ced40ae3bfa8153f9"},"schema_version":"1.0","source":{"id":"2401.10753","kind":"arxiv","version":1}},"canonical_sha256":"ad647eeac38ec77eb8c115e16c60d3c10938589461b4545d663e92fede810b48","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad647eeac38ec77eb8c115e16c60d3c10938589461b4545d663e92fede810b48","first_computed_at":"2026-07-05T07:35:31.010294Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:35:31.010294Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DZAzqw0UhNH0h98aFhGjKREGKuUBHrhn4HvWPJ8JdsG/QHKVrs28MEwJp7pD2oJbVKJJKWVZo0m62MDZxrMrDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:35:31.010715Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.10753","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fffecc32acb037af100a3d0b48140b5fc5b5c7a0d4db45da40a62e7faba6b37e","sha256:4abcc1149592a168431448b7262e0e397643d9cc1284e809c7ca236e3574c8e3"],"state_sha256":"a144ae9b5f911efb54a72ff141f2b4096c87cf7b906966a04b4279673fb629f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WJ0dw165fA0+iZqhBRGs9cZVUOmrvxVXemugnSpd0aq8FdnV9q0biGvW5i7xIi3XlaQISaBAi9HX4a0pwVNFCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T13:56:40.946359Z","bundle_sha256":"96d1c6d1e8f1457b33b740093dcd5a88b02c7421fcf82e3baf51dd962a1b8059"}}