ToRA：集成Agent工具解决数学推理难题

talkingdev • 2023-10-27

1306824 views

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