{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:7S44XFYFZ7EUNN2E56IVXW6TRZ","short_pith_number":"pith:7S44XFYF","canonical_record":{"source":{"id":"2305.16373","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-25T13:51:12Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"f40f69e13bb8359f2808aca6ca0e0f3643f0f0eb0f76968112ea765fe961a6c2","abstract_canon_sha256":"e23488370a9c7a0037fe5894dba017d1358cb154950aade0809722f9a475d504"},"schema_version":"1.0"},"canonical_sha256":"fcb9cb9705cfc946b744ef915bdbd38e7846ca59331cd2cc3d5b50e82fd2ecd7","source":{"kind":"arxiv","id":"2305.16373","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.16373","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"2305.16373v1","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.16373","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"7S44XFYFZ7EU","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"7S44XFYFZ7EUNN2E","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"7S44XFYF","created_at":"2026-07-05T06:14:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:7S44XFYFZ7EUNN2E56IVXW6TRZ","target":"record","payload":{"canonical_record":{"source":{"id":"2305.16373","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-25T13:51:12Z","cross_cats_sorted":["cs.AI","cs.AR"],"title_canon_sha256":"f40f69e13bb8359f2808aca6ca0e0f3643f0f0eb0f76968112ea765fe961a6c2","abstract_canon_sha256":"e23488370a9c7a0037fe5894dba017d1358cb154950aade0809722f9a475d504"},"schema_version":"1.0"},"canonical_sha256":"fcb9cb9705cfc946b744ef915bdbd38e7846ca59331cd2cc3d5b50e82fd2ecd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:14:12.581945Z","signature_b64":"DWwp3xC/rQv3WYBgslQGaQQOGpiHj0EwPtc7gDfnZbs52uOXs2kGt1w1aya7CCMVOLa9tXB2EVVAt4rKcEjpBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fcb9cb9705cfc946b744ef915bdbd38e7846ca59331cd2cc3d5b50e82fd2ecd7","last_reissued_at":"2026-07-05T06:14:12.581544Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:14:12.581544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.16373","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-05T06:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HEE/C6J6TqkON4om4PsJl9aQ2KrFsQFc8pXqqOjChF74Phs7Mi5214IeGNXuTOYMAG7O5ugfHvFYof77MemBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:13:47.834180Z"},"content_sha256":"0b5c465013ab7b17d8ec1ef08bf83c197cae6eb6368002b60836ca78e0a3300f","schema_version":"1.0","event_id":"sha256:0b5c465013ab7b17d8ec1ef08bf83c197cae6eb6368002b60836ca78e0a3300f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:7S44XFYFZ7EUNN2E56IVXW6TRZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DeepGate2: Functionality-Aware Circuit Representation Learning","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.AR"],"primary_cat":"cs.LG","authors_text":"Hongyang Pan, Hui-Ling Zhen, Junhua Huang, Mingxuan Yuan, Min Li, Qiang Xu, Sadaf Khan, Yi Liu, Zhengyuan Shi, Zhufei Chu","submitted_at":"2023-05-25T13:51:12Z","abstract_excerpt":"Circuit representation learning aims to obtain neural representations of circuit elements and has emerged as a promising research direction that can be applied to various EDA and logic reasoning tasks. Existing solutions, such as DeepGate, have the potential to embed both circuit structural information and functional behavior. However, their capabilities are limited due to weak supervision or flawed model design, resulting in unsatisfactory performance in downstream tasks. In this paper, we introduce DeepGate2, a novel functionality-aware learning framework that significantly improves upon the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.16373","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/2305.16373/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:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bV9vsZZwwiwIFdrQ10XWfrCb6q9NgypGj21YVtNI4MAv5mdIZxR3WywE7XWlICLw3+bUOvKWlz3dK9p2Biy0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:13:47.834574Z"},"content_sha256":"be2ce92e04f647e8f287b4f7d1afc84fe92c0ac9df837a7a7e645d70f1809ec2","schema_version":"1.0","event_id":"sha256:be2ce92e04f647e8f287b4f7d1afc84fe92c0ac9df837a7a7e645d70f1809ec2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/bundle.json","state_url":"https://pith.science/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/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-07T04:13:47Z","links":{"resolver":"https://pith.science/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ","bundle":"https://pith.science/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/bundle.json","state":"https://pith.science/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7S44XFYFZ7EUNN2E56IVXW6TRZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:7S44XFYFZ7EUNN2E56IVXW6TRZ","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":"e23488370a9c7a0037fe5894dba017d1358cb154950aade0809722f9a475d504","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-25T13:51:12Z","title_canon_sha256":"f40f69e13bb8359f2808aca6ca0e0f3643f0f0eb0f76968112ea765fe961a6c2"},"schema_version":"1.0","source":{"id":"2305.16373","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.16373","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"2305.16373v1","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.16373","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"7S44XFYFZ7EU","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"7S44XFYFZ7EUNN2E","created_at":"2026-07-05T06:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"7S44XFYF","created_at":"2026-07-05T06:14:12Z"}],"graph_snapshots":[{"event_id":"sha256:be2ce92e04f647e8f287b4f7d1afc84fe92c0ac9df837a7a7e645d70f1809ec2","target":"graph","created_at":"2026-07-05T06:14:12Z","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/2305.16373/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Circuit representation learning aims to obtain neural representations of circuit elements and has emerged as a promising research direction that can be applied to various EDA and logic reasoning tasks. Existing solutions, such as DeepGate, have the potential to embed both circuit structural information and functional behavior. However, their capabilities are limited due to weak supervision or flawed model design, resulting in unsatisfactory performance in downstream tasks. In this paper, we introduce DeepGate2, a novel functionality-aware learning framework that significantly improves upon the","authors_text":"Hongyang Pan, Hui-Ling Zhen, Junhua Huang, Mingxuan Yuan, Min Li, Qiang Xu, Sadaf Khan, Yi Liu, Zhengyuan Shi, Zhufei Chu","cross_cats":["cs.AI","cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-25T13:51:12Z","title":"DeepGate2: Functionality-Aware Circuit Representation Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.16373","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:0b5c465013ab7b17d8ec1ef08bf83c197cae6eb6368002b60836ca78e0a3300f","target":"record","created_at":"2026-07-05T06:14:12Z","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":"e23488370a9c7a0037fe5894dba017d1358cb154950aade0809722f9a475d504","cross_cats_sorted":["cs.AI","cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-25T13:51:12Z","title_canon_sha256":"f40f69e13bb8359f2808aca6ca0e0f3643f0f0eb0f76968112ea765fe961a6c2"},"schema_version":"1.0","source":{"id":"2305.16373","kind":"arxiv","version":1}},"canonical_sha256":"fcb9cb9705cfc946b744ef915bdbd38e7846ca59331cd2cc3d5b50e82fd2ecd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fcb9cb9705cfc946b744ef915bdbd38e7846ca59331cd2cc3d5b50e82fd2ecd7","first_computed_at":"2026-07-05T06:14:12.581544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:14:12.581544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DWwp3xC/rQv3WYBgslQGaQQOGpiHj0EwPtc7gDfnZbs52uOXs2kGt1w1aya7CCMVOLa9tXB2EVVAt4rKcEjpBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:14:12.581945Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.16373","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b5c465013ab7b17d8ec1ef08bf83c197cae6eb6368002b60836ca78e0a3300f","sha256:be2ce92e04f647e8f287b4f7d1afc84fe92c0ac9df837a7a7e645d70f1809ec2"],"state_sha256":"739204475a4118576f1a7ab6efee0bd774a6f94f2e16d94d43025b4a0bffd520"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7PPXrDhoZ6phGnieRIkgcl6cpzXKh9/OAPAaRILjnrOvkRwKXVcy+Yt3oVFVdkkX5DFSMcGFI26TnzyXEk5xCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:13:47.836586Z","bundle_sha256":"c3de2024bd6f10ab6fa12195bb46eaad002aa3199ee79756cafdfe2293181473"}}