logo
today local_bar
propositional logic

1 paper across 1 session

Poster Session 5

1 paper
Friday, December 5, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning
#1012 Spotlight · Guan Zhe Hong, Nishanth Dikkala, Enming Luo, Cyrus Rashtchian, Xin Wang, Rina Panigrahy

We mechanistically analyze how large language models solve synthetic propositional logic problems.