Understanding DeepSeek R1
ikqlovie801336 於 4 月之前 修改了此頁面


DeepSeek-R1 is an open-source language model built on DeepSeek-V3-Base that's been making waves in the AI community. Not only does it match-or even surpass-OpenAI's o1 model in numerous standards, however it likewise comes with completely MIT-licensed weights. This marks it as the first non-OpenAI/Google model to provide strong reasoning abilities in an open and available manner.

What makes DeepSeek-R1 particularly interesting is its transparency. Unlike the less-open methods from some industry leaders, DeepSeek has actually published a detailed training method in their paper. The design is likewise incredibly cost-efficient, with input tokens costing just $0.14-0.55 per million (vs o1's $15) and output tokens at $2.19 per million (vs o1's $60).

Until ~ GPT-4, the common knowledge was that much better designs needed more data and compute. While that's still valid, models like o1 and R1 demonstrate an option: inference-time scaling through reasoning.

The Essentials

The DeepSeek-R1 paper presented several models, however main amongst them were R1 and R1-Zero. Following these are a series of distilled designs that, while fascinating, I will not discuss here.

DeepSeek-R1 uses two significant ideas:

1. A multi-stage pipeline where a small set of cold-start data kickstarts the design, followed by large-scale RL.

  1. Group Relative Policy Optimization (GRPO), a reinforcement knowing method that depends on comparing numerous design outputs per prompt to prevent the requirement for a separate critic.

    R1 and orcz.com R1-Zero are both thinking models. This basically indicates they do Chain-of-Thought before addressing. For historydb.date the R1 series of models, this takes type as thinking within a tag, before addressing with a last summary.

    R1-Zero vs R1

    R1-Zero uses Reinforcement Learning (RL) to DeepSeek-V3-Base without any supervised fine-tuning (SFT). RL is used to enhance the model's policy to maximize reward. R1-Zero attains outstanding precision but in some cases produces confusing outputs, such as mixing numerous languages in a single action. R1 repairs that by incorporating restricted supervised fine-tuning and several RL passes, which enhances both correctness and readability.

    It is fascinating how some languages may reveal certain concepts much better, which leads the model to pick the most expressive language for the task.

    Training Pipeline

    The training pipeline that DeepSeek released in the R1 paper is profoundly interesting. It showcases how they produced such strong reasoning designs, and what you can anticipate from each phase. This includes the problems that the resulting designs from each phase have, and how they solved it in the next phase.

    It's intriguing that their training pipeline differs from the usual:

    The usual training method: Pretraining on big dataset (train to forecast next word) to get the base design → supervised fine-tuning → preference tuning through RLHF R1-Zero: Pretrained → RL R1: Pretrained → Multistage training pipeline with numerous SFT and RL phases

    Cold-Start Fine-Tuning: Fine-tune DeepSeek-V3-Base on a couple of thousand Chain-of-Thought (CoT) samples to guarantee the RL procedure has a good starting point. This gives a good model to start RL. First RL Stage: Apply GRPO with rule-based rewards to improve reasoning correctness and formatting (such as forcing chain-of-thought into thinking tags). When they were near merging in the RL procedure, they transferred to the next step. The outcome of this action is a strong thinking design however with weak general capabilities, e.g., bad format and language blending. Rejection Sampling + basic information: wolvesbaneuo.com Create new SFT information through rejection tasting on the RL checkpoint (from action 2), integrated with supervised data from the DeepSeek-V3-Base design. They collected around 600k high-quality reasoning samples. Second Fine-Tuning: Fine-tune DeepSeek-V3-Base again on 800k total samples (600k thinking + 200k basic jobs) for wider abilities. This action led to a strong thinking model with general capabilities. Second RL Stage: Add more reward signals (helpfulness, harmlessness) to refine the last design, in addition to the reasoning benefits. The result is DeepSeek-R1. They also did model distillation for numerous Qwen and Llama designs on the thinking traces to get distilled-R1 designs.

    Model distillation is a technique where you use an instructor design to improve a trainee design by producing training data for the trainee model. The teacher is normally a larger model than the trainee.

    Group Relative Policy Optimization (GRPO)

    The fundamental concept behind utilizing support knowing for LLMs is to fine-tune the design's policy so that it naturally produces more precise and beneficial responses. They used a reward system that inspects not only for accuracy but likewise for proper format and language consistency, so the design slowly learns to prefer reactions that fulfill these quality criteria.

    In this paper, they motivate the R1 design to produce chain-of-thought thinking through RL training with GRPO. Instead of adding a separate module at reasoning time, the training procedure itself nudges the design to produce detailed, detailed outputs-making the chain-of-thought an emergent behavior of the enhanced policy.

    What makes their method particularly interesting is its dependence on straightforward, rule-based benefit functions. Instead of depending on costly external models or human-graded examples as in traditional RLHF, the RL utilized for R1 utilizes simple criteria: it might provide a greater reward if the answer is appropriate, if it follows the anticipated/ formatting, and if the language of the answer matches that of the timely. Not counting on a benefit design also means you do not have to hang out and effort training it, and it does not take memory and calculate away from your main design.

    GRPO was presented in the DeepSeekMath paper. Here's how GRPO works:

    1. For each input prompt, the design generates different actions.
  2. Each action gets a scalar reward based on aspects like precision, formatting, and language consistency.
  3. Rewards are adjusted relative to the group's performance, essentially determining just how much better each reaction is compared to the others.
  4. The design updates its method somewhat to favor responses with higher relative advantages. It just makes slight adjustments-using strategies like clipping and a KL penalty-to make sure the policy does not stray too far from its initial habits.

    A cool element of GRPO is its flexibility. You can use basic rule-based benefit functions-for instance, granting a perk when the model properly uses the syntax-to guide the training.

    While DeepSeek utilized GRPO, you could use alternative approaches instead (PPO or PRIME).

    For those aiming to dive much deeper, Will Brown has composed quite a great application of training an LLM with RL using GRPO. GRPO has actually also currently been contributed to the Transformer Reinforcement Learning (TRL) library, which is another good resource. Finally, Yannic Kilcher has an excellent video explaining GRPO by going through the DeepSeekMath paper.

    Is RL on LLMs the path to AGI?

    As a last note on explaining DeepSeek-R1 and the approaches they've presented in their paper, I wish to highlight a passage from the DeepSeekMath paper, based upon a point Yannic Kilcher made in his video.

    These findings suggest that RL boosts the design's general performance by rendering the output circulation more robust, humanlove.stream simply put, it appears that the enhancement is credited to improving the correct response from TopK instead of the enhancement of basic abilities.

    To put it simply, RL fine-tuning tends to shape the output circulation so that the highest-probability outputs are more most likely to be proper, despite the fact that the total ability (as determined by the variety of proper answers) is mainly present in the pretrained design.

    This suggests that support knowing on LLMs is more about refining and "forming" the existing circulation of actions instead of endowing the model with totally brand-new abilities. Consequently, while RL techniques such as PPO and GRPO can produce substantial efficiency gains, there seems an inherent ceiling determined by the underlying design's pretrained understanding.

    It is uncertain to me how far RL will take us. Perhaps it will be the stepping stone to the next big turning point. I'm thrilled to see how it unfolds!

    Running DeepSeek-R1

    I have actually used DeepSeek-R1 via the main chat interface for classihub.in various problems, which it seems to resolve all right. The additional search performance makes it even better to use.

    Interestingly, o3-mini(-high) was released as I was composing this post. From my preliminary testing, R1 seems more powerful at mathematics than o3-mini.

    I likewise leased a single H100 via Lambda Labs for $2/h (26 CPU cores, 214.7 GB RAM, 1.1 TB SSD) to run some experiments. The main objective was to see how the design would carry out when released on a single H100 GPU-not to extensively test the model's abilities.

    671B via Llama.cpp

    DeepSeek-R1 1.58-bit (UD-IQ1_S) quantized design by Unsloth, with a 4-bit quantized KV-cache and partial GPU offloading (29 layers operating on the GPU), running by means of llama.cpp:

    29 layers seemed to be the sweet spot provided this configuration.

    Performance:

    A r/localllama user explained that they had the ability to get over 2 tok/sec with DeepSeek R1 671B, without using their GPU on their regional gaming setup. Digital Spaceport wrote a complete guide on how to run Deepseek R1 671b completely locally on a $2000 EPYC server, on which you can get ~ 4.25 to 3.5 tokens per second.

    As you can see, the tokens/s isn't rather bearable for any severe work, but it's enjoyable to run these big designs on available hardware.

    What matters most to me is a mix of effectiveness and time-to-usefulness in these designs. Since reasoning models need to believe before responding to, their time-to-usefulness is usually greater than other models, however their effectiveness is likewise generally higher. We need to both make the most of effectiveness and decrease time-to-usefulness.

    70B by means of Ollama

    70.6 b params, 4-bit KM quantized DeepSeek-R1 running through Ollama:

    GPU utilization soars here, as anticipated when compared to the mainly CPU-powered run of 671B that I showcased above.

    Resources

    DeepSeek-R1: Incentivizing Reasoning Capability in LLMs by means of Reinforcement Learning [2402.03300] DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models DeepSeek R1 - Notion (Building a fully regional "deep researcher" with DeepSeek-R1 - YouTube). DeepSeek R1's dish to reproduce o1 and the future of thinking LMs. The Illustrated DeepSeek-R1 - by Jay Alammar. Explainer: What's R1 & Everything Else? - Tim Kellogg. DeepSeek R1 Explained to your grandma - YouTube

    DeepSeek

    - Try R1 at chat.deepseek.com. GitHub - deepseek-ai/DeepSeek-R 1. deepseek-ai/Janus-Pro -7 B · Hugging Face (January 2025): Janus-Pro is an unique autoregressive structure that unifies multimodal understanding and generation. It can both comprehend and produce images. DeepSeek-R1: Incentivizing Reasoning Capability in Large Language Models via Reinforcement Learning (January 2025) This paper introduces DeepSeek-R1, an open-source reasoning model that rivals the efficiency of OpenAI's o1. It provides a detailed method for training such designs utilizing large-scale reinforcement learning methods. DeepSeek-V3 Technical Report (December 2024) This report goes over the execution of an FP8 combined accuracy training framework confirmed on an exceptionally large-scale model, attaining both accelerated training and lowered GPU memory use. DeepSeek LLM: Scaling Open-Source Language Models with Longtermism (January 2024) This paper looks into scaling laws and presents findings that help with the scaling of massive models in open-source configurations. It introduces the DeepSeek LLM job, dedicated to advancing open-source language models with a long-term point of view. DeepSeek-Coder: When the Large Language Model Meets Programming-The Rise of Code Intelligence (January 2024) This research study introduces the DeepSeek-Coder series, a range of open-source code models trained from scratch on 2 trillion tokens. The models are pre-trained on a top quality project-level code corpus and utilize a fill-in-the-blank job to boost code generation and infilling. DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model (May 2024) This paper provides DeepSeek-V2, a Mixture-of-Experts (MoE) language design defined by affordable training and effective inference. DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence (June 2024) This research study introduces DeepSeek-Coder-V2, an open-source Mixture-of-Experts (MoE) code language design that attains performance comparable to GPT-4 Turbo in code-specific tasks.

    Interesting occasions

    - Hong Kong University replicates R1 outcomes (Jan 25, '25).
  5. Huggingface announces huggingface/open-r 1: Fully open reproduction of DeepSeek-R1 to reproduce R1, fully open source (Jan 25, '25).
  6. OpenAI researcher validates the DeepSeek group individually found and utilized some core ideas the OpenAI team used en route to o1

    Liked this post? Join the newsletter.