{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HFHG6TPHQWIHHTLC4JF3SEOAY2","short_pith_number":"pith:HFHG6TPH","canonical_record":{"source":{"id":"2405.18512","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-28T18:31:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2c67d4be1ffb5fb95f7c2432f9e145b77af7a69aa8b58d47c0a0a38abb594e12","abstract_canon_sha256":"9c8e81ed61cdd965cd6fc7dcf2177a159232c8e9b8dfd1fc1b44dee12da8f765"},"schema_version":"1.0"},"canonical_sha256":"394e6f4de7859073cd62e24bb911c0c6904921735b8eaec8d658eebf7dcc1114","source":{"kind":"arxiv","id":"2405.18512","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.18512","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"2405.18512v1","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.18512","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"HFHG6TPHQWIH","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"HFHG6TPHQWIHHTLC","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"HFHG6TPH","created_at":"2026-07-05T08:24:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HFHG6TPHQWIHHTLC4JF3SEOAY2","target":"record","payload":{"canonical_record":{"source":{"id":"2405.18512","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-28T18:31:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2c67d4be1ffb5fb95f7c2432f9e145b77af7a69aa8b58d47c0a0a38abb594e12","abstract_canon_sha256":"9c8e81ed61cdd965cd6fc7dcf2177a159232c8e9b8dfd1fc1b44dee12da8f765"},"schema_version":"1.0"},"canonical_sha256":"394e6f4de7859073cd62e24bb911c0c6904921735b8eaec8d658eebf7dcc1114","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:24:43.769561Z","signature_b64":"LbLfc2lXd6ExVil2//BggZhJxhQFa3CamKiMqsq2gsCyZs5A+LAJJrl9q+ywJvxLsFumu9bdl1Yq7K1/c2g8Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"394e6f4de7859073cd62e24bb911c0c6904921735b8eaec8d658eebf7dcc1114","last_reissued_at":"2026-07-05T08:24:43.769036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:24:43.769036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.18512","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-05T08:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4puaFzPBFDkgQuaAhFgsVhZPVpwo1EusXcNi0qeIz8KSFCpOg/iqLuv6Q6QkzYaPwpUVPX12/OXMCOqFeew6Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T12:55:23.917781Z"},"content_sha256":"23310123aaba11e5b3bee16c6998075f363cf2a9aecbaad2ad63f84b55a26e22","schema_version":"1.0","event_id":"sha256:23310123aaba11e5b3bee16c6998075f363cf2a9aecbaad2ad63f84b55a26e22"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HFHG6TPHQWIHHTLC4JF3SEOAY2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Understanding Transformer Reasoning Capabilities via Graph Algorithms","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Anton Tsitsulin, Bahare Fatemi, Bryan Perozzi, Clayton Sanford, Ethan Hall, Jonathan Halcrow, Mehran Kazemi, Vahab Mirrokni","submitted_at":"2024-05-28T18:31:14Z","abstract_excerpt":"Which transformer scaling regimes are able to perfectly solve different classes of algorithmic problems? While tremendous empirical advances have been attained by transformer-based neural networks, a theoretical understanding of their algorithmic reasoning capabilities in realistic parameter regimes is lacking. We investigate this question in terms of the network's depth, width, and number of extra tokens for algorithm execution. Our novel representational hierarchy separates 9 algorithmic reasoning problems into classes solvable by transformers in different realistic parameter scaling regimes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.18512","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/2405.18512/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:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VQPAZmadRh0OvXXM0eizVrV8X8S8CERaZ7nKi9r5lI20K1GZfdj4+RRe4p+dk0I4LvBz2jjUFMFKX+VwqCoWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T12:55:23.918463Z"},"content_sha256":"c91149b799e1d8a968a8b4eb97b0dec7047b629f2c1d6c26549a045f1cf879cb","schema_version":"1.0","event_id":"sha256:c91149b799e1d8a968a8b4eb97b0dec7047b629f2c1d6c26549a045f1cf879cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/bundle.json","state_url":"https://pith.science/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/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-07-05T12:55:23Z","links":{"resolver":"https://pith.science/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2","bundle":"https://pith.science/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/bundle.json","state":"https://pith.science/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HFHG6TPHQWIHHTLC4JF3SEOAY2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HFHG6TPHQWIHHTLC4JF3SEOAY2","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":"9c8e81ed61cdd965cd6fc7dcf2177a159232c8e9b8dfd1fc1b44dee12da8f765","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-28T18:31:14Z","title_canon_sha256":"2c67d4be1ffb5fb95f7c2432f9e145b77af7a69aa8b58d47c0a0a38abb594e12"},"schema_version":"1.0","source":{"id":"2405.18512","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.18512","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"2405.18512v1","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.18512","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"HFHG6TPHQWIH","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"HFHG6TPHQWIHHTLC","created_at":"2026-07-05T08:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"HFHG6TPH","created_at":"2026-07-05T08:24:43Z"}],"graph_snapshots":[{"event_id":"sha256:c91149b799e1d8a968a8b4eb97b0dec7047b629f2c1d6c26549a045f1cf879cb","target":"graph","created_at":"2026-07-05T08:24:43Z","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/2405.18512/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Which transformer scaling regimes are able to perfectly solve different classes of algorithmic problems? While tremendous empirical advances have been attained by transformer-based neural networks, a theoretical understanding of their algorithmic reasoning capabilities in realistic parameter regimes is lacking. We investigate this question in terms of the network's depth, width, and number of extra tokens for algorithm execution. Our novel representational hierarchy separates 9 algorithmic reasoning problems into classes solvable by transformers in different realistic parameter scaling regimes","authors_text":"Anton Tsitsulin, Bahare Fatemi, Bryan Perozzi, Clayton Sanford, Ethan Hall, Jonathan Halcrow, Mehran Kazemi, Vahab Mirrokni","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-28T18:31:14Z","title":"Understanding Transformer Reasoning Capabilities via Graph Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.18512","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:23310123aaba11e5b3bee16c6998075f363cf2a9aecbaad2ad63f84b55a26e22","target":"record","created_at":"2026-07-05T08:24:43Z","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":"9c8e81ed61cdd965cd6fc7dcf2177a159232c8e9b8dfd1fc1b44dee12da8f765","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-05-28T18:31:14Z","title_canon_sha256":"2c67d4be1ffb5fb95f7c2432f9e145b77af7a69aa8b58d47c0a0a38abb594e12"},"schema_version":"1.0","source":{"id":"2405.18512","kind":"arxiv","version":1}},"canonical_sha256":"394e6f4de7859073cd62e24bb911c0c6904921735b8eaec8d658eebf7dcc1114","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"394e6f4de7859073cd62e24bb911c0c6904921735b8eaec8d658eebf7dcc1114","first_computed_at":"2026-07-05T08:24:43.769036Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:24:43.769036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LbLfc2lXd6ExVil2//BggZhJxhQFa3CamKiMqsq2gsCyZs5A+LAJJrl9q+ywJvxLsFumu9bdl1Yq7K1/c2g8Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:24:43.769561Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.18512","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23310123aaba11e5b3bee16c6998075f363cf2a9aecbaad2ad63f84b55a26e22","sha256:c91149b799e1d8a968a8b4eb97b0dec7047b629f2c1d6c26549a045f1cf879cb"],"state_sha256":"71b81deb5cd329fad578d59d88c5a134c74a3ecf75a9338ac920356a81a9de1b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9fepx1q5zZhhNvdqlW011j2j72EMbK8RqNias3GHNbi+KQqiY6ODcT0XFKlcYiMeiGVDXM/qytF5qNKOdR8xAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T12:55:23.922209Z","bundle_sha256":"2befa11d892233d142c90de68692c6c6a561621e37062678954227b452be71bb"}}