{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CA5SX7CC6I2QKKFQYHS3ZSZVIR","short_pith_number":"pith:CA5SX7CC","canonical_record":{"source":{"id":"2401.12947","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-01-23T18:07:38Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LO","cs.PL"],"title_canon_sha256":"b8ddbdc6ba50b595382d45bec23e55023be27025249e4f24dabc490637db410e","abstract_canon_sha256":"4cbb5775481fe0ba6bcfea7a6ed28c4c15ce60fc9e80d58ac4b0628175c98d48"},"schema_version":"1.0"},"canonical_sha256":"103b2bfc42f2350528b0c1e5bccb3544709eeefb7f422be49ec252ac00f397b9","source":{"kind":"arxiv","id":"2401.12947","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.12947","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.12947v1","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.12947","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_12","alias_value":"CA5SX7CC6I2Q","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_16","alias_value":"CA5SX7CC6I2QKKFQ","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_8","alias_value":"CA5SX7CC","created_at":"2026-07-05T07:36:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CA5SX7CC6I2QKKFQYHS3ZSZVIR","target":"record","payload":{"canonical_record":{"source":{"id":"2401.12947","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-01-23T18:07:38Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LO","cs.PL"],"title_canon_sha256":"b8ddbdc6ba50b595382d45bec23e55023be27025249e4f24dabc490637db410e","abstract_canon_sha256":"4cbb5775481fe0ba6bcfea7a6ed28c4c15ce60fc9e80d58ac4b0628175c98d48"},"schema_version":"1.0"},"canonical_sha256":"103b2bfc42f2350528b0c1e5bccb3544709eeefb7f422be49ec252ac00f397b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:36:46.142935Z","signature_b64":"T1nIjNDfnhtr4G4xd/1DLa/FCpEg6kCrHt9zTkJbRNfbwvb/VaXn0KDQgoCgKNkeXB2DFQi/k0WFZbvPjqJxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"103b2bfc42f2350528b0c1e5bccb3544709eeefb7f422be49ec252ac00f397b9","last_reissued_at":"2026-07-05T07:36:46.142464Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:36:46.142464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.12947","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-05T07:36:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vc8KlANHdWiXI1INiXIctHTKDrYFNM5AQ4mNLxX8cjAbt1iVcNsqC6j56QS42leS25unBtlKmk1OKRl9+DciAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T23:23:23.146850Z"},"content_sha256":"5c19c85e08fe41d07e3b13e3daefb9ef55c3bb83a99bf1715d2829f5d5b7eb3f","schema_version":"1.0","event_id":"sha256:5c19c85e08fe41d07e3b13e3daefb9ef55c3bb83a99bf1715d2829f5d5b7eb3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CA5SX7CC6I2QKKFQYHS3ZSZVIR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.FL","cs.LO","cs.PL"],"primary_cat":"cs.CL","authors_text":"Curt Tigges, Dylan Zhang, Maxim Raginsky, Stella Biderman, Talia Ringer, Zory Zhang","submitted_at":"2024-01-23T18:07:38Z","abstract_excerpt":"This paper investigates the ability of transformer-based models to learn structural recursion from examples. Recursion is a universal concept in both natural and formal languages. Structural recursion is central to the programming language and formal mathematics tasks where symbolic tools currently excel beyond neural models, such as inferring semantic relations between datatypes and emulating program behavior. We introduce a general framework that nicely connects the abstract concepts of structural recursion in the programming language domain to concrete sequence modeling problems and learned"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.12947","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/2401.12947/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-05T07:36:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tpfr6JJkHg9WRT8zurrn+2p/fJrPNHK0KRVNjzThFuSjiuGtw5GAPhWBcJ2u1zj1/0BxIzs4ajiQy0J8jtDsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T23:23:23.147373Z"},"content_sha256":"a2ffee744fbc9b6c49f009072a9882e267b1ddd9d4b4191b035e3d4c4cb382f6","schema_version":"1.0","event_id":"sha256:a2ffee744fbc9b6c49f009072a9882e267b1ddd9d4b4191b035e3d4c4cb382f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/bundle.json","state_url":"https://pith.science/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/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-10T23:23:23Z","links":{"resolver":"https://pith.science/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR","bundle":"https://pith.science/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/bundle.json","state":"https://pith.science/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CA5SX7CC6I2QKKFQYHS3ZSZVIR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CA5SX7CC6I2QKKFQYHS3ZSZVIR","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":"4cbb5775481fe0ba6bcfea7a6ed28c4c15ce60fc9e80d58ac4b0628175c98d48","cross_cats_sorted":["cs.AI","cs.FL","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-01-23T18:07:38Z","title_canon_sha256":"b8ddbdc6ba50b595382d45bec23e55023be27025249e4f24dabc490637db410e"},"schema_version":"1.0","source":{"id":"2401.12947","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.12947","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.12947v1","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.12947","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_12","alias_value":"CA5SX7CC6I2Q","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_16","alias_value":"CA5SX7CC6I2QKKFQ","created_at":"2026-07-05T07:36:46Z"},{"alias_kind":"pith_short_8","alias_value":"CA5SX7CC","created_at":"2026-07-05T07:36:46Z"}],"graph_snapshots":[{"event_id":"sha256:a2ffee744fbc9b6c49f009072a9882e267b1ddd9d4b4191b035e3d4c4cb382f6","target":"graph","created_at":"2026-07-05T07:36:46Z","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/2401.12947/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper investigates the ability of transformer-based models to learn structural recursion from examples. Recursion is a universal concept in both natural and formal languages. Structural recursion is central to the programming language and formal mathematics tasks where symbolic tools currently excel beyond neural models, such as inferring semantic relations between datatypes and emulating program behavior. We introduce a general framework that nicely connects the abstract concepts of structural recursion in the programming language domain to concrete sequence modeling problems and learned","authors_text":"Curt Tigges, Dylan Zhang, Maxim Raginsky, Stella Biderman, Talia Ringer, Zory Zhang","cross_cats":["cs.AI","cs.FL","cs.LO","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-01-23T18:07:38Z","title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.12947","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:5c19c85e08fe41d07e3b13e3daefb9ef55c3bb83a99bf1715d2829f5d5b7eb3f","target":"record","created_at":"2026-07-05T07:36:46Z","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":"4cbb5775481fe0ba6bcfea7a6ed28c4c15ce60fc9e80d58ac4b0628175c98d48","cross_cats_sorted":["cs.AI","cs.FL","cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-01-23T18:07:38Z","title_canon_sha256":"b8ddbdc6ba50b595382d45bec23e55023be27025249e4f24dabc490637db410e"},"schema_version":"1.0","source":{"id":"2401.12947","kind":"arxiv","version":1}},"canonical_sha256":"103b2bfc42f2350528b0c1e5bccb3544709eeefb7f422be49ec252ac00f397b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"103b2bfc42f2350528b0c1e5bccb3544709eeefb7f422be49ec252ac00f397b9","first_computed_at":"2026-07-05T07:36:46.142464Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:36:46.142464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T1nIjNDfnhtr4G4xd/1DLa/FCpEg6kCrHt9zTkJbRNfbwvb/VaXn0KDQgoCgKNkeXB2DFQi/k0WFZbvPjqJxBA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:36:46.142935Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.12947","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c19c85e08fe41d07e3b13e3daefb9ef55c3bb83a99bf1715d2829f5d5b7eb3f","sha256:a2ffee744fbc9b6c49f009072a9882e267b1ddd9d4b4191b035e3d4c4cb382f6"],"state_sha256":"98b2b64272369d62b91deb8d2b29c4c2cf8e5827e546e13ed36fde0e31fe00b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"le3tnyIb+c8tzYgW3ElnvkjA846isXM2cipB1/N/qj78y0y97QYZKsrXJVl6ORyGb2E4CUYBXTLZ1jJYE4hhAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T23:23:23.151149Z","bundle_sha256":"6f611e05e7c7e4ec1a2d381284d3acbc64ba8bfe90b0d174cd05d4cce720d553"}}