{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:GT5RNMXGP6JYECKKD7R6Y66DW7","short_pith_number":"pith:GT5RNMXG","canonical_record":{"source":{"id":"2305.14699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-24T04:08:37Z","cross_cats_sorted":["cs.AI","cs.LO","cs.PL"],"title_canon_sha256":"9c6afbea1ecf69389039fe2dbcf332c795155c00245366c2ce619f8b362cd6f1","abstract_canon_sha256":"835f67259e3d0333bab5e09cd672908422609ab6cccc48340b068a7a87808d61"},"schema_version":"1.0"},"canonical_sha256":"34fb16b2e67f9382094a1fe3ec7bc3b7d3e11266c7bed96eef877d7456ef0875","source":{"kind":"arxiv","id":"2305.14699","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14699","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14699v2","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14699","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_12","alias_value":"GT5RNMXGP6JY","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_16","alias_value":"GT5RNMXGP6JYECKK","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_8","alias_value":"GT5RNMXG","created_at":"2026-07-05T06:24:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:GT5RNMXGP6JYECKKD7R6Y66DW7","target":"record","payload":{"canonical_record":{"source":{"id":"2305.14699","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-24T04:08:37Z","cross_cats_sorted":["cs.AI","cs.LO","cs.PL"],"title_canon_sha256":"9c6afbea1ecf69389039fe2dbcf332c795155c00245366c2ce619f8b362cd6f1","abstract_canon_sha256":"835f67259e3d0333bab5e09cd672908422609ab6cccc48340b068a7a87808d61"},"schema_version":"1.0"},"canonical_sha256":"34fb16b2e67f9382094a1fe3ec7bc3b7d3e11266c7bed96eef877d7456ef0875","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:24:29.980629Z","signature_b64":"ACBlp22hXEoUili7txpEgwjkcjGY0ftoYt6UhlzTPySSYAphDWQygnIPDUPmIgJMNDeC3Ae733dOZHUBHGxAAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34fb16b2e67f9382094a1fe3ec7bc3b7d3e11266c7bed96eef877d7456ef0875","last_reissued_at":"2026-07-05T06:24:29.980192Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:24:29.980192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.14699","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-05T06:24:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SNyUJwiWMMDhwMSRu5W62Y1aNAuXylKwy+yOMoDSrx+f+UaHFMmNjujQtwkzeQR14rHYmnsyBwi7U2Bu9/EJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:24:30.832532Z"},"content_sha256":"e127f499038036fe22270ac30fa472ff02207ce5810e3413b242be17f75e4fed","schema_version":"1.0","event_id":"sha256:e127f499038036fe22270ac30fa472ff02207ce5810e3413b242be17f75e4fed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:GT5RNMXGP6JYECKKD7R6Y66DW7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Transformers Learn to Solve Problems Recursively?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.PL"],"primary_cat":"cs.LG","authors_text":"Curt Tigges, Maxim Raginsky, Shizhuo Dylan Zhang, Stella Biderman, Talia Ringer","submitted_at":"2023-05-24T04:08:37Z","abstract_excerpt":"Neural networks have in recent years shown promise for helping software engineers write programs and even formally verify them. While semantic information plays a crucial part in these processes, it remains unclear to what degree popular neural architectures like transformers are capable of modeling that information. This paper examines the behavior of neural networks learning algorithms relevant to programs and formal verification proofs through the lens of mechanistic interpretability, focusing in particular on structural recursion. Structural recursion is at the heart of tasks on which symb"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14699","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/2305.14699/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-05T06:24:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gpokPDBUpZwcMXQL88ZCHgB/kHyTksHuXV/nxAhpcGdU2HacUIyfB3OZ488g8icfX7LLw+FWsrPZ9PhBErpxCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T13:24:30.833225Z"},"content_sha256":"c61f3644508a612b2aa71dffcc16aad13b2bb8c16e5323dabe4cbf8dd6e4929c","schema_version":"1.0","event_id":"sha256:c61f3644508a612b2aa71dffcc16aad13b2bb8c16e5323dabe4cbf8dd6e4929c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/bundle.json","state_url":"https://pith.science/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/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-09T13:24:30Z","links":{"resolver":"https://pith.science/pith/GT5RNMXGP6JYECKKD7R6Y66DW7","bundle":"https://pith.science/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/bundle.json","state":"https://pith.science/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GT5RNMXGP6JYECKKD7R6Y66DW7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GT5RNMXGP6JYECKKD7R6Y66DW7","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":"835f67259e3d0333bab5e09cd672908422609ab6cccc48340b068a7a87808d61","cross_cats_sorted":["cs.AI","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-24T04:08:37Z","title_canon_sha256":"9c6afbea1ecf69389039fe2dbcf332c795155c00245366c2ce619f8b362cd6f1"},"schema_version":"1.0","source":{"id":"2305.14699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14699","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14699v2","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14699","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_12","alias_value":"GT5RNMXGP6JY","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_16","alias_value":"GT5RNMXGP6JYECKK","created_at":"2026-07-05T06:24:29Z"},{"alias_kind":"pith_short_8","alias_value":"GT5RNMXG","created_at":"2026-07-05T06:24:29Z"}],"graph_snapshots":[{"event_id":"sha256:c61f3644508a612b2aa71dffcc16aad13b2bb8c16e5323dabe4cbf8dd6e4929c","target":"graph","created_at":"2026-07-05T06:24:29Z","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/2305.14699/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks have in recent years shown promise for helping software engineers write programs and even formally verify them. While semantic information plays a crucial part in these processes, it remains unclear to what degree popular neural architectures like transformers are capable of modeling that information. This paper examines the behavior of neural networks learning algorithms relevant to programs and formal verification proofs through the lens of mechanistic interpretability, focusing in particular on structural recursion. Structural recursion is at the heart of tasks on which symb","authors_text":"Curt Tigges, Maxim Raginsky, Shizhuo Dylan Zhang, Stella Biderman, Talia Ringer","cross_cats":["cs.AI","cs.LO","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-24T04:08:37Z","title":"Can Transformers Learn to Solve Problems Recursively?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14699","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:e127f499038036fe22270ac30fa472ff02207ce5810e3413b242be17f75e4fed","target":"record","created_at":"2026-07-05T06:24:29Z","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":"835f67259e3d0333bab5e09cd672908422609ab6cccc48340b068a7a87808d61","cross_cats_sorted":["cs.AI","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-05-24T04:08:37Z","title_canon_sha256":"9c6afbea1ecf69389039fe2dbcf332c795155c00245366c2ce619f8b362cd6f1"},"schema_version":"1.0","source":{"id":"2305.14699","kind":"arxiv","version":2}},"canonical_sha256":"34fb16b2e67f9382094a1fe3ec7bc3b7d3e11266c7bed96eef877d7456ef0875","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34fb16b2e67f9382094a1fe3ec7bc3b7d3e11266c7bed96eef877d7456ef0875","first_computed_at":"2026-07-05T06:24:29.980192Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:24:29.980192Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ACBlp22hXEoUili7txpEgwjkcjGY0ftoYt6UhlzTPySSYAphDWQygnIPDUPmIgJMNDeC3Ae733dOZHUBHGxAAg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:24:29.980629Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.14699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e127f499038036fe22270ac30fa472ff02207ce5810e3413b242be17f75e4fed","sha256:c61f3644508a612b2aa71dffcc16aad13b2bb8c16e5323dabe4cbf8dd6e4929c"],"state_sha256":"9e91f66c048b27cf2253236658b93eb5646c3085a86ffd88bc13888c808103cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/6UhU2lcKb0BQCvg1FxkvwFiq8MpFVZtho6YuO0lmYuH46IEfY60bhFExAQL9bF6PIQIDdbCGTKDsVb3jZX6BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T13:24:30.839659Z","bundle_sha256":"970ec606e6d4f452bdbe1898517e5e75505cca69d3abcd3dfc5e251f1bb0d4f7"}}