{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:X6R24ODSQ6ET2GCLHIZYLVIPNI","short_pith_number":"pith:X6R24ODS","canonical_record":{"source":{"id":"2408.08590","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-08-16T07:47:39Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"1ae0a57d8e047fdf4818e9addd761234b5162e6a60914d0398dee73091cc61be","abstract_canon_sha256":"7b25e5944354d1afb6b997caddc4f85a8790125b34c197aae9b77ce8f37d9643"},"schema_version":"1.0"},"canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","source":{"kind":"arxiv","id":"2408.08590","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.08590","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"arxiv_version","alias_value":"2408.08590v3","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.08590","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_12","alias_value":"X6R24ODSQ6ET","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_16","alias_value":"X6R24ODSQ6ET2GCL","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_8","alias_value":"X6R24ODS","created_at":"2026-07-05T11:25:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:X6R24ODSQ6ET2GCLHIZYLVIPNI","target":"record","payload":{"canonical_record":{"source":{"id":"2408.08590","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-08-16T07:47:39Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"1ae0a57d8e047fdf4818e9addd761234b5162e6a60914d0398dee73091cc61be","abstract_canon_sha256":"7b25e5944354d1afb6b997caddc4f85a8790125b34c197aae9b77ce8f37d9643"},"schema_version":"1.0"},"canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:03.498419Z","signature_b64":"Gi3Vtl3b/LRVvFF9alnRU/+2K4kK9N4MGCFVgfF0Fu/tvJbfuqcACI4yMSLxdXuE2xPHOTWZkkJxLg9dNqmTAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","last_reissued_at":"2026-07-05T11:25:03.497926Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:03.497926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.08590","source_version":3,"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:25:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4T1g9hsFlfDUoeTYI2Mn++veMdBbOqlSJh7HOJhNmDX3QCFTKv0cNAWh56EuT++FgG7F9HHL6Df+DmN5ZoK+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:06:07.451435Z"},"content_sha256":"ac812969bde9f8a74b39e0133e962441c497f7e600f19987fdc833694b300fc3","schema_version":"1.0","event_id":"sha256:ac812969bde9f8a74b39e0133e962441c497f7e600f19987fdc833694b300fc3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:X6R24ODSQ6ET2GCLHIZYLVIPNI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Andr\\'e Freitas, Geonhee Kim, Marco Valentino","submitted_at":"2024-08-16T07:47:39Z","abstract_excerpt":"Recent studies on reasoning in language models (LMs) have sparked a debate on whether they can learn systematic inferential principles or merely exploit superficial patterns in the training data. To understand and uncover the mechanisms adopted for formal reasoning in LMs, this paper presents a mechanistic interpretation of syllogistic inference. Specifically, we present a methodology for circuit discovery aimed at interpreting content-independent and formal reasoning mechanisms. Through two distinct intervention methods, we uncover a sufficient and necessary circuit involving middle-term supp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.08590","kind":"arxiv","version":3},"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/2408.08590/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:25:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"28JuxjnT4Y83lNtvfFh3d0diJNwuFWbjyWYdessgC6GNpGuKRDvhoabHUbDFOtmUEWV1UneAeiaSP5v7/5ngDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:06:07.451955Z"},"content_sha256":"60c6ee950fd3e8333051a365af985efb987a770d3932e13742912ff125a01bbc","schema_version":"1.0","event_id":"sha256:60c6ee950fd3e8333051a365af985efb987a770d3932e13742912ff125a01bbc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/bundle.json","state_url":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/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-10T08:06:07Z","links":{"resolver":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI","bundle":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/bundle.json","state":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:X6R24ODSQ6ET2GCLHIZYLVIPNI","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":"7b25e5944354d1afb6b997caddc4f85a8790125b34c197aae9b77ce8f37d9643","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-08-16T07:47:39Z","title_canon_sha256":"1ae0a57d8e047fdf4818e9addd761234b5162e6a60914d0398dee73091cc61be"},"schema_version":"1.0","source":{"id":"2408.08590","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.08590","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"arxiv_version","alias_value":"2408.08590v3","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.08590","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_12","alias_value":"X6R24ODSQ6ET","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_16","alias_value":"X6R24ODSQ6ET2GCL","created_at":"2026-07-05T11:25:03Z"},{"alias_kind":"pith_short_8","alias_value":"X6R24ODS","created_at":"2026-07-05T11:25:03Z"}],"graph_snapshots":[{"event_id":"sha256:60c6ee950fd3e8333051a365af985efb987a770d3932e13742912ff125a01bbc","target":"graph","created_at":"2026-07-05T11:25:03Z","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/2408.08590/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent studies on reasoning in language models (LMs) have sparked a debate on whether they can learn systematic inferential principles or merely exploit superficial patterns in the training data. To understand and uncover the mechanisms adopted for formal reasoning in LMs, this paper presents a mechanistic interpretation of syllogistic inference. Specifically, we present a methodology for circuit discovery aimed at interpreting content-independent and formal reasoning mechanisms. Through two distinct intervention methods, we uncover a sufficient and necessary circuit involving middle-term supp","authors_text":"Andr\\'e Freitas, Geonhee Kim, Marco Valentino","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-08-16T07:47:39Z","title":"Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.08590","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:ac812969bde9f8a74b39e0133e962441c497f7e600f19987fdc833694b300fc3","target":"record","created_at":"2026-07-05T11:25:03Z","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":"7b25e5944354d1afb6b997caddc4f85a8790125b34c197aae9b77ce8f37d9643","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-08-16T07:47:39Z","title_canon_sha256":"1ae0a57d8e047fdf4818e9addd761234b5162e6a60914d0398dee73091cc61be"},"schema_version":"1.0","source":{"id":"2408.08590","kind":"arxiv","version":3}},"canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","first_computed_at":"2026-07-05T11:25:03.497926Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:03.497926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gi3Vtl3b/LRVvFF9alnRU/+2K4kK9N4MGCFVgfF0Fu/tvJbfuqcACI4yMSLxdXuE2xPHOTWZkkJxLg9dNqmTAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:03.498419Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.08590","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac812969bde9f8a74b39e0133e962441c497f7e600f19987fdc833694b300fc3","sha256:60c6ee950fd3e8333051a365af985efb987a770d3932e13742912ff125a01bbc"],"state_sha256":"39d6bd85631416123396e9db53b103bcba2d947c32a62818d31610e05143f0a8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vx8X/qBo4oBoljz+gVFrvjplsXGtmreJiwLc7RaIzIw/D7Hs5OliwbB1iS5ZmVz44zA4q/hk7To9NJreqKtOBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T08:06:07.457906Z","bundle_sha256":"e73caa2acaece682af7a8689aca73e08852d1a0fb7b1ba641200db4940673b10"}}