Best AI Reasoning Models for Hugging Face

Qwen3.8-Max is a frontier AI model from the Qwen family designed for advanced coding, coworking, research, multimodal reasoning, and long-horizon autonomous tasks. It is described as Qwen’s most capable model to date and the first Qwen-Max-class model with open weights announced for release. The model scales to 2.4 trillion parameters with 95 billion active parameters and is accessible through QwenCloud. Qwen3.8-Max is built to answer difficult questions and complete complex deliverables from start to finish. Its coding capabilities include autonomous project creation, self-testing, issue dispatch, CI validation, pull request workflows, and long-running feedback loops. The model is also designed for real-world work across legal review, UI/UX design, restaurant operations, structural engineering, rehabilitation visualization, sports analytics, and quantitative research. Its multimodal capabilities support images, documents, videos, interface reconstruction, visual production, application recreation, and visual feedback loops. QwenCloud supports industry-standard API protocols, including OpenAI-compatible chat completions and responses APIs as well as an Anthropic-compatible interface. By combining large-scale reasoning, agentic coding, multimodal intelligence, API access, long-context workflows, and open-weight availability, Qwen3.8-Max gives teams a powerful foundation for building advanced AI systems.

Muse Glimmer is an open-weights model featuring 30 billion parameters, developed by Meta Superintelligence Labs, and is fine-tuned for continuous local agent operations. Its compact design allows it to function on a standard Mac or PC equipped with a single consumer GPU, making it ideal for various tasks such as local agent management, function calling, programming, and LLM-as-a-judge evaluations without reliance on cloud services or internet connectivity. This innovative model integrates advanced capabilities such as long-horizon execution, accurate tool invocation, multimodal comprehension, extended memory for context, and effective instruction following. It is proficient in accomplishing end-to-end tasks as an agent, maintains the ability to engage in multi-step reasoning over lengthy processes, can recover gracefully from failed or unanticipated tool engagements, and interprets interleaved text and images using a specialized perception encoder designed for analyzing screenshots, graphs, and document files. Furthermore, Muse Glimmer is compatible with OpenClaw and other orchestration frameworks, allowing for adjustable reasoning efforts, and has been developed with a diverse dataset encompassing over 100 languages. The model's versatility ensures that it can adapt to various applications, thus enhancing its utility in different domains.

Kimi K2 Thinking is a sophisticated open-source reasoning model created by Moonshot AI, specifically tailored for intricate, multi-step workflows where it effectively combines chain-of-thought reasoning with tool utilization across numerous sequential tasks. Employing a cutting-edge mixture-of-experts architecture, the model encompasses a staggering total of 1 trillion parameters, although only around 32 billion parameters are utilized during each inference, which enhances efficiency while retaining significant capability. It boasts a context window that can accommodate up to 256,000 tokens, allowing it to process exceptionally long inputs and reasoning sequences without sacrificing coherence. Additionally, it features native INT4 quantization, which significantly cuts down inference latency and memory consumption without compromising performance. Designed with agentic workflows in mind, Kimi K2 Thinking is capable of autonomously invoking external tools, orchestrating sequential logic steps—often involving around 200-300 tool calls in a single chain—and ensuring consistent reasoning throughout the process. Its robust architecture makes it an ideal solution for complex reasoning tasks that require both depth and efficiency.

Qwen3.6-Max-Preview represents an advanced frontier language model aimed at enhancing intelligence, following instructions, and improving real-world agent functionalities within the Qwen ecosystem. This preview builds upon the Qwen3 series, showcasing enhanced world knowledge, refined alignment with instructions, and notable advancements in coding performance for agents, which allows the model to adeptly manage intricate, multi-step tasks and software engineering processes. It is meticulously designed for scenarios requiring advanced reasoning and execution, where the model goes beyond merely generating responses to actively interacting with tools, processing lengthy contexts, and facilitating structured problem-solving in various fields such as coding, research, and enterprise operations. The architecture continues to embody the Qwen commitment to developing large-scale, high-efficiency models that can effectively manage extensive context windows while providing reliable performance across multilingual and knowledge-intensive projects. Moreover, its capabilities promise to significantly enhance productivity and innovation in diverse applications.

Qwen3 is a state-of-the-art large language model designed to revolutionize the way we interact with AI. Featuring both thinking and non-thinking modes, Qwen3 allows users to customize its response style, ensuring optimal performance for both complex reasoning tasks and quick inquiries. With the ability to support 119 languages, the model is suitable for international projects. The model's hybrid training approach, which involves over 36 trillion tokens, ensures accuracy across a variety of disciplines, from coding to STEM problems. Its integration with platforms such as Hugging Face, ModelScope, and Kaggle allows for easy adoption in both research and production environments. By enhancing multilingual support and incorporating advanced AI techniques, Qwen3 is designed to push the boundaries of AI-driven applications.

