AImplies B: Circuit Analysis in LLMs for Propositional Logical Reasoning

Open in new window