{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XMCPDUGOQQYPH5GQIZLVQVDV3P","short_pith_number":"pith:XMCPDUGO","canonical_record":{"source":{"id":"2502.12732","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-18T10:48:16Z","cross_cats_sorted":[],"title_canon_sha256":"da320cf3767f8a3e123b07a625ccab53cbcbea2652fc9986ed670ed296469c0a","abstract_canon_sha256":"ebaa70b47a8944f5cc8db49902c4263c8bd8ca03d74832c1c51841a71c301bbd"},"schema_version":"1.0"},"canonical_sha256":"bb04f1d0ce8430f3f4d04657585475dbd69a76b5e727f1f764feaf1024e96dd7","source":{"kind":"arxiv","id":"2502.12732","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12732","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12732v1","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12732","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"XMCPDUGOQQYP","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_16","alias_value":"XMCPDUGOQQYPH5GQ","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_8","alias_value":"XMCPDUGO","created_at":"2026-07-05T10:16:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XMCPDUGOQQYPH5GQIZLVQVDV3P","target":"record","payload":{"canonical_record":{"source":{"id":"2502.12732","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-18T10:48:16Z","cross_cats_sorted":[],"title_canon_sha256":"da320cf3767f8a3e123b07a625ccab53cbcbea2652fc9986ed670ed296469c0a","abstract_canon_sha256":"ebaa70b47a8944f5cc8db49902c4263c8bd8ca03d74832c1c51841a71c301bbd"},"schema_version":"1.0"},"canonical_sha256":"bb04f1d0ce8430f3f4d04657585475dbd69a76b5e727f1f764feaf1024e96dd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:16:23.395590Z","signature_b64":"wb1gHrKyseuGojJLGXP1cO3Y5X8upShG0gF5gxp6UtMvMpCcmUq0wMyj9fLHNrtQxUPh4sVo/bRGBagjxPYUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb04f1d0ce8430f3f4d04657585475dbd69a76b5e727f1f764feaf1024e96dd7","last_reissued_at":"2026-07-05T10:16:23.395104Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:16:23.395104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.12732","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-05T10:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N5SfIwDyD3mItn+9Smp/fz3Dpsl3a1USuKmiRE0SAjNiBzfq6T7+eG4SVrlRMziywG1Tp+tXF2SicWZBdZoaCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:18:35.607144Z"},"content_sha256":"47cc79d09063ab20aca74d21986cedb8dbc1a48222f3a254290dd7f49ac64565","schema_version":"1.0","event_id":"sha256:47cc79d09063ab20aca74d21986cedb8dbc1a48222f3a254290dd7f49ac64565"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XMCPDUGOQQYPH5GQIZLVQVDV3P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Bei Yu, Haisheng Zheng, Haoyuan Wu, Yuan Pu","submitted_at":"2025-02-18T10:48:16Z","abstract_excerpt":"Understanding the structure and function of circuits is crucial for electronic design automation (EDA). Circuits can be formulated as And-Inverter graphs (AIGs), enabling efficient implementation of representation learning through graph neural networks (GNNs). Masked modeling paradigms have been proven effective in graph representation learning. However, masking augmentation to original circuits will destroy their logical equivalence, which is unsuitable for circuit representation learning. Moreover, existing masked modeling paradigms often prioritize structural information at the expense of a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12732","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/2502.12732/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-05T10:16:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eON0QGttwq5geFugTh0l21EVau4QyVmtaCZymjI8o2gl3roc7viDzyofLFn0mj0jHJgFt9drP7wBqsOsMrMoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T05:18:35.607512Z"},"content_sha256":"1b9357065d26c344705d163da02fb47d25584098e067a6b1cb076d2a629e19d4","schema_version":"1.0","event_id":"sha256:1b9357065d26c344705d163da02fb47d25584098e067a6b1cb076d2a629e19d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/bundle.json","state_url":"https://pith.science/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/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-18T05:18:35Z","links":{"resolver":"https://pith.science/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P","bundle":"https://pith.science/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/bundle.json","state":"https://pith.science/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XMCPDUGOQQYPH5GQIZLVQVDV3P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XMCPDUGOQQYPH5GQIZLVQVDV3P","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":"ebaa70b47a8944f5cc8db49902c4263c8bd8ca03d74832c1c51841a71c301bbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-18T10:48:16Z","title_canon_sha256":"da320cf3767f8a3e123b07a625ccab53cbcbea2652fc9986ed670ed296469c0a"},"schema_version":"1.0","source":{"id":"2502.12732","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12732","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12732v1","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12732","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_12","alias_value":"XMCPDUGOQQYP","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_16","alias_value":"XMCPDUGOQQYPH5GQ","created_at":"2026-07-05T10:16:23Z"},{"alias_kind":"pith_short_8","alias_value":"XMCPDUGO","created_at":"2026-07-05T10:16:23Z"}],"graph_snapshots":[{"event_id":"sha256:1b9357065d26c344705d163da02fb47d25584098e067a6b1cb076d2a629e19d4","target":"graph","created_at":"2026-07-05T10:16:23Z","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/2502.12732/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Understanding the structure and function of circuits is crucial for electronic design automation (EDA). Circuits can be formulated as And-Inverter graphs (AIGs), enabling efficient implementation of representation learning through graph neural networks (GNNs). Masked modeling paradigms have been proven effective in graph representation learning. However, masking augmentation to original circuits will destroy their logical equivalence, which is unsuitable for circuit representation learning. Moreover, existing masked modeling paradigms often prioritize structural information at the expense of a","authors_text":"Bei Yu, Haisheng Zheng, Haoyuan Wu, Yuan Pu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-18T10:48:16Z","title":"Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12732","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:47cc79d09063ab20aca74d21986cedb8dbc1a48222f3a254290dd7f49ac64565","target":"record","created_at":"2026-07-05T10:16:23Z","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":"ebaa70b47a8944f5cc8db49902c4263c8bd8ca03d74832c1c51841a71c301bbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-02-18T10:48:16Z","title_canon_sha256":"da320cf3767f8a3e123b07a625ccab53cbcbea2652fc9986ed670ed296469c0a"},"schema_version":"1.0","source":{"id":"2502.12732","kind":"arxiv","version":1}},"canonical_sha256":"bb04f1d0ce8430f3f4d04657585475dbd69a76b5e727f1f764feaf1024e96dd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bb04f1d0ce8430f3f4d04657585475dbd69a76b5e727f1f764feaf1024e96dd7","first_computed_at":"2026-07-05T10:16:23.395104Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:16:23.395104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wb1gHrKyseuGojJLGXP1cO3Y5X8upShG0gF5gxp6UtMvMpCcmUq0wMyj9fLHNrtQxUPh4sVo/bRGBagjxPYUCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:16:23.395590Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.12732","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:47cc79d09063ab20aca74d21986cedb8dbc1a48222f3a254290dd7f49ac64565","sha256:1b9357065d26c344705d163da02fb47d25584098e067a6b1cb076d2a629e19d4"],"state_sha256":"12524ebda6dea2bf3d38d070973e40a1c318eaca2b400ffef54d9e836fdb98b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"27+frRGJKHnpxtOwfAd7uMVXMPVgCn8gmRBLAL1y8zk6pX25123SVwSc4RAC3v5YjywEmVnq0tXOkHlMGabPAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T05:18:35.610008Z","bundle_sha256":"0614837ba9c12e62fa3a2beed6e25dde0eda6eea5cd68d447e51327b106a0ed0"}}