Nathan Lambert
Course on RLHF and post-training. Chapter 7
A. Key Definitions B. Style Benchmarks C. References
Lectures 3-4 covered the core policy gradient RL implementation for language models: PPO, GRPO, loss aggregation, async training, etc.
This lecture: The rise of reasoning models, early techniques specific to reasoning, recapping 2025’s core models, etc.
At NeurIPS 2016, Yann LeCun introduced the cake metaphor: predictive / unsupervised learning is the cake, supervised learning is icing, and RL is the cherry.
With modern language models, the analogy is complete:

–> With agents, RL may be more than just the cherry in compute, but it’s still the shape of the training loops!
RLHF – subjective scoring:
Explain opportunity cost in economics.
Scoring requires judging clarity, accuracy, completeness – all learned preferences with no definitive answer.
RLVR – verifiable scoring:
What is the sum of all primes < 20?
extracted_answer == 77→ Reward = 1Write
fib(n)returning the nth Fibonacci number.
assert fib(10) == 55→ All tests pass → Reward = 1
The post-training methods are the same (i.e. same algorithms), but a new set of intuitions for building models.
RLVR opened the door to reasoning models. Now RL training uses mixed rewards, rubrics, and a variety of tools to train useful models. The clean distinction here is pedagogical, but in practice rare.



Standard model answers directly:
What is the sum of all prime numbers less than 20?
The primes less than 20 are 2, 3, 5, 7, 11, 13, 17, 19. Their sum is 77.
Reasoning model generates <think> tokens before answering:
<think>I need to find all primes less than 20. Starting from 2: 2 is prime. 3 is prime. 4 = 2×2, not prime. 5 is prime… Let me add them up: 2+3=5, 5+5=10, 10+7=17, 17+11=28, 28+13=41, 41+17=58, 58+19=77.</think>The answer is \boxed{77}.
Verification:
extracted_answer == 77→ Reward = 1
For harder problems, thinking can be thousands of tokens.
Evaluation metrics:
If n attempts contain c correct answers:
Algorithm / architecture terms:

The key ideas behind RLVR aren’t new – they were explored before o1/R1 made them mainstream (and effective):
The models that followed these scaled up the methods, in a simpler approach, and shifted the focus of post-training.
A surprisingly fast o1 replication.
R1-Zero: Pure RL on a base model. No SFT warm-start. Showed that large-scale RL alone induces chain-of-thought reasoning.
The full R1 recipe: Cold-start SFT → large-scale RL → distillation of smaller models.

Kimi 1.5 landed in the same January wave as R1 and emphasized RL scale plus curriculum.

First public dataset and code for an r1-style, base model RL run.

New open weight standard (RIP Llama 4).
/think and /no_think modes (most labs found this to be quite the training headache)Llama-Nemotron (Bercovich et al., 2025) is another toggleable open-weights reasoner with released post-training data and training codebases, but a different recipe.

Xiaomi reports the entire pipeline from pretraining through post-training.
Tweaks to a training recipe for reasoning:
One of the only open-weight reasoning models to release clear intermediate checkpoints within post-training!

The foundational, open reasoning data (still quite strong)!
The community needs more investment in strong, open reasoning traces (and understanding what makes a good teacher).

MiniMax M1’s paper really held the test of time. On top of the very popular models:

GLM-4.5 report was one of the early ones to focus on agentic behaviors. Otherwise, it represented “yet another” very strong, open Chinese model through the summer wave.

The most comprehensive open documentation of a reasoning model lifecycle.
Releases: stages, checkpoints, data, infrastructure, hyperparameters.
Interesting DPO findings and more fun stuff. See this talk for more.

DeepSeek V3.2 pushes the R1 recipe into tool-use and agent environments.

Another very open (and American) model, which led into stronger American open-weight models in 2026.

The notable contribution is in post-training: Multi-Teacher On-Policy Distillation (MOPD).

NVIDIA Nemotron 3 Super (Mar. 10, 2026)
Arcee Trinity-Large-Thinking (Apr. 1, 2026)
The frontier moved fast – from “reasoning model” to long-horizon, tool-using agent substrate.
<think> blocks and extractable answers; usability, not correctness. DeepSeek R1 (Guo et al., 2025), Open-Reasoner-Zero (Hu et al., 2025), Magistral (Mistral AI, 2025), Skywork OR-1 (He et al., 2025)
Questions and discussion welcome.
Nathan Lambert
rlhfbook.com | interconnects.ai