Tiny Aya Thinker

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.

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.

North Micro Vision Instruct

Cohere

North Micro Vision Instruct is a compact open-weight vision-language model for captioning, visual questions, grounding, and document understanding. It combines a 2B language model with a 400M vision encoder and preserves image aspect ratios through native-resolution processing. The language backbone supports 128K tokens, but multimodal training and validated operating conditions cover only 8K; this page uses the conservative multimodal limit. Apache-licensed weights make it a foundation for domain-specific fine-tuning and local experimentation. It supports interleaved images and text, multilingual prompts, and text output.