MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning

Debrup Das,Debopriyo Banerjee,Somak Aditya,Ashish Kulkarni
2024-04-03
Abstract:Tool-augmented Large Language Models (TALMs) are known to enhance the skillset of large language models (LLMs), thereby, leading to their improved reasoning abilities across many tasks. While, TALMs have been successfully employed in different question-answering benchmarks, their efficacy on complex mathematical reasoning benchmarks, and the potential complementary benefits offered by tools for knowledge retrieval and mathematical equation solving are open research questions. In this work, we present MathSensei, a tool-augmented large language model for mathematical reasoning. We study the complementary benefits of the tools - knowledge retriever (Bing Web Search), program generator + executor (Python), and symbolic equation solver (Wolfram-Alpha API) through evaluations on mathematical reasoning datasets. We perform exhaustive ablations on MATH, a popular dataset for evaluating mathematical reasoning on diverse mathematical disciplines. We also conduct experiments involving well-known tool planners to study the impact of tool sequencing on the model performance. MathSensei achieves 13.5% better accuracy over gpt-3.5-turbo with Chain-of-Thought on the MATH dataset. We further observe that TALMs are not as effective for simpler math word problems (in GSM-8K), and the benefit increases as the complexity and required knowledge increases (progressively over AQuA, MMLU-Math, and higher level complex questions in MATH). The code and data are available at
Computation and Language
What problem does this paper attempt to address?
The paper investigates the application of Tool-Augmented Language Models (TALMs) in mathematical reasoning. It proposes a framework called MATHSENSEI, which combines knowledge retriever, Python code generator, and tools like WolframAlpha to enhance the ability to solve complex mathematical problems. The paper evaluates TALM on datasets from various mathematical domains and demonstrates its effectiveness in handling complex computations and knowledge-intensive problems compared to standard language models. Additionally, the study explores the impact of tool combinations, ordering, and planning strategies on model performance.