AI Briefing#open-source-model
The latest AI and developer news about #open-source-model, with the original source and a short summary.
The latest AI and developer news about #open-source-model, with the original source and a short summary.
Introducing 'upskill', a tool that transfers the capabilities of high-performance models to smaller models, helping them perform complex tasks.
The Kimina-Prover-RL pipeline, which performs Lean 4 theorem proving using DeepSeek-R1-style reasoning, has been released along with two small models.
The Ettin Suite has been released, a family of SoTA-level encoder and decoder models trained with the same data and training recipe.
IBM and researchers from major universities have unveiled Bamba-9B, a hybrid Mamba2 model that maximizes inference efficiency.
Through the Amazon Bedrock Marketplace, 83 open Hugging Face models are now available for use.
Google has released the CodeGemma model series, optimized for code generation and mathematical reasoning.