{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:X6R24ODSQ6ET2GCLHIZYLVIPNI","short_pith_number":"pith:X6R24ODS","schema_version":"1.0","canonical_sha256":"bfa3ae387287893d184b3a3385d50f6a1b39e4571d307e05f1c5958b0d3ef785","source":{"kind":"arxiv","id":"2408.08590","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2408.08590","created_at":"2026-07-05T11:25:03.497990+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.08590v3","created_at":"2026-07-05T11:25:03.497990+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.08590","created_at":"2026-07-05T11:25:03.497990+00:00"},{"alias_kind":"pith_short_12","alias_value":"X6R24ODSQ6ET","created_at":"2026-07-05T11:25:03.497990+00:00"},{"alias_kind":"pith_short_16","alias_value":"X6R24ODSQ6ET2GCL","created_at":"2026-07-05T11:25:03.497990+00:00"},{"alias_kind":"pith_short_8","alias_value":"X6R24ODS","created_at":"2026-07-05T11:25:03.497990+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26454","citing_title":"Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law","ref_index":14,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI","json":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI.json","graph_json":"https://pith.science/api/pith-number/X6R24ODSQ6ET2GCLHIZYLVIPNI/graph.json","events_json":"https://pith.science/api/pith-number/X6R24ODSQ6ET2GCLHIZYLVIPNI/events.json","paper":"https://pith.science/paper/X6R24ODS"},"agent_actions":{"view_html":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI","download_json":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI.json","view_paper":"https://pith.science/paper/X6R24ODS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.08590&json=true","fetch_graph":"https://pith.science/api/pith-number/X6R24ODSQ6ET2GCLHIZYLVIPNI/graph.json","fetch_events":"https://pith.science/api/pith-number/X6R24ODSQ6ET2GCLHIZYLVIPNI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/action/storage_attestation","attest_author":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/action/author_attestation","sign_citation":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/action/citation_signature","submit_replication":"https://pith.science/pith/X6R24ODSQ6ET2GCLHIZYLVIPNI/action/replication_record"}},"created_at":"2026-07-05T11:25:03.497990+00:00","updated_at":"2026-07-05T11:25:03.497990+00:00"}