{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4JGIN6A2G2THFO3X43YSRYLXQN","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":"75aad4d0695a8ad1e07a3752bbcce5c355171aaea4f15aa9aaddf5a726b59ba6","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-01-09T12:49:41Z","title_canon_sha256":"9da15540acf91eab808451ead2408e56fe27c5d2e1329d28e29ddad307e38717"},"schema_version":"1.0","source":{"id":"2601.05770","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2601.05770","created_at":"2026-06-01T01:02:28Z"},{"alias_kind":"arxiv_version","alias_value":"2601.05770v3","created_at":"2026-06-01T01:02:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2601.05770","created_at":"2026-06-01T01:02:28Z"},{"alias_kind":"pith_short_12","alias_value":"4JGIN6A2G2TH","created_at":"2026-06-01T01:02:28Z"},{"alias_kind":"pith_short_16","alias_value":"4JGIN6A2G2THFO3X","created_at":"2026-06-01T01:02:28Z"},{"alias_kind":"pith_short_8","alias_value":"4JGIN6A2","created_at":"2026-06-01T01:02:28Z"}],"graph_snapshots":[{"event_id":"sha256:ab0e349750a3d9ea5c451a9da5ef9e0b70dc9a42b8849bf6d1c3339c508cb6b2","target":"graph","created_at":"2026-06-01T01:02:28Z","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/2601.05770/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algorithm extraction aims to synthesize executable programs directly from models trained on algorithmic tasks, enabling de novo recovery of executable mechanisms from weights without relying on human-written target programs. However, applying this paradigm to Transformer is complicated by representation entanglement (e.g., superposition), where features encoded in overlapping directions substantially hinder the recovery of symbolic expressions. We propose the Discrete Transformer, an architecture explicitly designed to bridge the gap between continuous representations and discrete symbolic log","authors_text":"Dongming Jin, Jie Fu, Kechi Zhang, Wei Bi, Yifan Zhang, Zhi Jin","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-01-09T12:49:41Z","title":"Weights to Code: Extracting Interpretable Algorithms from the Discrete Transformer"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2601.05770","kind":"arxiv","version":3},"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:a1037070afec00e431a8a7d652118b9745f9d1d3d907fc37361d5e5a8587e1c6","target":"record","created_at":"2026-06-01T01:02:28Z","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":"75aad4d0695a8ad1e07a3752bbcce5c355171aaea4f15aa9aaddf5a726b59ba6","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-01-09T12:49:41Z","title_canon_sha256":"9da15540acf91eab808451ead2408e56fe27c5d2e1329d28e29ddad307e38717"},"schema_version":"1.0","source":{"id":"2601.05770","kind":"arxiv","version":3}},"canonical_sha256":"e24c86f81a36a672bb77e6f128e17783576fb274deaa7e329a973b39db84aab4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e24c86f81a36a672bb77e6f128e17783576fb274deaa7e329a973b39db84aab4","first_computed_at":"2026-06-01T01:02:28.898020Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:02:28.898020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oasmQs7Oz/N7MVudXc5GyNJMNVg7jccFqG54JQCxtFAc/IoeMcDAdZ+H375uQlpb2u8KDRvOcwMHPzmdEtWwCg==","signature_status":"signed_v1","signed_at":"2026-06-01T01:02:28.899271Z","signed_message":"canonical_sha256_bytes"},"source_id":"2601.05770","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a1037070afec00e431a8a7d652118b9745f9d1d3d907fc37361d5e5a8587e1c6","sha256:ab0e349750a3d9ea5c451a9da5ef9e0b70dc9a42b8849bf6d1c3339c508cb6b2"],"state_sha256":"6f25d49968e9af214c14d7078d66b8d1896768c7c4d6ae1a215f3bb79b872044"}