2026
THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning
ICLR 2026poster
Large Language Models (LLMs) have made remarkable progress in mathematical reasoning, but still continue to struggle with high-precision tasks like numerical computation and formal symbolic manipulation. Integrating external tools has emerged as a promising approach to bridge this gap. Despite recen…