A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning - Hong, Guan Zhe; Dikkala, Nishanth; Luo, Enming; Rashtchian, Cyrus; Wang, Xin; Panigrahy, Rina (Advances in Neural Information Processing Systems, 2025)