AI4Math (AI for Math Reasoning)