DeepSeek V3.1
DeepSeek V3.1 is a large language model developed by DeepSeek, released on August 19, 2025 and made broadly available via the official API on August 21, 2025.
Reasoning Models
Explore Reasoning Models through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Open Source AI
Articles that also belong to these categories. Counts cover all of Reasoning Models.
All articles (70)Large Language Models (39)AI Models (18)Chinese AI (14)AI Benchmarks (13)OpenAI (12)Open Source AI (11)Artificial Intelligence (9)Google DeepMind (5)AI Agents (4)AI Inference (4)Anthropic (4)Model Evaluation (4)Machine Learning (3)Multimodal AI (3)NVIDIA (3)Natural Language Processing (3)Prompt Engineering (3)Training & Optimization (3)AI Companies (2)AI Research (2)AI for Science (2)Generative AI (2)Mixture of Experts (2)Reinforcement Learning (2)AI History (1)AI Tools & Products (1)Data Science (1)Mathematics (1)Meta AI (1)Microsoft (1)Research Organizations (1)Small Language Models (1)
Showing 1-11 of 11 articles
DeepSeek-R1-Distill
DeepSeek-R1-Distill is a family of six open-weight reasoning language models released by DeepSeek on January 20, 2025, alongside the flagship DeepSeek-R1 reasoning model.
Goedel-Prover
Goedel-Prover is an open-source large language model designed for automated formal theorem proving in Lean 4.
Kimi K2 Thinking
Kimi K2 Thinking is a reasoning and agentic large language model released by the Chinese startup Moonshot AI on November 6, 2025.
Magistral
Magistral is the first family of reasoning models from Mistral AI, the French AI company, first released on June 10, 2025.
Marco-o1
Marco-o1 is an open reasoning model released in November 2024 by the MarcoPolo team at Alibaba International Digital Commerce (AIDC).
OLMo 3
OLMo 3 is the third generation of fully open language models released by the Allen Institute for AI (Ai2).
Phi-4 Reasoning
Phi-4-reasoning is a 14 billion parameter open weight reasoning model released by Microsoft Research on April 30, 2025.
Phi-4-mini-flash-reasoning
Phi-4-mini-flash-reasoning is a 3.8 billion parameter open weight reasoning model released by Microsoft in July 2025.
QwQ
QwQ is a family of open-weight reasoning models from the Qwen team at Alibaba Cloud, built to compete with OpenAI's o1 and DeepSeek-R1 at a fraction of their size.
ZAYA1-8B
ZAYA1-8B is an open-weight, reasoning-focused Mixture-of-Experts (MoE) large language model released by San Francisco-based AI research lab Zyphra on May 6, 2026.