{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:4FB2BDUKZ6J7HEHYNJZB3QIU6S","short_pith_number":"pith:4FB2BDUK","canonical_record":{"source":{"id":"2506.23784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-30T12:24:24Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3c40d2b634db94a2426e5b78669ebdca226e9e9ffd0832f34ca1aa0d9b160855","abstract_canon_sha256":"25653412abb38b32734ce00d063b670683b09e247c16dcdb563863a955ad00ff"},"schema_version":"1.0"},"canonical_sha256":"e143a08e8acf93f390f86a721dc114f4a3943cfbf1b3470a67fb9f69abce66aa","source":{"kind":"arxiv","id":"2506.23784","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23784","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23784v1","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23784","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_12","alias_value":"4FB2BDUKZ6J7","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"4FB2BDUKZ6J7HEHY","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"4FB2BDUK","created_at":"2026-07-05T11:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:4FB2BDUKZ6J7HEHYNJZB3QIU6S","target":"record","payload":{"canonical_record":{"source":{"id":"2506.23784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-30T12:24:24Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"3c40d2b634db94a2426e5b78669ebdca226e9e9ffd0832f34ca1aa0d9b160855","abstract_canon_sha256":"25653412abb38b32734ce00d063b670683b09e247c16dcdb563863a955ad00ff"},"schema_version":"1.0"},"canonical_sha256":"e143a08e8acf93f390f86a721dc114f4a3943cfbf1b3470a67fb9f69abce66aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:27.932473Z","signature_b64":"ChCk/qMy+ylDQadFpJd3pErLhIQ6n5det43GfeEW6+M+eeeoUpcHhd2LUCbeCVxnOxi7POrTwXVN+u+kAk+pCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e143a08e8acf93f390f86a721dc114f4a3943cfbf1b3470a67fb9f69abce66aa","last_reissued_at":"2026-07-05T11:29:27.931978Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:27.931978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.23784","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:29:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pJKRvMbG5Xg3B7SkyoSxH7D8NXGhwnrJBXElMGJmeC+kc+MU7IE9sTmv7rbmtR47KR3NQSg3VEC7G/BP+Q+KAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T21:55:16.983152Z"},"content_sha256":"85854c81a853cfcb9cbac3307c32dafa4f89f70ba169e7ccc4a48481c234e1df","schema_version":"1.0","event_id":"sha256:85854c81a853cfcb9cbac3307c32dafa4f89f70ba169e7ccc4a48481c234e1df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:4FB2BDUKZ6J7HEHYNJZB3QIU6S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Chencheng Liang, Julie Cailler, Mohamed Faouzi Atig, Parosh Aziz Abdulla, Philipp R\\\"ummer","submitted_at":"2025-06-30T12:24:24Z","abstract_excerpt":"Nielsen transformation is a standard approach for solving word equations: by repeatedly splitting equations and applying simplification steps, equations are rewritten until a solution is reached. When solving a conjunction of word equations in this way, the performance of the solver will depend considerably on the order in which equations are processed. In this work, the use of Graph Neural Networks (GNNs) for ranking word equations before and during the solving process is explored. For this, a novel graph-based representation for word equations is presented, preserving global information acro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23784","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/2506.23784/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:29:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9C96r2p+G/w+c6//O9kkJ013QMlpKOa58uBhyYXOEegOtzAxgIlnD3xdLNzchfzVk5mZnamOzyamfimaCddTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T21:55:16.984040Z"},"content_sha256":"540d750a71049a7c032e5a821eb8e78df5406d127de51fa3e33decdea2e1fd69","schema_version":"1.0","event_id":"sha256:540d750a71049a7c032e5a821eb8e78df5406d127de51fa3e33decdea2e1fd69"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/bundle.json","state_url":"https://pith.science/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/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-15T21:55:16Z","links":{"resolver":"https://pith.science/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S","bundle":"https://pith.science/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/bundle.json","state":"https://pith.science/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4FB2BDUKZ6J7HEHYNJZB3QIU6S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4FB2BDUKZ6J7HEHYNJZB3QIU6S","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":"25653412abb38b32734ce00d063b670683b09e247c16dcdb563863a955ad00ff","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-30T12:24:24Z","title_canon_sha256":"3c40d2b634db94a2426e5b78669ebdca226e9e9ffd0832f34ca1aa0d9b160855"},"schema_version":"1.0","source":{"id":"2506.23784","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.23784","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"arxiv_version","alias_value":"2506.23784v1","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.23784","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_12","alias_value":"4FB2BDUKZ6J7","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"4FB2BDUKZ6J7HEHY","created_at":"2026-07-05T11:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"4FB2BDUK","created_at":"2026-07-05T11:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:540d750a71049a7c032e5a821eb8e78df5406d127de51fa3e33decdea2e1fd69","target":"graph","created_at":"2026-07-05T11:29:27Z","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/2506.23784/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Nielsen transformation is a standard approach for solving word equations: by repeatedly splitting equations and applying simplification steps, equations are rewritten until a solution is reached. When solving a conjunction of word equations in this way, the performance of the solver will depend considerably on the order in which equations are processed. In this work, the use of Graph Neural Networks (GNNs) for ranking word equations before and during the solving process is explored. For this, a novel graph-based representation for word equations is presented, preserving global information acro","authors_text":"Chencheng Liang, Julie Cailler, Mohamed Faouzi Atig, Parosh Aziz Abdulla, Philipp R\\\"ummer","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-30T12:24:24Z","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.23784","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:85854c81a853cfcb9cbac3307c32dafa4f89f70ba169e7ccc4a48481c234e1df","target":"record","created_at":"2026-07-05T11:29:27Z","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":"25653412abb38b32734ce00d063b670683b09e247c16dcdb563863a955ad00ff","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-30T12:24:24Z","title_canon_sha256":"3c40d2b634db94a2426e5b78669ebdca226e9e9ffd0832f34ca1aa0d9b160855"},"schema_version":"1.0","source":{"id":"2506.23784","kind":"arxiv","version":1}},"canonical_sha256":"e143a08e8acf93f390f86a721dc114f4a3943cfbf1b3470a67fb9f69abce66aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e143a08e8acf93f390f86a721dc114f4a3943cfbf1b3470a67fb9f69abce66aa","first_computed_at":"2026-07-05T11:29:27.931978Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:29:27.931978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ChCk/qMy+ylDQadFpJd3pErLhIQ6n5det43GfeEW6+M+eeeoUpcHhd2LUCbeCVxnOxi7POrTwXVN+u+kAk+pCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:29:27.932473Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.23784","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85854c81a853cfcb9cbac3307c32dafa4f89f70ba169e7ccc4a48481c234e1df","sha256:540d750a71049a7c032e5a821eb8e78df5406d127de51fa3e33decdea2e1fd69"],"state_sha256":"08b7017a502e0424d79a57da5a04b3f67bd6cf4dd48819b1ecbfcca8cf12712d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"As9KL5Vx4ITNhVyFVz45f47/TMjHrNbeHRR3Z6+pyM4Wq3tbMmmbSLmfsgN/+//XnvmCN08T8hJVSc2EjJfHDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T21:55:16.990356Z","bundle_sha256":"5f577ee36bf7755f51a1e71e45dcc9b3d22c8d158a4ba8a14ddd2458b4c9b70b"}}