@misc{indiciaec8ac1cb57aec, title = {A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning}, author = {Guan Zhe Hong and Nishanth Dikkala and Enming Luo and Cyrus Rashtchian and Xin Wang and Rina Panigrahy}, year = {2025}, url = {https://arxiv.org/abs/2411.04105}, note = {Source identifier: 2411.04105} }