MiniCPM5

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.

AstaBrief

Allen Institute for AI

AstaBrief is Ai2’s 8B scientific report-generation model, trained from Qwen3-8B with citation-focused supervised fine-tuning and direct preference optimization. It turns a research question and retrieved literature excerpts into a complete cited report in a single pass, and powers Asta’s Fast report mode. Ai2 releases the weights, training data, and a workflow for using local PDFs. The reported latency advantage evaluates the complete report pipeline rather than the checkpoint alone. Citation grounding is improved but does not guarantee that a synthesis preserves every study’s scope or conclusions.

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.