ToRA

ToRA 是一系列工具集成的推理代理，旨在通过与计算库和符号求解器等工具交互来解决复杂的数学推理问题。它将自然语言推理与外部工具的使用无缝结合，从而融合了语言分析能力和外部工具的计算效率。用户可以通过配置环境并运行脚本来进行推理任务。ToRA 适用于需要处理复杂数学问题的研究人员和开发者。