{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:VAGRSDLHZT2TBXLO6OEHDNRMHT","short_pith_number":"pith:VAGRSDLH","canonical_record":{"source":{"id":"2411.04105","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-11-06T18:35:32Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"8196a13dd778b6eb7f55cdfe824ee3f78018082a9a1fcbbf9a992564b9c01a0e","abstract_canon_sha256":"4d662449efb33b1b86f63794daea81068f8371704c6069f6aeac1caa51c100f6"},"schema_version":"1.0"},"canonical_sha256":"a80d190d67ccf530dd6ef38871b62c3cea5718da69a76fcc8aa7442fcb678969","source":{"kind":"arxiv","id":"2411.04105","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.04105","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"arxiv_version","alias_value":"2411.04105v4","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.04105","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_12","alias_value":"VAGRSDLHZT2T","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_16","alias_value":"VAGRSDLHZT2TBXLO","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_8","alias_value":"VAGRSDLH","created_at":"2026-07-05T11:24:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:VAGRSDLHZT2TBXLO6OEHDNRMHT","target":"record","payload":{"canonical_record":{"source":{"id":"2411.04105","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-11-06T18:35:32Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"8196a13dd778b6eb7f55cdfe824ee3f78018082a9a1fcbbf9a992564b9c01a0e","abstract_canon_sha256":"4d662449efb33b1b86f63794daea81068f8371704c6069f6aeac1caa51c100f6"},"schema_version":"1.0"},"canonical_sha256":"a80d190d67ccf530dd6ef38871b62c3cea5718da69a76fcc8aa7442fcb678969","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:08.169279Z","signature_b64":"X2UxKP9MpV0Rdq00vSlAhBi05NIWcCc6Lk5JXh0nBgSlD/QHKEQBiC0oSuYtcdSGSJ0/dNCuWN3E2itzRa1mCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a80d190d67ccf530dd6ef38871b62c3cea5718da69a76fcc8aa7442fcb678969","last_reissued_at":"2026-07-05T11:24:08.168715Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:08.168715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.04105","source_version":4,"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-05T11:24:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YKTlHEkbOr8yFuH9QsFQ3KD8heAdlrHCXA9hJ9ZouvFsCL1kpBk+oWp9APcQjy+bbNkLo8MX3xTYrLpqKV3lBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T16:47:37.613900Z"},"content_sha256":"7add78117289b956c9f7d5cae424751c526e71299aff2a3d1cdb86a9b2c73927","schema_version":"1.0","event_id":"sha256:7add78117289b956c9f7d5cae424751c526e71299aff2a3d1cdb86a9b2c73927"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:VAGRSDLHZT2TBXLO6OEHDNRMHT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Cyrus Rashtchian, Enming Luo, Guan Zhe Hong, Nishanth Dikkala, Rina Panigrahy, Xin Wang","submitted_at":"2024-11-06T18:35:32Z","abstract_excerpt":"Due to the size and complexity of modern large language models (LLMs), it has proven challenging to uncover the underlying mechanisms that models use to solve reasoning problems. For instance, is their reasoning for a specific problem localized to certain parts of the network? Do they break down the reasoning problem into modular components that are then executed as sequential steps as we go deeper in the model? To better understand the reasoning capability of LLMs, we study a minimal propositional logic problem that requires combining multiple facts to arrive at a solution. By studying this p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.04105","kind":"arxiv","version":4},"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/2411.04105/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-05T11:24:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EmQN3E0AKl4sChaKpoLHOxOpSBthBXw3tLbsGKx/pTYY+WX5zjeEHf5kCmYtOjOWkvhd8KgzNX2M4+pD3/ayAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T16:47:37.614435Z"},"content_sha256":"4d9bc3f4bf8f8f7a87b275aabc4a6959629c55ef2cad3d2b1f562347886ff109","schema_version":"1.0","event_id":"sha256:4d9bc3f4bf8f8f7a87b275aabc4a6959629c55ef2cad3d2b1f562347886ff109"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/bundle.json","state_url":"https://pith.science/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/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-10T16:47:37Z","links":{"resolver":"https://pith.science/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT","bundle":"https://pith.science/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/bundle.json","state":"https://pith.science/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VAGRSDLHZT2TBXLO6OEHDNRMHT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:VAGRSDLHZT2TBXLO6OEHDNRMHT","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":"4d662449efb33b1b86f63794daea81068f8371704c6069f6aeac1caa51c100f6","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-11-06T18:35:32Z","title_canon_sha256":"8196a13dd778b6eb7f55cdfe824ee3f78018082a9a1fcbbf9a992564b9c01a0e"},"schema_version":"1.0","source":{"id":"2411.04105","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.04105","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"arxiv_version","alias_value":"2411.04105v4","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.04105","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_12","alias_value":"VAGRSDLHZT2T","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_16","alias_value":"VAGRSDLHZT2TBXLO","created_at":"2026-07-05T11:24:08Z"},{"alias_kind":"pith_short_8","alias_value":"VAGRSDLH","created_at":"2026-07-05T11:24:08Z"}],"graph_snapshots":[{"event_id":"sha256:4d9bc3f4bf8f8f7a87b275aabc4a6959629c55ef2cad3d2b1f562347886ff109","target":"graph","created_at":"2026-07-05T11:24:08Z","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/2411.04105/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Due to the size and complexity of modern large language models (LLMs), it has proven challenging to uncover the underlying mechanisms that models use to solve reasoning problems. For instance, is their reasoning for a specific problem localized to certain parts of the network? Do they break down the reasoning problem into modular components that are then executed as sequential steps as we go deeper in the model? To better understand the reasoning capability of LLMs, we study a minimal propositional logic problem that requires combining multiple facts to arrive at a solution. By studying this p","authors_text":"Cyrus Rashtchian, Enming Luo, Guan Zhe Hong, Nishanth Dikkala, Rina Panigrahy, Xin Wang","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-11-06T18:35:32Z","title":"A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.04105","kind":"arxiv","version":4},"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:7add78117289b956c9f7d5cae424751c526e71299aff2a3d1cdb86a9b2c73927","target":"record","created_at":"2026-07-05T11:24:08Z","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":"4d662449efb33b1b86f63794daea81068f8371704c6069f6aeac1caa51c100f6","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-11-06T18:35:32Z","title_canon_sha256":"8196a13dd778b6eb7f55cdfe824ee3f78018082a9a1fcbbf9a992564b9c01a0e"},"schema_version":"1.0","source":{"id":"2411.04105","kind":"arxiv","version":4}},"canonical_sha256":"a80d190d67ccf530dd6ef38871b62c3cea5718da69a76fcc8aa7442fcb678969","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a80d190d67ccf530dd6ef38871b62c3cea5718da69a76fcc8aa7442fcb678969","first_computed_at":"2026-07-05T11:24:08.168715Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:08.168715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X2UxKP9MpV0Rdq00vSlAhBi05NIWcCc6Lk5JXh0nBgSlD/QHKEQBiC0oSuYtcdSGSJ0/dNCuWN3E2itzRa1mCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:08.169279Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.04105","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7add78117289b956c9f7d5cae424751c526e71299aff2a3d1cdb86a9b2c73927","sha256:4d9bc3f4bf8f8f7a87b275aabc4a6959629c55ef2cad3d2b1f562347886ff109"],"state_sha256":"fd7a267fe45fa8fa12afe211e10c29bb7ea8ed6f180c7186ecf00603f28fcf03"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wk6Z7ZWbShOk6+GR11eqO0mNy6ydK/l7eTVCK8Mdhb0i50gV6iGUHdM42wmARdswgLCHlpemw/aXpUvOF5ERBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T16:47:37.618370Z","bundle_sha256":"19555f1c860dc2a4ab68515dcec1383136e8a5ada2cf1359094b2728d5a6849f"}}