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: Chinese 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-14 of 14 articles
DeepSeek-Prover
DeepSeek-Prover is a family of open-weight large language models developed by Chinese AI laboratory DeepSeek for formal theorem proving in the Lean 4 proof assistant.
DeepSeek-R1
DeepSeek-R1 is an open-weight reasoning model and large language model family developed by the Chinese artificial intelligence laboratory DeepSeek. The original model was released on January 20, 2025.
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.
DeepSeekMath
DeepSeekMath is a family of open-weight large language models specialized for mathematical reasoning, released by Chinese AI laboratory DeepSeek in February 2024.
GRPO
Group Relative Policy Optimization (GRPO) is a reinforcement learning algorithm for fine-tuning large language models that eliminates the separate critic (value) network used by PPO
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.
Marco-o1
Marco-o1 is an open reasoning model released in November 2024 by the MarcoPolo team at Alibaba International Digital Commerce (AIDC).
MiniMax M1
MiniMax M1 (stylised MiniMax-M1) is an open-weight large language reasoning model released on 16 June 2025 by the Shanghai-based artificial-intelligence company MiniMax
MiniMax M2.7
MiniMax M2.7 is a large language model released by the Chinese AI company MiniMax on March 18, 2026.
QvQ
QvQ (styled QVQ) is a family of experimental visual reasoning models from the Qwen team at Alibaba.
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.
Qwen3.8
Qwen3.8 is the name Qwen uses for a model generation that includes hosted services and downloadable checkpoints.
Skywork-R1V
Skywork-R1V is an open-weight family of multimodal reasoning models released by Skywork AI, the AGI and AIGC division of Beijing Kunlun Tech Co., Ltd. (Kunlun Wanwei).