Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
These findings show that pretrained LLMs solve propositional reasoning through a structured, layer-organized process that recurs across models, rule categories, and reasoning hops.