DeepSeek V3.1 stands as a revolutionary open-weight large language model, boasting an impressive 685-billion parameters and an expansive 128,000-token context window, which allows it to analyze extensive documents akin to 400-page books in a single invocation. This model offers integrated functionalities for chatting, reasoning, and code creation, all within a cohesive hybrid architecture that harmonizes these diverse capabilities. Furthermore, V3.1 accommodates multiple tensor formats, granting developers the versatility to enhance performance across various hardware setups. Preliminary benchmark evaluations reveal strong results, including a remarkable 71.6% on the Aider coding benchmark, positioning it competitively with or even superior to systems such as Claude Opus 4, while achieving this at a significantly reduced cost. Released under an open-source license on Hugging Face with little publicity, DeepSeek V3.1 is set to revolutionize access to advanced AI technologies, potentially disrupting the landscape dominated by conventional proprietary models. Its innovative features and cost-effectiveness may attract a wide range of developers eager to leverage cutting-edge AI in their projects.

Introducing DeepSeek-V3.2-Exp, our newest experimental model derived from V3.1-Terminus, featuring the innovative DeepSeek Sparse Attention (DSA) that enhances both training and inference speed for lengthy contexts. This DSA mechanism allows for precise sparse attention while maintaining output quality, leading to improved performance for tasks involving long contexts and a decrease in computational expenses. Benchmark tests reveal that V3.2-Exp matches the performance of V3.1-Terminus while achieving these efficiency improvements. The model is now fully operational across app, web, and API platforms. Additionally, to enhance accessibility, we have slashed DeepSeek API prices by over 50% effective immediately. During a transition period, users can still utilize V3.1-Terminus via a temporary API endpoint until October 15, 2025. DeepSeek encourages users to share their insights regarding DSA through our feedback portal. Complementing the launch, DeepSeek-V3.2-Exp has been made open-source, with model weights and essential technology—including crucial GPU kernels in TileLang and CUDA—accessible on Hugging Face. We look forward to seeing how the community engages with this advancement.

DeepSeek-V3.2 is a highly optimized large language model engineered to balance top-tier reasoning performance with significant computational efficiency. It builds on DeepSeek's innovations by introducing DeepSeek Sparse Attention (DSA), a custom attention algorithm that reduces complexity and excels in long-context environments. The model is trained using a sophisticated reinforcement learning approach that scales post-training compute, enabling it to perform on par with GPT-5 and match the reasoning skill of Gemini-3.0-Pro. Its Speciale variant overachieves in demanding reasoning benchmarks and does not include tool-calling capabilities, making it ideal for deep problem-solving tasks. DeepSeek-V3.2 is also trained using an agentic synthesis pipeline that creates high-quality, multi-step interactive data to improve decision-making, compliance, and tool-integration skills. It introduces a new chat template design featuring explicit thinking sections, improved tool-calling syntax, and a dedicated developer role used strictly for search-agent workflows. Users can encode messages using provided Python utilities that convert OpenAI-style chat messages into the expected DeepSeek format. Fully open-source under the MIT license, DeepSeek-V3.2 is a flexible, cutting-edge model for researchers, developers, and enterprise AI teams.

DeepSeek-V3.2-Speciale is the most advanced reasoning-focused version of the DeepSeek-V3.2 family, designed to excel in mathematical, algorithmic, and logic-intensive tasks. It incorporates DeepSeek Sparse Attention (DSA), an efficient attention mechanism tailored for very long contexts, enabling scalable reasoning with minimal compute costs. The model undergoes a robust reinforcement learning pipeline that scales post-training compute to frontier levels, enabling performance that exceeds GPT-5 on internal evaluations. Its achievements include gold-medal-level solutions in IMO 2025, IOI 2025, ICPC World Finals, and CMO 2025, with final submissions publicly released for verification. Unlike the standard V3.2 model, the Speciale variant removes tool-calling capabilities to maximize focused reasoning output without external interactions. DeepSeek-V3.2-Speciale uses a revised chat template with explicit thinking blocks and system-level reasoning formatting. The repository includes encoding tools showing how to convert OpenAI-style chat messages into DeepSeek’s specialized input format. With its MIT license and 685B-parameter architecture, DeepSeek-V3.2-Speciale offers cutting-edge performance for academic research, competitive programming, and enterprise-level reasoning applications.

