{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PQE7NG3ZQC6GNMW7GUHZU2PFSV","short_pith_number":"pith:PQE7NG3Z","canonical_record":{"source":{"id":"2603.19954","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-20T13:55:29Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"d52e0ec53c0125ba089309ce6cf949220a86b4b5522cc456bc75e99506ba844d","abstract_canon_sha256":"3e28b55852f7c89d3b34216580e1da072d218d1f29c322747e00ed81282a0cd3"},"schema_version":"1.0"},"canonical_sha256":"7c09f69b7980bc66b2df350f9a69e59541587cc140b1ba649a4a66da8073772c","source":{"kind":"arxiv","id":"2603.19954","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.19954","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2603.19954v2","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.19954","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"PQE7NG3ZQC6G","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"PQE7NG3ZQC6GNMW7","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"PQE7NG3Z","created_at":"2026-07-07T01:16:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PQE7NG3ZQC6GNMW7GUHZU2PFSV","target":"record","payload":{"canonical_record":{"source":{"id":"2603.19954","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-20T13:55:29Z","cross_cats_sorted":["cs.CL","cs.LG"],"title_canon_sha256":"d52e0ec53c0125ba089309ce6cf949220a86b4b5522cc456bc75e99506ba844d","abstract_canon_sha256":"3e28b55852f7c89d3b34216580e1da072d218d1f29c322747e00ed81282a0cd3"},"schema_version":"1.0"},"canonical_sha256":"7c09f69b7980bc66b2df350f9a69e59541587cc140b1ba649a4a66da8073772c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T01:16:09.887360Z","signature_b64":"VNyVp5v+eooDnGgcC90CvdPPmVd6TYmIcR2OHpleTOR3xDS2i1AfoCrW167B/Io32bd2M4nrOgFmoz4KQf9EAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c09f69b7980bc66b2df350f9a69e59541587cc140b1ba649a4a66da8073772c","last_reissued_at":"2026-07-07T01:16:09.886530Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T01:16:09.886530Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2603.19954","source_version":2,"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-07T01:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m5hv9LP6KWl3fTzui1qDYrwIu9wW+5EBgQ29bdf06f/Ed3KzoD92RSf9o+Td6hwlJsxCErmdiyIY8Qu8P4e8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T00:19:57.815803Z"},"content_sha256":"a9bc5ee3489602148386f6714402e56d9f30f84af1d03238e58281232bf215a1","schema_version":"1.0","event_id":"sha256:a9bc5ee3489602148386f6714402e56d9f30f84af1d03238e58281232bf215a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PQE7NG3ZQC6GNMW7GUHZU2PFSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Ability of Transformers to Verify Plans","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.LG"],"primary_cat":"cs.AI","authors_text":"Alexander Koller, Katharina Stein, Michael Hahn, Sylvie Thi\\'ebaux, Yash Sarrof, Yupei Du","submitted_at":"2026-03-20T13:55:29Z","abstract_excerpt":"Transformers have shown inconsistent success in AI planning tasks, and theoretical understanding of when generalization should be expected has been limited. We take important steps towards addressing this gap by analyzing the ability of decoder-only models to verify whether a given plan correctly solves a given planning instance. To analyse the general setting where the number of objects -- and thus the effective input alphabet -- grows at test time, we introduce C*-RASP, an extension of C-RASP designed to establish length generalization guarantees for transformers under the simultaneous growt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.19954","kind":"arxiv","version":2},"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/2603.19954/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-07T01:16:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PGYE0oNRVn4uIy6Ic9T/HJZtIYWGzfivfBCkO9WJJ6MnTQsYNQ0uIl8x/7F7//ahD79eggn86imbK9047PHrBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T00:19:57.816295Z"},"content_sha256":"7002492d8ee44b05eefa821bda14b8e724021c69f9cfd549e8e056baa82275bd","schema_version":"1.0","event_id":"sha256:7002492d8ee44b05eefa821bda14b8e724021c69f9cfd549e8e056baa82275bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/bundle.json","state_url":"https://pith.science/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/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-09T00:19:57Z","links":{"resolver":"https://pith.science/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV","bundle":"https://pith.science/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/bundle.json","state":"https://pith.science/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PQE7NG3ZQC6GNMW7GUHZU2PFSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PQE7NG3ZQC6GNMW7GUHZU2PFSV","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":"3e28b55852f7c89d3b34216580e1da072d218d1f29c322747e00ed81282a0cd3","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-20T13:55:29Z","title_canon_sha256":"d52e0ec53c0125ba089309ce6cf949220a86b4b5522cc456bc75e99506ba844d"},"schema_version":"1.0","source":{"id":"2603.19954","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.19954","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"arxiv_version","alias_value":"2603.19954v2","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.19954","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_12","alias_value":"PQE7NG3ZQC6G","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_16","alias_value":"PQE7NG3ZQC6GNMW7","created_at":"2026-07-07T01:16:09Z"},{"alias_kind":"pith_short_8","alias_value":"PQE7NG3Z","created_at":"2026-07-07T01:16:09Z"}],"graph_snapshots":[{"event_id":"sha256:7002492d8ee44b05eefa821bda14b8e724021c69f9cfd549e8e056baa82275bd","target":"graph","created_at":"2026-07-07T01:16:09Z","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/2603.19954/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Transformers have shown inconsistent success in AI planning tasks, and theoretical understanding of when generalization should be expected has been limited. We take important steps towards addressing this gap by analyzing the ability of decoder-only models to verify whether a given plan correctly solves a given planning instance. To analyse the general setting where the number of objects -- and thus the effective input alphabet -- grows at test time, we introduce C*-RASP, an extension of C-RASP designed to establish length generalization guarantees for transformers under the simultaneous growt","authors_text":"Alexander Koller, Katharina Stein, Michael Hahn, Sylvie Thi\\'ebaux, Yash Sarrof, Yupei Du","cross_cats":["cs.CL","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-20T13:55:29Z","title":"On the Ability of Transformers to Verify Plans"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.19954","kind":"arxiv","version":2},"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:a9bc5ee3489602148386f6714402e56d9f30f84af1d03238e58281232bf215a1","target":"record","created_at":"2026-07-07T01:16:09Z","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":"3e28b55852f7c89d3b34216580e1da072d218d1f29c322747e00ed81282a0cd3","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-20T13:55:29Z","title_canon_sha256":"d52e0ec53c0125ba089309ce6cf949220a86b4b5522cc456bc75e99506ba844d"},"schema_version":"1.0","source":{"id":"2603.19954","kind":"arxiv","version":2}},"canonical_sha256":"7c09f69b7980bc66b2df350f9a69e59541587cc140b1ba649a4a66da8073772c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c09f69b7980bc66b2df350f9a69e59541587cc140b1ba649a4a66da8073772c","first_computed_at":"2026-07-07T01:16:09.886530Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T01:16:09.886530Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VNyVp5v+eooDnGgcC90CvdPPmVd6TYmIcR2OHpleTOR3xDS2i1AfoCrW167B/Io32bd2M4nrOgFmoz4KQf9EAw==","signature_status":"signed_v1","signed_at":"2026-07-07T01:16:09.887360Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.19954","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9bc5ee3489602148386f6714402e56d9f30f84af1d03238e58281232bf215a1","sha256:7002492d8ee44b05eefa821bda14b8e724021c69f9cfd549e8e056baa82275bd"],"state_sha256":"8388812720f83b4588871b7b26f2cbf617c10e5b9c668bdc17e5f5ba4bffe528"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IrH+4WBiafur1VNEGPpEb525aOxCIn86KKv6IL5jbbnx917UiefoxsWB4LhfgxPs7mjMIiamWwS+AL1JN6p4Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T00:19:57.819790Z","bundle_sha256":"d85e951e5725096b479befd3a248c0ed0331e22311f8f04b80f5898a1816a8c3"}}