Found 1 AI tools
Click any tool to view details
This GitHub repository contains the training and inference code used to replicate our winning solution in the AI Math Olympiad (AIMO) Progress Award 1. Our solution consists of four main parts: a recipe for fine-tuning DeepSeekMath-Base 7B to solve mathematical problems using Tool Integrated Reasoning (TIR); two high-quality training datasets of ~1 million mathematical problems and solutions; a self-consistent decoding algorithm for generating solution candidates with code execution feedback (SC-TIR); and four carefully selected validation sets from AMC, AIME, and MATH to guide model selection and avoid overfitting to public leaderboards.
Explore other subcategories under educate Other Categories
649 tools
125 tools
113 tools
98 tools
76 tools
71 tools
69 tools
52 tools
AI code generation Hot educate is a popular subcategory under 1 quality AI tools