{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:43R553XB2GBIC4HLDRT6F3YR3S","short_pith_number":"pith:43R553XB","canonical_record":{"source":{"id":"2507.19518","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-18T11:43:19Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"402197171476b24c255ca42ec2012d3ae599cc3e4d79222b5872db4af9389c2c","abstract_canon_sha256":"c54883c7d4d2b93697f2f6207622c5ed1991a451685aa75783d9bae8b831a3d7"},"schema_version":"1.0"},"canonical_sha256":"e6e3deeee1d1828170eb1c67e2ef11dc8ca94f94df77783dde254402a32caf57","source":{"kind":"arxiv","id":"2507.19518","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.19518","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"arxiv_version","alias_value":"2507.19518v1","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.19518","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_12","alias_value":"43R553XB2GBI","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_16","alias_value":"43R553XB2GBIC4HL","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_8","alias_value":"43R553XB","created_at":"2026-07-05T11:43:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:43R553XB2GBIC4HLDRT6F3YR3S","target":"record","payload":{"canonical_record":{"source":{"id":"2507.19518","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-18T11:43:19Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"402197171476b24c255ca42ec2012d3ae599cc3e4d79222b5872db4af9389c2c","abstract_canon_sha256":"c54883c7d4d2b93697f2f6207622c5ed1991a451685aa75783d9bae8b831a3d7"},"schema_version":"1.0"},"canonical_sha256":"e6e3deeee1d1828170eb1c67e2ef11dc8ca94f94df77783dde254402a32caf57","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:43:35.552142Z","signature_b64":"BwkZb2bWHnZDLdylK9d21UG+v8T41BS/+ri3nXaTTfwTIbYL68yX7JhsIWe67MMkkqTyhIr/XJmAqz3DN/cTAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6e3deeee1d1828170eb1c67e2ef11dc8ca94f94df77783dde254402a32caf57","last_reissued_at":"2026-07-05T11:43:35.551612Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:43:35.551612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.19518","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-05T11:43:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hqrw8RyDbPY7xdMHIRS69bBgAO/aF6OerrOgfFFh93+erwfjOHGlFVdcoljxEIPyWFKY3RVdrg67P3oswaU4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:25:44.524002Z"},"content_sha256":"7c06a77d6819ba1119f9587c4254986c362223bdca7d05a2e6738c4f1e4e8b41","schema_version":"1.0","event_id":"sha256:7c06a77d6819ba1119f9587c4254986c362223bdca7d05a2e6738c4f1e4e8b41"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:43R553XB2GBIC4HLDRT6F3YR3S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Target Circuit Matching in Large-Scale Netlists using GNN-Based Region Prediction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Banghyun Sung, Chanyoung Park, Donghyeon Kim, Hyejin Shin, Jimin Seo, Sangwoo Seo, Yoonho Lee","submitted_at":"2025-07-18T11:43:19Z","abstract_excerpt":"Subgraph matching plays an important role in electronic design automation (EDA) and circuit verification. Traditional rule-based methods have limitations in generalizing to arbitrary target circuits. Furthermore, node-to-node matching approaches tend to be computationally inefficient, particularly for large-scale circuits. Deep learning methods have emerged as a potential solution to address these challenges, but existing models fail to efficiently capture global subgraph embeddings or rely on inefficient matching matrices, which limits their effectiveness for large circuits. In this paper, we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.19518","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/2507.19518/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-05T11:43:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vW1/E8JbIb7QI5KEFX82e7lHj7ADtH7K1V/cZJYoVXeEHwHdtL+nlDYOcE7zIaUBy0Fn684qf471C1k+XgPsCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T15:25:44.524544Z"},"content_sha256":"e9986173e78c92ed1e2dd931467bcd99b0311c4759700292d67347e25937ce03","schema_version":"1.0","event_id":"sha256:e9986173e78c92ed1e2dd931467bcd99b0311c4759700292d67347e25937ce03"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/43R553XB2GBIC4HLDRT6F3YR3S/bundle.json","state_url":"https://pith.science/pith/43R553XB2GBIC4HLDRT6F3YR3S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/43R553XB2GBIC4HLDRT6F3YR3S/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-11T15:25:44Z","links":{"resolver":"https://pith.science/pith/43R553XB2GBIC4HLDRT6F3YR3S","bundle":"https://pith.science/pith/43R553XB2GBIC4HLDRT6F3YR3S/bundle.json","state":"https://pith.science/pith/43R553XB2GBIC4HLDRT6F3YR3S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/43R553XB2GBIC4HLDRT6F3YR3S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:43R553XB2GBIC4HLDRT6F3YR3S","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":"c54883c7d4d2b93697f2f6207622c5ed1991a451685aa75783d9bae8b831a3d7","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-18T11:43:19Z","title_canon_sha256":"402197171476b24c255ca42ec2012d3ae599cc3e4d79222b5872db4af9389c2c"},"schema_version":"1.0","source":{"id":"2507.19518","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.19518","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"arxiv_version","alias_value":"2507.19518v1","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.19518","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_12","alias_value":"43R553XB2GBI","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_16","alias_value":"43R553XB2GBIC4HL","created_at":"2026-07-05T11:43:35Z"},{"alias_kind":"pith_short_8","alias_value":"43R553XB","created_at":"2026-07-05T11:43:35Z"}],"graph_snapshots":[{"event_id":"sha256:e9986173e78c92ed1e2dd931467bcd99b0311c4759700292d67347e25937ce03","target":"graph","created_at":"2026-07-05T11:43:35Z","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/2507.19518/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Subgraph matching plays an important role in electronic design automation (EDA) and circuit verification. Traditional rule-based methods have limitations in generalizing to arbitrary target circuits. Furthermore, node-to-node matching approaches tend to be computationally inefficient, particularly for large-scale circuits. Deep learning methods have emerged as a potential solution to address these challenges, but existing models fail to efficiently capture global subgraph embeddings or rely on inefficient matching matrices, which limits their effectiveness for large circuits. In this paper, we","authors_text":"Banghyun Sung, Chanyoung Park, Donghyeon Kim, Hyejin Shin, Jimin Seo, Sangwoo Seo, Yoonho Lee","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-18T11:43:19Z","title":"Target Circuit Matching in Large-Scale Netlists using GNN-Based Region Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.19518","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:7c06a77d6819ba1119f9587c4254986c362223bdca7d05a2e6738c4f1e4e8b41","target":"record","created_at":"2026-07-05T11:43:35Z","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":"c54883c7d4d2b93697f2f6207622c5ed1991a451685aa75783d9bae8b831a3d7","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-18T11:43:19Z","title_canon_sha256":"402197171476b24c255ca42ec2012d3ae599cc3e4d79222b5872db4af9389c2c"},"schema_version":"1.0","source":{"id":"2507.19518","kind":"arxiv","version":1}},"canonical_sha256":"e6e3deeee1d1828170eb1c67e2ef11dc8ca94f94df77783dde254402a32caf57","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6e3deeee1d1828170eb1c67e2ef11dc8ca94f94df77783dde254402a32caf57","first_computed_at":"2026-07-05T11:43:35.551612Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:43:35.551612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BwkZb2bWHnZDLdylK9d21UG+v8T41BS/+ri3nXaTTfwTIbYL68yX7JhsIWe67MMkkqTyhIr/XJmAqz3DN/cTAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:43:35.552142Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.19518","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c06a77d6819ba1119f9587c4254986c362223bdca7d05a2e6738c4f1e4e8b41","sha256:e9986173e78c92ed1e2dd931467bcd99b0311c4759700292d67347e25937ce03"],"state_sha256":"7317bb96a003ac3863966dcdd42ad796b9bbf6b5da915cc1a1c7d4b99da46629"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xCf3ZDj/ddq+j9xg85n38EGSYZDVbR4BfSNYIYQnN5Bm8ndpDXtJ5geo/RwUvpFbjdnthI9GZyHnSXC9oJyFDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T15:25:44.530782Z","bundle_sha256":"c77e22200b9d5ccbf50ddfd086bedfd71ecdfdf12a13d1f7c426c332eaf8e44a"}}