{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:3AFBIADCN2CAEXC6ZSLJ2VA3FH","short_pith_number":"pith:3AFBIADC","canonical_record":{"source":{"id":"2602.08857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:22:29Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"12fffa64e3edf22851fa4c7ee92d91721c1680c0cc98312a5c0d7029e8b32f60","abstract_canon_sha256":"4de8c0e502ebf31097610f062a5326ac1ef07cf4c78097604000e5c2e88963db"},"schema_version":"1.0"},"canonical_sha256":"d80a1400626e84025c5ecc969d541b29c84ccc58e3fd827c541f4c1419bc2a13","source":{"kind":"arxiv","id":"2602.08857","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.08857","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"arxiv_version","alias_value":"2602.08857v2","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.08857","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_12","alias_value":"3AFBIADCN2CA","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_16","alias_value":"3AFBIADCN2CAEXC6","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_8","alias_value":"3AFBIADC","created_at":"2026-06-08T01:05:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:3AFBIADCN2CAEXC6ZSLJ2VA3FH","target":"record","payload":{"canonical_record":{"source":{"id":"2602.08857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:22:29Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"12fffa64e3edf22851fa4c7ee92d91721c1680c0cc98312a5c0d7029e8b32f60","abstract_canon_sha256":"4de8c0e502ebf31097610f062a5326ac1ef07cf4c78097604000e5c2e88963db"},"schema_version":"1.0"},"canonical_sha256":"d80a1400626e84025c5ecc969d541b29c84ccc58e3fd827c541f4c1419bc2a13","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:05:07.118506Z","signature_b64":"0KJHRdG8Jmue9jDJ0FKyQktcGK5RswwnR3jA1dfcipQbY5JKlKjUanKqTuQbXU6rb7iNJdtvL1ZVpAt2bKI2Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d80a1400626e84025c5ecc969d541b29c84ccc58e3fd827c541f4c1419bc2a13","last_reissued_at":"2026-06-08T01:05:07.117527Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:05:07.117527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.08857","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-06-08T01:05:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GW8bbLOASgmOF//VpExu8zEhAumE6r42aEQ2qZJ9KD88txfgW8fidD/iY3Lxi+GcoijJNCOK8fVsjyWjFHWrBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:11:20.637385Z"},"content_sha256":"ce56e2187ada3c3382d90bd96b9ef91dba8d417dfb1d94819c3f1432b2591ed0","schema_version":"1.0","event_id":"sha256:ce56e2187ada3c3382d90bd96b9ef91dba8d417dfb1d94819c3f1432b2591ed0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:3AFBIADCN2CAEXC6ZSLJ2VA3FH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Discovering Interpretable Algorithms by Decompiling Transformers to RASP","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Aleksandra Bakalova, Michael Hahn, Satwik Bhattamishra, William Merrill, Xinting Huang","submitted_at":"2026-02-09T16:22:29Z","abstract_excerpt":"Recent work has shown that the computations of Transformers can be simulated in the RASP family of programming languages. These findings have enabled improved understanding of the expressive capacity and generalization abilities of Transformers. In particular, Transformers have been suggested to length-generalize exactly on problems that have simple RASP programs. However, it remains open whether trained models actually implement simple interpretable programs. In this paper, we present a general method to extract such programs from trained Transformers. The idea is to faithfully re-parameteriz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.08857","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/2602.08857/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-06-08T01:05:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ucDq+UZoC0SF9BEkhMuvZEeObDGkqfGYv+KDsZiKivvRIWuM71pn8yoG5LoCDbpx55xMEiNfnIP6NYcp+V/+Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:11:20.637761Z"},"content_sha256":"f54c51a80e1bb814b939ffff69a966cf6f900da37e1b38ef8b4baa37c5332281","schema_version":"1.0","event_id":"sha256:f54c51a80e1bb814b939ffff69a966cf6f900da37e1b38ef8b4baa37c5332281"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/bundle.json","state_url":"https://pith.science/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/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-06-08T23:11:20Z","links":{"resolver":"https://pith.science/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH","bundle":"https://pith.science/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/bundle.json","state":"https://pith.science/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3AFBIADCN2CAEXC6ZSLJ2VA3FH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3AFBIADCN2CAEXC6ZSLJ2VA3FH","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":"4de8c0e502ebf31097610f062a5326ac1ef07cf4c78097604000e5c2e88963db","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:22:29Z","title_canon_sha256":"12fffa64e3edf22851fa4c7ee92d91721c1680c0cc98312a5c0d7029e8b32f60"},"schema_version":"1.0","source":{"id":"2602.08857","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.08857","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"arxiv_version","alias_value":"2602.08857v2","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.08857","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_12","alias_value":"3AFBIADCN2CA","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_16","alias_value":"3AFBIADCN2CAEXC6","created_at":"2026-06-08T01:05:07Z"},{"alias_kind":"pith_short_8","alias_value":"3AFBIADC","created_at":"2026-06-08T01:05:07Z"}],"graph_snapshots":[{"event_id":"sha256:f54c51a80e1bb814b939ffff69a966cf6f900da37e1b38ef8b4baa37c5332281","target":"graph","created_at":"2026-06-08T01:05:07Z","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/2602.08857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent work has shown that the computations of Transformers can be simulated in the RASP family of programming languages. These findings have enabled improved understanding of the expressive capacity and generalization abilities of Transformers. In particular, Transformers have been suggested to length-generalize exactly on problems that have simple RASP programs. However, it remains open whether trained models actually implement simple interpretable programs. In this paper, we present a general method to extract such programs from trained Transformers. The idea is to faithfully re-parameteriz","authors_text":"Aleksandra Bakalova, Michael Hahn, Satwik Bhattamishra, William Merrill, Xinting Huang","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:22:29Z","title":"Discovering Interpretable Algorithms by Decompiling Transformers to RASP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.08857","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:ce56e2187ada3c3382d90bd96b9ef91dba8d417dfb1d94819c3f1432b2591ed0","target":"record","created_at":"2026-06-08T01:05:07Z","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":"4de8c0e502ebf31097610f062a5326ac1ef07cf4c78097604000e5c2e88963db","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:22:29Z","title_canon_sha256":"12fffa64e3edf22851fa4c7ee92d91721c1680c0cc98312a5c0d7029e8b32f60"},"schema_version":"1.0","source":{"id":"2602.08857","kind":"arxiv","version":2}},"canonical_sha256":"d80a1400626e84025c5ecc969d541b29c84ccc58e3fd827c541f4c1419bc2a13","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d80a1400626e84025c5ecc969d541b29c84ccc58e3fd827c541f4c1419bc2a13","first_computed_at":"2026-06-08T01:05:07.117527Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-08T01:05:07.117527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0KJHRdG8Jmue9jDJ0FKyQktcGK5RswwnR3jA1dfcipQbY5JKlKjUanKqTuQbXU6rb7iNJdtvL1ZVpAt2bKI2Aw==","signature_status":"signed_v1","signed_at":"2026-06-08T01:05:07.118506Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.08857","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce56e2187ada3c3382d90bd96b9ef91dba8d417dfb1d94819c3f1432b2591ed0","sha256:f54c51a80e1bb814b939ffff69a966cf6f900da37e1b38ef8b4baa37c5332281"],"state_sha256":"ebf26d168f126674e3abfdd21e8b225315ce9260ba3eb3b9bfb5aab32b1f3ae1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ukw+HXisA1RhP01pJ3MoXZ9ITUU2CvI30QL1rvkc4O7ezvc59v/niBM3DJo5Cig87aMGcvouIGyWoCEcgs2GAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T23:11:20.639663Z","bundle_sha256":"dc6f0f0eba314d7ec6628467a24022bab7ead619357ba0ac7204a7a83e15f9a6"}}