ToRA是一系列工具集成的推理代理人，旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互，ToRA能够发现新的证明策略，并在证明过程中自动应用这些策略。目前，ToRA...

研究人员正在探究数据增强技术对提高大型语言模型（LLMs）数学推理能力的影响。他们通过增强现有数据集中的查询，创建了一个新的数据集AugGSM8K，并开发了一个名为MuggleMath的模型。数据增强技术能有效提升模型的数...