MiniCPM4

MiniCPM-V 4.7 35B-A3B

OpenBMB

MiniCPM-V 4.7 35B-A3B is a public OpenBMB vision-language checkpoint uploaded on October 6. Its official repository contains 16 downloadable BF16 weight shards totaling approximately 35.21B parameters, a hybrid linear/full-attention mixture-of-experts language configuration, and image/video processing metadata. The configuration permits 262,144 positions, but no model card or validated context specification was published in the inspected repository, so no supported context limit is asserted here. Text and visual inputs produce language output through the conditional-generation architecture. The license, training ancestry, evaluated capabilities, and benchmark results remain undisclosed at the audit time; a public weight upload does not supply missing usage rights.

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.

UltraX

OpenBMB

UltraX is OpenBMB’s specialized 0.6B language-model release for refining pre-training text through structured editing function calls. It generates insertions, deletions, and replacements rather than rewriting an entire document, and a deterministic executor applies validated edits. Full-parameter supervised training uses program supervision built from language-model refinements and alignment procedures. The July 9 paper precedes the July 13 public code-and-model announcement. Apache-licensed refinement checkpoints and data are available, with no-instruction and preservation-weighted variants grouped here. Its named language-editing specialization qualifies separately from generic data tools or probability-only classifiers.