Tiny Aya

North Small Translate

Cohere

North Small Translate is a dedicated text translation model supporting more than 50 languages. Its 218B-parameter mixture-of-experts network activates 25B parameters and targets long-form translation with efficient serving. Open weights are available in several precisions under CC BY-NC 4.0, while commercial use requires appropriate licensing. It can be evaluated through Cohere’s Chat API and a public demo. The release date follows the September 9 API changelog; the launch blog followed on September 10. Translation quality claims depend on the specific language pair, domain, and evaluation method.

Tiny Aya Thinker

Cohere

Tiny Aya Thinker is Cohere Labs’ 3.35B multilingual reasoning research release, published with the Building Multilingual Bridges paper. L2-Thinker produces reasoning in the user’s language across 60 languages, while En-Thinker provides an English-reasoning comparison. The models build on a 32K Tiny Aya base checkpoint. Downloadable research weights and a public demonstration support multilingual reasoning experiments. The paper publication precedes the October 5 explanatory blog; that later blog is not the first release.

MathForm-8B

OpenBMB

MathForm-8B is OpenBMB’s language-to-code model for translating natural-language mathematical statements into Lean 4. It fine-tunes Qwen3-8B on FormalVerse with supervised learning followed by reinforcement learning using compilation and semantic-consistency feedback. The research framework retrieves Mathlib definitions and revises generated formalizations using diagnostics, supporting more faithful mathematical translation. Apache-licensed weights, approximately 367K verified examples, and evaluation code accompany the August 14 paper. This is a named mathematical language specialization; the model is distinct from the surrounding retrieval and verification pipeline. Successful compilation alone does not establish that a formal statement preserves the intended proposition.