paper-with-me

홈 › Papers

A Mechanistic Interpretation of Syllogistic Reasoning in Auto-Regressive Language Models

2024-08-16 · Geonhee Kim, Marco Valentino, André Freitas

Recent studies on logical reasoning in auto-regressive Language Models (LMs) have sparked a debate on whether such models can learn systematic reasoning principles during pre-training or merely exploit superficial patterns in the training data. This paper presents a mechanistic interpretation of syllogistic reasoning in LMs to further enhance our understanding of internal dynamics. Specifically, we present a methodology for circuit discovery aimed at disentangling content-independent reasoning mechanisms from world knowledge acquired during pre-training. Through two distinct intervention methods, we uncover a sufficient and necessary circuit involving middle-term suppression that elucidates how LMs transfer information to derive valid conclusions from premises. Furthermore, we investigate how belief biases manifest in syllogistic reasoning, finding evidence of partial contamination from additional attention heads responsible for encoding commonsense and contextualized knowledge. Finally, we explore the generalization of the discovered mechanisms across various syllogistic schemes and model sizes, finding that the identified circuit is sufficient and necessary for all the schemes on which the model achieves high downstream accuracy ($\geq$ 60\%). Overall, our findings suggest that LMs indeed learn transferable content-independent reasoning mechanisms, but that, at the same time, such mechanisms do not involve generalisable and abstract logical primitives, being susceptible to contamination by the same world knowledge acquired during pre-training.

📄 PDF Abstract BibTeX arXiv:2408.08590

Code (0)

등록된 구현이 없습니다.

Tasks

Logical ReasoningvalidWorld Knowledge

Methods 이 논문이 사용한 방법론

Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…
Attention 설명 없음

Similar Papers 제목 키워드 기반

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning

2024-10-18 · Magdalena Wysocka, Danilo S. Carvalho, Oskar Wysocki, Marco Valentino 외

Syllogistic reasoning is crucial for Natural Language Inference (NLI). This capability is particularly significant in specialized domains such as biomedicine, where it can support automatic evidence interpretation and sc…

Natural Language Inferencescientific discoveryvalid

Some Reflections on the Set-based and the Conditional-based Interpretations of Statements in Syllogistic Reasoning

2014-11-25 · M. Pereira-Fariña

Two interpretations about syllogistic statements are described in this paper. One is the so-called set-based interpretation, which assumes that quantified statements and syllogisms talk about quantity-relationships betwe…

SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks

2025-01-20 · Wentao Wan, Zhuojie Yang, Yongcan Chen, Chenglin Luo 외

Deductive reasoning is a crucial logical capability that assists us in solving complex problems based on existing knowledge. Although augmented by Chain-of-Thought prompts, Large Language Models (LLMs) might not follow t…

An AI Monkey Gets Grapes for Sure -- Sphere Neural Networks for Reliable Decision-Making

2026-01-01 · Tiansi Dong, Henry He, Pietro Liò, Mateja Jamnik arxiv

This paper compares three methodological categories of neural reasoning: LLM reasoning, supervised learning-based reasoning, and explicit model-based reasoning. LLMs remain unreliable and struggle with simple decision-ma…

Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases

2023-06-21 · Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima 외

This paper investigates whether current large language models exhibit biases in logical reasoning, similar to humans. Specifically, we focus on syllogistic reasoning, a well-studied form of inference in the cognitive sci…

Logical Reasoning