A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning

NeurIPSSpotlight2025

Authors
Guan Zhe Hong, Nishanth Dikkala, Enming Luo, Cyrus Rashtchian, Xin Wang, Rina Panigrahy
Venue
NeurIPS 2025
Track
Spotlight

TL;DR

Due to the size and complexity of modern large language models (LLMs), it has proven challenging to uncover the underlying mechanisms that models use to solve reasoning problems…

Opening excerpt from the authors’ abstract. source

Read the paper

Topics

large language model language model reasoning llm

Related NeurIPS papers

← All NeurIPS 2025 Spotlight papers · Browse the whole archive