AI Model Library: LLMs, Agents & Dev Tools
Curated reviews of mainstream AI models, agents, and dev tools — capabilities, use cases, and how they compare.
Tag: Reasoning Model
25 article(s) found · Clear tag
LFM2.5-24B-A2B – Liquid AI's Open-Source Edge Inference Model
LFM2.5-24B-A2B is an open-source weight inference model launched by Liquid AI, part of the flagship product line in the LFM2.5 series. This model employs a 40-layer Mixture of Experts (MoE) architectu...
ip-as-logo-skill: Open Source Agent Skill for Generating Highly Recognizable IP Mascot Avatars
ip-as-logo-skill is an open-source Agent Skill specifically designed for generating minimalist and adorable IP mascot avatars. This skill constructs clear outlines using 4–7 smooth geometric shapes, c...
In-Depth Review of Gemini 3.8 Live – Google's Native Real-Time Speech Dialogue Model
Gemini 3.8 Live is a series of native real-time speech dialogue models launched by Google, which includes two variants: Gemini 3.8 Live and Gemini 3.8 Live Extended Thinking. This series employs an en...
Xiaomi-CocktailASR-1: In-Depth Evaluation of a Target Speaker ASR Model Based on an End-to-End LLM Architecture
Xiaomi-CocktailASR-1 is Xiaomi's open-source Target Speaker ASR (TS-ASR) large model, designed using an end-to-end LLM architecture. It uses a reference speech as a speaker embedding prompt to accurat...
Mureka V9.5 – A New Generation AI Music Generation Model from Kunlunwanwei
Mureka V9.5 is a new generation AI music generation model launched by Kunlunwanwei, built upon its self-developed MusiCoT music reasoning framework. It first constructs a global musical structure befo...
VibeThinker-3B – Weibo's Open-Source 3-Billion-Parameter Dense Reasoning Model
VibeThinker-3B is a 3-billion-parameter dense reasoning model open-sourced by the AI team at Weibo. Built upon the Qwen2.5-Coder-3B base model, it undergoes an enhanced Spectrum-to-Signal post-trainin...
Leanstral 1.5 – Mistral AI's Open-Source Formal Verification Large Model
Leanstral 1.5 is an open-source formal verification large model from Mistral AI, deeply optimized for Lean 4 automated theorem proving. The model adopts a sparse mixture of experts (MoE) architecture ...
GeneBench-Pro – OpenAI's Research-Grade Benchmark for Computational Biology
GeneBench-Pro is a research-grade benchmark developed by OpenAI, specifically designed to evaluate AI models' ability to handle judgment-intensive analysis in computational biology. The benchmark comp...
yuxinlu1 Gemma4-12B – Open-Source Coding & Agentic Model Series
yuxinlu1 Gemma4-12B is an open-source coding and Agentic model series fine-tuned by individual developer Lu Yuxin based on Google's Gemma 4 12B instruction model, comprising the V1 Code version and V2...
Claude Sonnet 5 – Anthropic's Most Powerful Agent Model
Claude Sonnet 5 is the most capable agent model in Anthropic's Sonnet series. Its performance in benchmarks for agentic coding, terminal operations, browser search, and computer use approaches that of...
Subscribe to AI Model Reviews
Get in-depth reviews the moment a new AI model drops. Know its capabilities and use cases.
We never share your email. Unsubscribe anytime.