Qwen3.5-35B-A3B is a member of the Qwen3.5 "Medium" model series, meticulously crafted as an effective multimodal foundation model that strikes a balance between robust reasoning capabilities and practical application needs. Utilizing a Mixture-of-Experts (MoE) architecture, it boasts a total of 35 billion parameters, yet activates only around 3 billion for each token, enabling it to achieve performance levels similar to much larger models while significantly cutting down on computational expenses. The model employs a hybrid attention mechanism that merges linear attention with traditional attention layers, which enhances its ability to handle extensive context and boosts scalability for intricate tasks. As an inherently vision-language model, it processes both textual and visual data, catering to a variety of applications, including multimodal reasoning, programming, and automated workflows. Furthermore, it is engineered to operate as a versatile "AI agent," proficient in planning, utilizing tools, and systematically solving problems, extending its functionality beyond mere conversational interactions. This capability positions it as a valuable asset across diverse domains, where advanced AI-driven solutions are increasingly required.

The MiniMax‑M1 model, introduced by MiniMax AI and licensed under Apache 2.0, represents a significant advancement in hybrid-attention reasoning architecture. With an extraordinary capacity for handling a 1 million-token context window and generating outputs of up to 80,000 tokens, it facilitates in-depth analysis of lengthy texts. Utilizing a cutting-edge CISPO algorithm, MiniMax‑M1 was trained through extensive reinforcement learning, achieving completion on 512 H800 GPUs in approximately three weeks. This model sets a new benchmark in performance across various domains, including mathematics, programming, software development, tool utilization, and understanding of long contexts, either matching or surpassing the capabilities of leading models in the field. Additionally, users can choose between two distinct variants of the model, each with a thinking budget of either 40K or 80K, and access the model's weights and deployment instructions on platforms like GitHub and Hugging Face. Such features make MiniMax‑M1 a versatile tool for developers and researchers alike.

Qwen3.6 is an advanced AI model from Alibaba that builds on previous Qwen releases with a focus on real-world utility and performance. It is designed as a multimodal large language model capable of understanding and generating text while also processing visual and structured data. The model is optimized for coding tasks, enabling developers to handle complex, repository-level programming workflows. Qwen3.6 uses a mixture-of-experts (MoE) architecture, which activates only a portion of its parameters during inference to improve efficiency. This design allows it to deliver strong performance while reducing computational costs. It is available in both proprietary and open-weight versions, giving developers flexibility in deployment. The model supports integration into enterprise systems and cloud platforms, particularly within Alibaba’s ecosystem. Qwen3.6 also introduces stronger agentic capabilities, allowing it to perform multi-step reasoning and more autonomous task execution. It is designed to handle complex workflows, including engineering, analysis, and decision-making tasks. The model emphasizes stability and responsiveness based on developer feedback. Overall, Qwen3.6 provides a scalable and efficient AI solution for coding, automation, and multimodal applications.

Phi-4 is an advanced small language model (SLM) comprising 14 billion parameters, showcasing exceptional capabilities in intricate reasoning tasks, particularly in mathematics, alongside typical language processing functions. As the newest addition to the Phi family of small language models, Phi-4 illustrates the potential advancements we can achieve while exploring the limits of SLM technology. It is currently accessible on Azure AI Foundry under a Microsoft Research License Agreement (MSRLA) and is set to be released on Hugging Face in the near future. Due to significant improvements in processes such as the employment of high-quality synthetic datasets and the careful curation of organic data, Phi-4 surpasses both comparable and larger models in mathematical reasoning tasks. This model not only emphasizes the ongoing evolution of language models but also highlights the delicate balance between model size and output quality. As we continue to innovate, Phi-4 stands as a testament to our commitment to pushing the boundaries of what's achievable within the realm of small language models.

Phi-4-reasoning is an advanced transformer model featuring 14 billion parameters, specifically tailored for tackling intricate reasoning challenges, including mathematics, programming, algorithm development, and strategic planning. Through a meticulous process of supervised fine-tuning on select "teachable" prompts and reasoning examples created using o3-mini, it excels at generating thorough reasoning sequences that optimize computational resources during inference. By integrating outcome-driven reinforcement learning, Phi-4-reasoning is capable of producing extended reasoning paths. Its performance notably surpasses that of significantly larger open-weight models like DeepSeek-R1-Distill-Llama-70B and nears the capabilities of the comprehensive DeepSeek-R1 model across various reasoning applications. Designed for use in settings with limited computing power or high latency, Phi-4-reasoning is fine-tuned with synthetic data provided by DeepSeek-R1, ensuring it delivers precise and methodical problem-solving. This model's ability to handle complex tasks with efficiency makes it a valuable tool in numerous computational contexts.

