{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:T67M7LZAQDZ5MEVKZWWCNA6MYT","short_pith_number":"pith:T67M7LZA","canonical_record":{"source":{"id":"2402.14083","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-21T19:17:28Z","cross_cats_sorted":[],"title_canon_sha256":"7c1e871a3074115ba50dd4a4170c8bd9bbc701e9436e1b1230acdc3d4b03d86f","abstract_canon_sha256":"a2a51befa063f684ae4cd6d8358f4060f4be6c695adafa0b92bfca70559ada73"},"schema_version":"1.0"},"canonical_sha256":"9fbecfaf2080f3d612aacdac2683ccc4f606b1459fbc8edd83b4a3a8dd9102d4","source":{"kind":"arxiv","id":"2402.14083","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.14083","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"arxiv_version","alias_value":"2402.14083v2","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.14083","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_12","alias_value":"T67M7LZAQDZ5","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_16","alias_value":"T67M7LZAQDZ5MEVK","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_8","alias_value":"T67M7LZA","created_at":"2026-07-05T08:12:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:T67M7LZAQDZ5MEVKZWWCNA6MYT","target":"record","payload":{"canonical_record":{"source":{"id":"2402.14083","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-21T19:17:28Z","cross_cats_sorted":[],"title_canon_sha256":"7c1e871a3074115ba50dd4a4170c8bd9bbc701e9436e1b1230acdc3d4b03d86f","abstract_canon_sha256":"a2a51befa063f684ae4cd6d8358f4060f4be6c695adafa0b92bfca70559ada73"},"schema_version":"1.0"},"canonical_sha256":"9fbecfaf2080f3d612aacdac2683ccc4f606b1459fbc8edd83b4a3a8dd9102d4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:12:48.421374Z","signature_b64":"KDDMMYOJt/pBk2QFEaGHcifNtIatces7rQRDG44zk9QT+H2OenkVc9vN/PutlpoLIvRy4AlxYG5nTroe3LqbCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9fbecfaf2080f3d612aacdac2683ccc4f606b1459fbc8edd83b4a3a8dd9102d4","last_reissued_at":"2026-07-05T08:12:48.420959Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:12:48.420959Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.14083","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-05T08:12:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oXE8tGFkhpx9s4eL4oP05EhEE2QkREe9O0ptVEMT5AxJ/aFKnXRRAorZuvZ5wJRTAZrr14wz6HprQGlvVL+rCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T00:32:59.854054Z"},"content_sha256":"6641714a43914dd9f073c33c9a96f71bb02110a2592698bc0bb69bb97ffb8f49","schema_version":"1.0","event_id":"sha256:6641714a43914dd9f073c33c9a96f71bb02110a2592698bc0bb69bb97ffb8f49"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:T67M7LZAQDZ5MEVKZWWCNA6MYT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"DiJia Su, Lucas Lehnert, Michael Rabbat, Paul Mcvay, Qinqing Zheng, Sainbayar Sukhbaatar, Yuandong Tian","submitted_at":"2024-02-21T19:17:28Z","abstract_excerpt":"While Transformers have enabled tremendous progress in various application settings, such architectures still trail behind traditional symbolic planners for solving complex decision making tasks. In this work, we demonstrate how to train Transformers to solve complex planning tasks. This is accomplished by training an encoder-decoder Transformer model to predict the search dynamics of the $A^*$ search algorithm. We fine tune this model to obtain a Searchformer, a Transformer model that optimally solves previously unseen Sokoban puzzles 93.7% of the time, while using up to 26.8% fewer search st"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.14083","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/2402.14083/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-05T08:12:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XfJ0lLgNjzPf7X1YNWIPtf1FLUz3pEgvNe4G0x63PfW3S/1S8LrTFn3y0ZD8sTcMaYD7BPJqeSreOfR7+N2KAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T00:32:59.854541Z"},"content_sha256":"c76b5ee5c6977c8dcb83a14437391e22ecf1ecc379ec4e9a0f6f53c1e0d7fe0e","schema_version":"1.0","event_id":"sha256:c76b5ee5c6977c8dcb83a14437391e22ecf1ecc379ec4e9a0f6f53c1e0d7fe0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/bundle.json","state_url":"https://pith.science/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/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-16T00:32:59Z","links":{"resolver":"https://pith.science/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT","bundle":"https://pith.science/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/bundle.json","state":"https://pith.science/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T67M7LZAQDZ5MEVKZWWCNA6MYT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:T67M7LZAQDZ5MEVKZWWCNA6MYT","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":"a2a51befa063f684ae4cd6d8358f4060f4be6c695adafa0b92bfca70559ada73","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-21T19:17:28Z","title_canon_sha256":"7c1e871a3074115ba50dd4a4170c8bd9bbc701e9436e1b1230acdc3d4b03d86f"},"schema_version":"1.0","source":{"id":"2402.14083","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.14083","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"arxiv_version","alias_value":"2402.14083v2","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.14083","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_12","alias_value":"T67M7LZAQDZ5","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_16","alias_value":"T67M7LZAQDZ5MEVK","created_at":"2026-07-05T08:12:48Z"},{"alias_kind":"pith_short_8","alias_value":"T67M7LZA","created_at":"2026-07-05T08:12:48Z"}],"graph_snapshots":[{"event_id":"sha256:c76b5ee5c6977c8dcb83a14437391e22ecf1ecc379ec4e9a0f6f53c1e0d7fe0e","target":"graph","created_at":"2026-07-05T08:12:48Z","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/2402.14083/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While Transformers have enabled tremendous progress in various application settings, such architectures still trail behind traditional symbolic planners for solving complex decision making tasks. In this work, we demonstrate how to train Transformers to solve complex planning tasks. This is accomplished by training an encoder-decoder Transformer model to predict the search dynamics of the $A^*$ search algorithm. We fine tune this model to obtain a Searchformer, a Transformer model that optimally solves previously unseen Sokoban puzzles 93.7% of the time, while using up to 26.8% fewer search st","authors_text":"DiJia Su, Lucas Lehnert, Michael Rabbat, Paul Mcvay, Qinqing Zheng, Sainbayar Sukhbaatar, Yuandong Tian","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-21T19:17:28Z","title":"Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.14083","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:6641714a43914dd9f073c33c9a96f71bb02110a2592698bc0bb69bb97ffb8f49","target":"record","created_at":"2026-07-05T08:12:48Z","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":"a2a51befa063f684ae4cd6d8358f4060f4be6c695adafa0b92bfca70559ada73","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-21T19:17:28Z","title_canon_sha256":"7c1e871a3074115ba50dd4a4170c8bd9bbc701e9436e1b1230acdc3d4b03d86f"},"schema_version":"1.0","source":{"id":"2402.14083","kind":"arxiv","version":2}},"canonical_sha256":"9fbecfaf2080f3d612aacdac2683ccc4f606b1459fbc8edd83b4a3a8dd9102d4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9fbecfaf2080f3d612aacdac2683ccc4f606b1459fbc8edd83b4a3a8dd9102d4","first_computed_at":"2026-07-05T08:12:48.420959Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:12:48.420959Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KDDMMYOJt/pBk2QFEaGHcifNtIatces7rQRDG44zk9QT+H2OenkVc9vN/PutlpoLIvRy4AlxYG5nTroe3LqbCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:12:48.421374Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.14083","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6641714a43914dd9f073c33c9a96f71bb02110a2592698bc0bb69bb97ffb8f49","sha256:c76b5ee5c6977c8dcb83a14437391e22ecf1ecc379ec4e9a0f6f53c1e0d7fe0e"],"state_sha256":"a11b8c81e64bfd6632eabfe5a2b150eceabc99c9b7865c5f28f8f6a94da77267"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IcKqHe2yY6Xrc6U8qkUTL5GqTffGwTv37OoQBg0r1/PCOnFRm3qGCjF2TMyxe6MgdCfoW5VYuji9uXJ3N83ODA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T00:32:59.859314Z","bundle_sha256":"b5cccd7bbca4a41d0bac59d539b786c7e797ebf7440369deceab13e3be360dbb"}}