sc-tir-mathematical-reasoning

Self-Consistency with Tool-Integrated Reasoning (SC-TIR) for mathematical problem solving. Use when: (1) building mathematical reasoning systems, (2) competing in math competitions (AIMO, AIME, MATH), (3) needing precise calculation beyond text generation, (4) LLM outputs contain calculation errors. Covers: SC-TIR algorithm (N×M candidates), Python code execution, majority voting, answer extraction from LaTeX \boxed{}, and the champion methodology from the Numina AIMO Progress Prize winner.