Phi-4-reasoning-plus is an advanced reasoning model with 14 billion parameters, enhancing the capabilities of the original Phi-4-reasoning. It employs reinforcement learning for better inference efficiency, processing 1.5 times the number of tokens compared to its predecessor, which results in improved accuracy. Remarkably, this model performs better than both OpenAI's o1-mini and DeepSeek-R1 across various benchmarks, including challenging tasks in mathematical reasoning and advanced scientific inquiries. Notably, it even outperforms the larger DeepSeek-R1, which boasts 671 billion parameters, on the prestigious AIME 2025 assessment, a qualifier for the USA Math Olympiad. Furthermore, Phi-4-reasoning-plus is accessible on platforms like Azure AI Foundry and HuggingFace, making it easier for developers and researchers to leverage its capabilities. Its innovative design positions it as a top contender in the realm of reasoning models.

Phi-4-mini-reasoning is a transformer-based language model with 3.8 billion parameters, specifically designed to excel in mathematical reasoning and methodical problem-solving within environments that have limited computational capacity or latency constraints. Its optimization stems from fine-tuning with synthetic data produced by the DeepSeek-R1 model, striking a balance between efficiency and sophisticated reasoning capabilities. With training that encompasses over one million varied math problems, ranging in complexity from middle school to Ph.D. level, Phi-4-mini-reasoning demonstrates superior performance to its base model in generating lengthy sentences across multiple assessments and outshines larger counterparts such as OpenThinker-7B, Llama-3.2-3B-instruct, and DeepSeek-R1. Equipped with a 128K-token context window, it also facilitates function calling, which allows for seamless integration with various external tools and APIs. Moreover, Phi-4-mini-reasoning can be quantized through the Microsoft Olive or Apple MLX Framework, enabling its deployment on a variety of edge devices, including IoT gadgets, laptops, and smartphones. Its design not only enhances user accessibility but also expands the potential for innovative applications in mathematical fields.

Phi-4-mini-flash-reasoning is a 3.8 billion-parameter model that is part of Microsoft's Phi series, specifically designed for edge, mobile, and other environments with constrained resources where processing power, memory, and speed are limited. This innovative model features the SambaY hybrid decoder architecture, integrating Gated Memory Units (GMUs) with Mamba state-space and sliding-window attention layers, achieving up to ten times the throughput and a latency reduction of 2 to 3 times compared to its earlier versions without compromising on its ability to perform complex mathematical and logical reasoning. With a support for a context length of 64K tokens and being fine-tuned on high-quality synthetic datasets, it is particularly adept at handling long-context retrieval, reasoning tasks, and real-time inference, all manageable on a single GPU. Available through platforms such as Azure AI Foundry, NVIDIA API Catalog, and Hugging Face, Phi-4-mini-flash-reasoning empowers developers to create applications that are not only fast but also scalable and capable of intensive logical processing. This accessibility allows a broader range of developers to leverage its capabilities for innovative solutions.

Cohere’s Command A Reasoning stands as the company’s most sophisticated language model, specifically designed for complex reasoning tasks and effortless incorporation into AI agent workflows. This model exhibits outstanding reasoning capabilities while ensuring efficiency and controllability, enabling it to scale effectively across multiple GPU configurations and accommodating context windows of up to 256,000 tokens, which is particularly advantageous for managing extensive documents and intricate agentic tasks. Businesses can adjust the precision and speed of outputs by utilizing a token budget, which empowers a single model to adeptly address both precise and high-volume application needs. It serves as the backbone for Cohere’s North platform, achieving top-tier benchmark performance and showcasing its strengths in multilingual applications across 23 distinct languages. With an emphasis on safety in enterprise settings, the model strikes a balance between utility and strong protections against harmful outputs. Additionally, a streamlined deployment option allows the model to operate securely on a single H100 or A100 GPU, making private and scalable implementations more accessible. Ultimately, this combination of features positions Command A Reasoning as a powerful solution for organizations aiming to enhance their AI-driven capabilities.

Qwen3.8-27B is a newly announced 27-billion-parameter model from Alibaba’s Qwen3.8 series, designed as a more compact open-weight alternative to the significantly larger Qwen3.8-Max. The Qwen3.8 generation represents a cutting-edge family of models aimed at enhancing coding capabilities, performing agentic tasks, achieving multimodal comprehension, and managing prolonged autonomous operations. The introduction of the 27B variant aims to provide a size that facilitates more practical local deployment, hands-on experimentation, fine-tuning, and smoother integration into developers' workflows. Qwen has confirmed that this model will be released with open weights, thereby enriching the company’s collection of downloadable mid-sized models tailored for users seeking direct control over their inference and deployment processes. At the time of its announcement, however, Qwen had yet to provide essential information such as the model card, benchmark metrics, architectural specifics, context length, quantization methods, or comprehensive deployment instructions for the 27B version. This lack of detailed guidance raises questions among potential users eager to explore the model's capabilities.