TY - RPRT TI - A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning AU - Guan Zhe Hong AU - Nishanth Dikkala AU - Enming Luo AU - Cyrus Rashtchian AU - Xin Wang AU - Rina Panigrahy PY - 2025 UR - https://arxiv.org/abs/2411.04105 ID - 2411.04105 ER -