Eklav checkpoints for math reasoning, plus the CotGen baseline for comparison. Same base model and data, different training method.