{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VF6ODJX3TEDKXCPLV5SEMX3GJW","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":"e99d845b9c11c0b38e12737c3e09089884e977e2d157b0aa94488e8f89073bb1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-20T05:29:42Z","title_canon_sha256":"2e93c63a03f26bf9726f324d264366dc9ad65f3ee1a4dcd09a90ea487909b475"},"schema_version":"1.0","source":{"id":"2607.17570","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.17570","created_at":"2026-07-21T01:21:52Z"},{"alias_kind":"arxiv_version","alias_value":"2607.17570v1","created_at":"2026-07-21T01:21:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.17570","created_at":"2026-07-21T01:21:52Z"},{"alias_kind":"pith_short_12","alias_value":"VF6ODJX3TEDK","created_at":"2026-07-21T01:21:52Z"},{"alias_kind":"pith_short_16","alias_value":"VF6ODJX3TEDKXCPL","created_at":"2026-07-21T01:21:52Z"},{"alias_kind":"pith_short_8","alias_value":"VF6ODJX3","created_at":"2026-07-21T01:21:52Z"}],"graph_snapshots":[{"event_id":"sha256:333a900363c6f53d038fda5e4b93d5ba58e328777a992c28681ef6b63512584f","target":"graph","created_at":"2026-07-21T01:21:52Z","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/2607.17570/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Graph foundation models (GFMs) with global attention are increasingly used to represent mixed-integer linear programs (MILPs), aiming to capture structure beyond the locality of standard graph neural networks. We study their expressive power through graph isomorphism testing, asking which MILP instances they map to identical representations. We prove that a broad class of hierarchical graph transformers combining global linear attention, edge-weighted cross-attention, and bipartite message passing is bounded by the one-dimensional Weisfeiler-Leman (1-WL) test: under any parameter setting, 1-WL","authors_text":"Craig A. Knoblock, Jay Pujara, Md Abrar Jahin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-20T05:29:42Z","title":"A Weisfeiler-Leman Characterization of Global-Attention Graph Transformers for Mixed-Integer Linear Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.17570","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:cc6d6584a48d00e9d94e3d50ad7de2c76aba7ad72d326976626ba76f913d89a6","target":"record","created_at":"2026-07-21T01:21:52Z","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":"e99d845b9c11c0b38e12737c3e09089884e977e2d157b0aa94488e8f89073bb1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-07-20T05:29:42Z","title_canon_sha256":"2e93c63a03f26bf9726f324d264366dc9ad65f3ee1a4dcd09a90ea487909b475"},"schema_version":"1.0","source":{"id":"2607.17570","kind":"arxiv","version":1}},"canonical_sha256":"a97ce1a6fb9906ab89ebaf64465f664da8fe378ead0922098b4ee4602e7975a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a97ce1a6fb9906ab89ebaf64465f664da8fe378ead0922098b4ee4602e7975a7","first_computed_at":"2026-07-21T01:21:52.846340Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T01:21:52.846340Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/nvfRHAyVvkZJ15lk2H3yOe1yscEBLwAGV9upfVWsh1xD9ramopfA/EpkSp9h+wSRD1+gLcZLzOZjMbZ3ml3CQ==","signature_status":"signed_v1","signed_at":"2026-07-21T01:21:52.847200Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.17570","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc6d6584a48d00e9d94e3d50ad7de2c76aba7ad72d326976626ba76f913d89a6","sha256:333a900363c6f53d038fda5e4b93d5ba58e328777a992c28681ef6b63512584f"],"state_sha256":"fedbc9cbbbc0d555d08c117c35fc2b16abb1cb4a60bea44ddf98f53d78efaa55"}