A collection of Mochi models, reasoning models fine-tuned for mathematical reasoning to score high on AIME 500.