ToRAAn وكيل محادثة لدمج الأدوات لحل المشكلات الرياضية المعقدة

ToRA est une série d'agents de raisonnement intégrés aux outils, conçus pour résoudre des problèmes mathématiques complexes en combinant le raisonnement en langage naturel avec des appels à des outils de calcul externes tels que des solveurs symboliques et des bibliothèques Python. Au lieu de s'appuyer uniquement sur une chaîne de pensée, ToRA entrelace les étapes analytiques avec l'exécution programmatique pour vérifier les résultats intermédiaires et gérer les calculs que les modèles linguistiques ont généralement du mal à traiter. Les modèles sont entraînés sur des trajectoires de raisonnement organisées qui montrent quand réfléchir, quand invoquer un outil et comment interpréter les sorties des outils. Cette approche hybride permet à ToRA de résoudre des problèmes couvrant l'algèbre, le calcul, la théorie des nombres et les mathématiques de niveau compétition avec une précision nettement supérieure aux lignes de base de raisonnement texte seul. ToRA est principalement un projet de recherche utile pour les développeurs et les chercheurs qui explorent le raisonnement agentique, les références mathématiques et les flux de travail LLM augmentés d'outils.