CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge

TL;DR

CAMA introduces a causal graph-based framework to improve large language models' mathematical reasoning by explicitly modeling and utilizing causal structures, leading to significant performance enhancements on complex problems.

Contribution

This work presents a novel two-stage causal framework that constructs and refines a mathematical causal graph to guide LLM reasoning, a new approach for enhancing mathematical problem-solving.

Findings

CAMA significantly improves LLM performance on mathematical tasks.

Structured causal guidance outperforms unstructured methods.

Asymmetric causal relationships yield greater improvements.

Abstract

Large Language Models (LLMs) have demonstrated strong performance across a wide range of tasks, yet they still struggle with complex mathematical reasoning, a challenge fundamentally rooted in deep structural dependencies. To address this challenge, we propose \textbf{CA}usal \textbf{MA}thematician (\textbf{CAMA}), a two-stage causal framework that equips LLMs with explicit, reusable mathematical structure. In the learning stage, CAMA first constructs the \textbf{M}athematical \textbf{C}ausal \textbf{G}raph (\textbf{MCG}), a high-level representation of solution strategies, by combining LLM priors with causal discovery algorithms applied to a corpus of question-solution pairs. The resulting MCG encodes essential knowledge points and their causal dependencies. To better align the graph with downstream reasoning tasks, CAMA further refines the MCG through iterative feedback derived from a selected subset of the question-solution pairs. In the reasoning stage, given a new question, CAMA dynamically extracts a task-relevant subgraph from the MCG, conditioned on both the question content and the LLM's intermediate reasoning trace. This subgraph, which encodes the most pertinent knowledge points and their causal dependencies, is then injected back into the LLM to guide its reasoning process. Empirical results on real-world datasets show that CAMA significantly improves LLM performance on challenging mathematical problems. Furthermore, our experiments demonstrate that structured guidance consistently outperforms unstructured alternatives, and that incorporating asymmetric causal relationships yields greater improvements than using symmetric associations alone.