{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VD6MKHPY4PSP4OAE6VQ5JQVVDP","short_pith_number":"pith:VD6MKHPY","canonical_record":{"source":{"id":"2510.09340","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-10T12:49:00Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"93207fc678fd9f12c41e71b1f2f3086bd3cfe6c045af54aefbe59a0163d4ce04","abstract_canon_sha256":"c73509c52a46ecb585c354d7644a01a88ea0888b7145ecdbff94668f2ff3b07d"},"schema_version":"1.0"},"canonical_sha256":"a8fcc51df8e3e4fe3804f561d4c2b51bc8777732fcffb953311c01852dd0ed25","source":{"kind":"arxiv","id":"2510.09340","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.09340","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"arxiv_version","alias_value":"2510.09340v2","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.09340","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_12","alias_value":"VD6MKHPY4PSP","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_16","alias_value":"VD6MKHPY4PSP4OAE","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_8","alias_value":"VD6MKHPY","created_at":"2026-07-01T01:18:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VD6MKHPY4PSP4OAE6VQ5JQVVDP","target":"record","payload":{"canonical_record":{"source":{"id":"2510.09340","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-10T12:49:00Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"93207fc678fd9f12c41e71b1f2f3086bd3cfe6c045af54aefbe59a0163d4ce04","abstract_canon_sha256":"c73509c52a46ecb585c354d7644a01a88ea0888b7145ecdbff94668f2ff3b07d"},"schema_version":"1.0"},"canonical_sha256":"a8fcc51df8e3e4fe3804f561d4c2b51bc8777732fcffb953311c01852dd0ed25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:23.934069Z","signature_b64":"mC7F+VktBkIDat65JPTfcytOt9HnyJsKi/77QoOaWzEhr2Ul4PtiOllUCRk2UzlmpxjMDp8Um0s750i6LPc2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8fcc51df8e3e4fe3804f561d4c2b51bc8777732fcffb953311c01852dd0ed25","last_reissued_at":"2026-07-01T01:18:23.933571Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:23.933571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.09340","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-01T01:18:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zVplPt9BR5UhKT4Ul9eiR9aMftqc5J58qvPdYGf/yhZz6pgHs5ioZiBjCabS1I9/lGwQZshBem74NYYfrJ4yAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:37:57.239648Z"},"content_sha256":"e53c9457ad7737e8ed2bbceb2c2350de0df75299cc7ed0d87e4724446035b317","schema_version":"1.0","event_id":"sha256:e53c9457ad7737e8ed2bbceb2c2350de0df75299cc7ed0d87e4724446035b317"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VD6MKHPY4PSP4OAE6VQ5JQVVDP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deductive Logic in Language Models: Horizontal vs Vertical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Davide Maltoni, Matteo Ferrara","submitted_at":"2025-10-10T12:49:00Z","abstract_excerpt":"Recent language models exhibit significant logical reasoning abilities, yet the mechanisms supporting deductive inference remain poorly understood. This paper studies small transformer-based language models trained from scratch on multi-step deductive tasks, focusing on the distinction between horizontal reasoning, where intermediate steps are generated autoregressively, and vertical reasoning, where inference unfolds implicitly across layers before the first output token is produced. We analyze two synthetic tasks: logical consequence over chains of symbolic implications and root-to-leaf navi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.09340","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/2510.09340/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-01T01:18:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y6GfK2hv6JzL4qYZWYxZF7xexpHSBCnfXbuPOlOF+yO0XHRE+wLH9/Jq5NA7pbLypU0jY2cfPlWUWFanFobLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T15:37:57.240018Z"},"content_sha256":"4323d23f040626334b9887635114e850ad67f3cf83a7c49c27cd157e261434da","schema_version":"1.0","event_id":"sha256:4323d23f040626334b9887635114e850ad67f3cf83a7c49c27cd157e261434da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/bundle.json","state_url":"https://pith.science/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/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-07T15:37:57Z","links":{"resolver":"https://pith.science/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP","bundle":"https://pith.science/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/bundle.json","state":"https://pith.science/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VD6MKHPY4PSP4OAE6VQ5JQVVDP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VD6MKHPY4PSP4OAE6VQ5JQVVDP","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":"c73509c52a46ecb585c354d7644a01a88ea0888b7145ecdbff94668f2ff3b07d","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-10T12:49:00Z","title_canon_sha256":"93207fc678fd9f12c41e71b1f2f3086bd3cfe6c045af54aefbe59a0163d4ce04"},"schema_version":"1.0","source":{"id":"2510.09340","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.09340","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"arxiv_version","alias_value":"2510.09340v2","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.09340","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_12","alias_value":"VD6MKHPY4PSP","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_16","alias_value":"VD6MKHPY4PSP4OAE","created_at":"2026-07-01T01:18:23Z"},{"alias_kind":"pith_short_8","alias_value":"VD6MKHPY","created_at":"2026-07-01T01:18:23Z"}],"graph_snapshots":[{"event_id":"sha256:4323d23f040626334b9887635114e850ad67f3cf83a7c49c27cd157e261434da","target":"graph","created_at":"2026-07-01T01:18:23Z","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/2510.09340/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent language models exhibit significant logical reasoning abilities, yet the mechanisms supporting deductive inference remain poorly understood. This paper studies small transformer-based language models trained from scratch on multi-step deductive tasks, focusing on the distinction between horizontal reasoning, where intermediate steps are generated autoregressively, and vertical reasoning, where inference unfolds implicitly across layers before the first output token is produced. We analyze two synthetic tasks: logical consequence over chains of symbolic implications and root-to-leaf navi","authors_text":"Davide Maltoni, Matteo Ferrara","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-10T12:49:00Z","title":"Deductive Logic in Language Models: Horizontal vs Vertical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.09340","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:e53c9457ad7737e8ed2bbceb2c2350de0df75299cc7ed0d87e4724446035b317","target":"record","created_at":"2026-07-01T01:18:23Z","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":"c73509c52a46ecb585c354d7644a01a88ea0888b7145ecdbff94668f2ff3b07d","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-10-10T12:49:00Z","title_canon_sha256":"93207fc678fd9f12c41e71b1f2f3086bd3cfe6c045af54aefbe59a0163d4ce04"},"schema_version":"1.0","source":{"id":"2510.09340","kind":"arxiv","version":2}},"canonical_sha256":"a8fcc51df8e3e4fe3804f561d4c2b51bc8777732fcffb953311c01852dd0ed25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8fcc51df8e3e4fe3804f561d4c2b51bc8777732fcffb953311c01852dd0ed25","first_computed_at":"2026-07-01T01:18:23.933571Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:23.933571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mC7F+VktBkIDat65JPTfcytOt9HnyJsKi/77QoOaWzEhr2Ul4PtiOllUCRk2UzlmpxjMDp8Um0s750i6LPc2BQ==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:23.934069Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.09340","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e53c9457ad7737e8ed2bbceb2c2350de0df75299cc7ed0d87e4724446035b317","sha256:4323d23f040626334b9887635114e850ad67f3cf83a7c49c27cd157e261434da"],"state_sha256":"84b498dde429593e66fd3fe3c7098f8d2733694a1b463d4bf1177901c81702fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nMStbhMiwryRL6yJ6eHEIrZjtA1lw2K+ZcQO98yfXuh78G4MP1IFajdJhQGxhCnISsfrleh+TXBtqqubYdsoCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T15:37:57.242006Z","bundle_sha256":"b823d1f48ef2b43caa6cda82a41fa760657d2cb8e4b63d6888f45c4d71d43114"}}