An enhanced mathematical reasoning model that combines Chain-of-Thought (CoT) and Tool-integrated Reasoning (TIR).
981 Pulls 3 Tags Updated 9 months ago