{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:WULB3NLTJSOSGTULJ3ZWBFDPAD","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":"1c74080b9ca27258d5876e6823fc6325ac320617a111ead19d343833e2158ad2","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-22T12:09:19Z","title_canon_sha256":"78d7a09e7cc492dae0a802e77e0bbc07423db745b56cc661e412bd39b3cd75da"},"schema_version":"1.0","source":{"id":"2208.10227","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.10227","created_at":"2026-07-05T04:50:26Z"},{"alias_kind":"arxiv_version","alias_value":"2208.10227v1","created_at":"2026-07-05T04:50:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.10227","created_at":"2026-07-05T04:50:26Z"},{"alias_kind":"pith_short_12","alias_value":"WULB3NLTJSOS","created_at":"2026-07-05T04:50:26Z"},{"alias_kind":"pith_short_16","alias_value":"WULB3NLTJSOSGTUL","created_at":"2026-07-05T04:50:26Z"},{"alias_kind":"pith_short_8","alias_value":"WULB3NLT","created_at":"2026-07-05T04:50:26Z"}],"graph_snapshots":[{"event_id":"sha256:e0c18571d64058ee83a56fdc8aea2e1ce4c8a2f2876c45398946a33609ece880","target":"graph","created_at":"2026-07-05T04:50:26Z","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/2208.10227/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a universal Graph Neural Network architecture which can be trained as an end-2-end search heuristic for any Constraint Satisfaction Problem (CSP). Our architecture can be trained unsupervised with policy gradient descent to generate problem specific heuristics for any CSP in a purely data driven manner. The approach is based on a novel graph representation for CSPs that is both generic and compact and enables us to process every possible CSP instance with one GNN, regardless of constraint arity, relations or domain size. Unlike previous RL-based methods, we operate on a global searc","authors_text":"Berke Kisin, Jakob Lindner, Jan T\\\"onshoff, Martin Grohe","cross_cats":["cs.LG","cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-22T12:09:19Z","title":"One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.10227","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:cebef7b0eb25f81191f1bad6feffae3bbe9ce8c3b68fbe3cfa1ec8de29b635bd","target":"record","created_at":"2026-07-05T04:50:26Z","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":"1c74080b9ca27258d5876e6823fc6325ac320617a111ead19d343833e2158ad2","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-22T12:09:19Z","title_canon_sha256":"78d7a09e7cc492dae0a802e77e0bbc07423db745b56cc661e412bd39b3cd75da"},"schema_version":"1.0","source":{"id":"2208.10227","kind":"arxiv","version":1}},"canonical_sha256":"b5161db5734c9d234e8b4ef360946f00f4445fb47693128333d0f5476e462757","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5161db5734c9d234e8b4ef360946f00f4445fb47693128333d0f5476e462757","first_computed_at":"2026-07-05T04:50:26.617190Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:50:26.617190Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4nYgb4UwUQ2DukQJ+fGdrH8vuf0Zrpv8P4KgN2M01/C3iB5btdjbXo7aSA7d2NervVL4/yaBO9tDZ+D7F+j7Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:50:26.617613Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.10227","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cebef7b0eb25f81191f1bad6feffae3bbe9ce8c3b68fbe3cfa1ec8de29b635bd","sha256:e0c18571d64058ee83a56fdc8aea2e1ce4c8a2f2876c45398946a33609ece880"],"state_sha256":"21e9422607d9cbda056394b904d9a243e1dad6b3e1e98da15f37cc09963cb0a7"}