ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].
ToRA 是一系列集成外部工具的推理智能体,专门用于解决复杂的数学推理问题。该项目通过将自然语言的逻辑推理与计算库、符号求解器等外部工具相结合,显著提升了语言模型处理高难度数学任务的能力。
通过整合自然语言推理与计算工具,实现数学问题的精准求解。 支持与计算库及符号求解器进行交互,以弥补大语言模型在复杂计算方面的不足。 提供经过专门训练的系列模型,显著优化了模型在数学推理任务中的表现。 支持通过自我一致性等方法进一步提升模型输出结果的准确性和稳定性。
适用于对数学推理有高精度要求的科研人员、开发者及学生,可用于自动化解决复杂的数学应用题或辅助进行科学计算任务。