Nishanth Dikkala

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

2024 · arXiv (Cornell University)

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. For instance, is their reasoning for a …