Abstract:Enhancing the capability of large language models (LLMs) in reasoning has gained significant attention in recent years. Previous studies have demonstrated the effectiveness of various prompting strategies in aiding LLMs in reasoning (called "reasoning actions"), such as step-by-step thinking, reflecting before answering, solving with programs, and their combinations. However, these approaches often applied static, predefined reasoning actions uniformly to all questions, without considering the specific characteristics of each question or the capability of the task-solving LLM. In this paper, we propose DOTS, an approach enabling LLMs to reason dynamically via optimal reasoning trajectory search, tailored to the specific characteristics of each question and the inherent capability of the task-solving LLM. Our approach involves three key steps: i) defining atomic reasoning action modules that can be composed into various reasoning action trajectories; ii) searching for the optimal action trajectory for each training question through iterative exploration and evaluation for the specific task-solving LLM; and iii) using the collected optimal trajectories to train an LLM to plan for the reasoning trajectories of unseen questions. In particular, we propose two learning paradigms, i.e., fine-tuning an external LLM as a planner to guide the task-solving LLM, or directly fine-tuning the task-solving LLM with an internalized capability for reasoning actions planning. Our experiments across eight reasoning tasks show that our method consistently outperforms static reasoning techniques and the vanilla instruction tuning approach. Further analysis reveals that our method enables LLMs to adjust their computation based on problem complexity, allocating deeper thinking and reasoning to harder problems.

Goal-Driven Reasoning in DatalogMTL with Magic Sets

Practical Reasoning in DatalogMTL

Parallel Collaborative Reasoning Approaches Based on DatalogMTL in IoT Scenarios

MATATA: A weakly-supervised MAthematical Tool-Assisted reasoning for Tabular Applications

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

Multi-tool Integration Application for Math Reasoning Using Large Language Model

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models

DOTS: Learning to Reason Dynamically in LLMs via Optimal Reasoning Trajectories Search

Meta-Reasoning Improves Tool Use in Large Language Models

MindStar: Enhancing Math Reasoning in Pre-trained LLMs at Inference Time

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models

Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL

DotaMath: Decomposition of Thought with Code Assistance and Self-correction for Mathematical Reasoning

MARS: Benchmarking the Metaphysical Reasoning Abilities of Language Models with a Multi-task Evaluation Dataset

Multi-Object Reasoning with Constrained Goal Models

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

Learning Multi-Step Reasoning by Solving Arithmetic Tasks

Transformer-based Language Models for Reasoning in the Description Logic ALCQ

Key-Point-Driven Mathematical Reasoning Distillation of Large Language Model