in trend. DeepSeek-R1, Gemini-2.5-Professional, OpenAI’s O-series fashions, Anthropic’s Claude, Magistral, and Qwen3 — there’s a new one each month. Whenever you ask these fashions a query, they go right into a chain of thought earlier than producing a solution.
I not too long ago requested myself the query, “Hmm… I ponder if I ought to write a Reinforcement Studying loop from scratch that teaches this ‘considering’ behaviour to actually small fashions — like solely 135 million parameters“. It needs to be simple, proper?
Effectively, it wasn’t.
Small fashions merely don’t have the world data that giant fashions do. This makes < 1B parameter mannequin lack the “widespread sense” to simply purpose via complicated logical duties. Due to this fact, you can’t simply depend on compute to coach them to purpose.
You want extra methods up your sleeve.
On this article, I received’t simply cowl methods although. I’ll cowl the main concepts behind coaching reasoning behaviours into language fashions, share some easy code snippets, and a few sensible tricks to fine-tune Small Language Fashions (SLMs) with RL.
This text is split into 5 sections:
- Intro to RLVR (Reinforcement Studying with Verifiable Rewards) and why it’s uber cool
- A visible overview of the GRPO algorithm and the clipped surrogate PPO loss.
- A code walkthrough!
- Supervised fine-tuning and sensible tricks to prepare reasoning fashions
- Outcomes!
Until in any other case talked about, all pictures used on this article are illustrations produced by the writer.
On the finish of this text, I’ll hyperlink to the 50-minute companion YouTube video of this text. In case you have any queries, that video doubtless has the solutions/clarification you want. You may also attain out to me on X (@neural_avb).
1. Reinforcement Studying with Verifiable Rewards (RLVR)
Earlier than diving into particular challenges with Small fashions, let’s first introduce some phrases.
Group Relative Coverage Optimization, or GRPO, is a (relatively new) Reinforcement Studying (RL) method that researchers are utilizing to fine-tune Giant Language Fashions (LLMs) on logical and analytical duties. Since its inception, a brand new time period has been circulating within the LLM analysis house: RLVR, or Reinforcement Lincomes with Verifiable Rewards.
To grasp what makes RLVR distinctive, it’s useful to distinction it with the most typical software of RL in language fashions: RLHF (Reinforcement Lincomes with Human Feedback). In RLHF, an RL module is skilled to maximise scores from a separate reward mannequin, which acts as a proxy for human preferences. This reward mannequin is skilled on a dataset the place people have ranked or rated completely different mannequin responses.
In different phrases, RLHF is skilled so LLMs can output responses which are extra aligned with human preferences. It tries to make fashions observe directions extra intently.
RLVR tries to unravel a distinct downside. RLVR teaches a mannequin to be verifiably right, usually by studying to generate it’s personal chain of thought.
The place RLHF had a subjective reward mannequin, RLVR makes use of an goal verifier. The core concept is to supply rewards primarily based on whether or not a solution is demonstrably right, not on a prediction of what a human may desire.

That is precisely why this technique known as ‘RL with verifiable rewards‘. Not each query’s reply could be verified simply. Particularly open-ended questions like “What iPhone ought to I purchase?” or “The place ought to I am going to school?”. Some use instances, nonetheless, do match simply within the “verifiable rewards” paradigm, like math, logical duties, and code-writing, to call a number of. Within the reasoning-gym
part beneath, we’ll look into how precisely these duties could be simulated and the way the rewards could be generated.
However earlier than that, you may ask: properly the place does “reasoning” match into all of this?
We’ll prepare the LLM to generate arbitrarily lengthy chain of thought reasoning texts earlier than producing the ultimate reply. We instruct the mannequin to wrap its considering course of in
tags and its remaining conclusion in
tags.
The total language mannequin response will look one thing like this:
Person has requested me to depend the variety of r's in strawberry.
Let's do a cumulative depend.
s=0, t=0, r=1, a=0, w=0, b=0, e=0, r=2, r=3, y=4
It appears there are 3 r's in strawberry.
I discover that there's an r in straw and a couple of r's in berry.
Since 1+2=3 I'm extra assured there are 3 r's
3
This construction permits us to simply extract simply the ultimate reply and examine if it’s right. The verifier is a single supply of fact, and generally is a easy piece of code that (actually) counts alphabets.
def count_alphabets(phrase, letter):
return sum([1 for l in word if l == letter])
reward = 1 if (lm_answer == count_alphabets("strawberry", "r") else -1
We’ll preserve a report of the mannequin’s experiences — its responses and the corresponding rewards acquired from the verifier. The RL algorithm will then prepare to advertise behaviours that enhance the probability of right remaining solutions.
By persistently rewarding right solutions and good formatting, we might enhance the probability of reasoning tokens that result in right solutions.
Get this: we don’t want to instantly consider the intermediate reasoning tokens. By merely rewarding the ultimate reply, we’ll not directly elicit reasoning steps into the LLM’s chain of thought that result in right solutions!

2. GRPO (Group Relative Coverage Optimization)
I’m going to skip the standard Reinforcement Studying 101 intro right here, I count on most of you who learn this far to grasp the fundamentals of RL. There’s an agent who observes states from the atmosphere and takes an motion — the atmosphere rewards the agent relying on how good the motion was — the agent shops these experiences and trains to take higher actions sooner or later that result in greater rewards. RL 101 class dismissed.
However how will we switch the RL paradigm to language?
Let’s discuss our algorithm of selection — Group Relative Policy Optimization to grasp how. GRPO works in two iteratively self-repeating phases — an expertise assortment part the place the Language Mannequin (LM) accumulates experiences within the atmosphere with its present weights. And a coaching part the place it makes use of the collected reminiscences to replace its weights to enhance. After coaching, it as soon as once more goes into an expertise assortment step with the up to date weights.
Expertise Assortment
Let’s dissect every step within the expertise assortment part now.
- Step 1: The atmosphere is a black field that generates questions on logical or math duties. We’ll talk about this in an upcoming part with the
reasoning-gym
library.
- Step 2: We tokenize the enter questions right into a sequence of integer tokens.

- Step 3: The “agent” or the “coverage” is the present SLM we’re coaching. It observes the atmosphere’s tokenized questions and generates responses. The LLM response will get transformed into textual content and returned to the atmosphere. The atmosphere rewards every response.

- Step 4: From the rewards, we calculate the benefit of every response. In GRPO, the benefit is the relative goodness of every response within the group. Importantly, benefits are calculated per group, i.e. we don’t standardize rewards throughout completely different questions.

(Illustrated by the Creator)
- Step 5: The unique query, the log chances for every LM-generated token, and the benefits are all amassed inside a reminiscence buffer.
- Steps 1-5 are repeated until the buffer dimension reaches the specified threshold.

Coaching Part
After the top of the expertise assortment part, our aim is to enter the coaching part. Right here, we’ll study from the reward patterns the LLM noticed and use RL to enhance its weights. Right here is how that works:
- Randomly pattern a minibatch of reminiscences. Keep in mind, every reminiscence already contained its group-relative-advantage (Step 5 from the expertise assortment part). Randomly sampling question-answer pairs improves the robustness of the coaching because the gradients are calculated as a mean of a various set of experiences, stopping over-fitting on any single query.
- For every minibatch, we need to maximize this time period following the usual PPO (Proximal Coverage Optimization) formulation. The key distinction with GRPO is that we don’t want a further reward mannequin or a worth community to calculate benefits. As a substitute, GRPO samples a number of responses to the identical query to calculate the relative benefit of every response. The reminiscence footprint is considerably diminished since we received’t want to coach these extra fashions!
- Repeat the above steps.

What the PPO Loss means
Let me clarify the PPO Loss in an intuitive step-by-step trend. The PPO Loss appears like this.

- Right here,
pi_old
is the old-policy neural community that we used throughout the knowledge assortment part.
π
is the present coverage neural community we’re coaching. Because the weights ofπ
change after every gradient replace,π
andπ_old
don’t stay the identical throughout the coaching part — therefore the excellence.
G
is the variety of generated responses for a single query.|o_i|
is the size of the i-th response within the group. Due to this fact, these summation and normalization operation computes a imply over all of the tokens over all responses. What does it compute the imply of? Effectively it’sπ/π_old * A_{it}
. What does that imply?

A_it
is the benefit of the t-th token within the i-th response. Keep in mind after we calculated the benefit of every response in Step 5 throughout expertise assortment? The simplest option to assign a bonus to every token is by merely duplicating the identical benefit to every token — this implies we’re saying that each token is equally answerable for producing the right reply.
- Lastly, what’s
π(o_it | q, o_i < t)
? It means what’s the chance of thet-th
token within thei-th
response? That means, how doubtless was that token when it was generated? - The significance sampling ratio reweights the benefits between the present updating coverage and the outdated exploration coverage.
- The clipping time period ensures that the updates to the community don’t grow to be too giant and the weights don’t transfer too distant from the outdated coverage. This provides extra stability to the coaching course of by preserving the mannequin updates near “a belief area” from the data-collection coverage.

After we are maximizing the PPO goal, we’re successfully asking the LLM to enhance the log-probability of the tokens that led to a excessive benefit, whereas lowering the log-probability of tokens that had a low benefit.
In different phrases: make tokens that generate good benefits extra doubtless and tokens that generate low benefits much less doubtless.
Understanding the PPO Loss with an instance
Let’s overlook in regards to the clipping time period and the π_old
for now, and let’s simply see what maximizing 𝜋(𝑜_i) * A_i
means. To remind you, this a part of the equation merely means, “the product of the chance of the i-th token (o_i) and the benefit of the i-th token (A_i)
Let’s say for a query, the LLM generated these two sequences: “A B C” and “D E F”, and it obtained a bonus of +1 for the previous and -1 for the latter*. Let’s say we’ve got the log chances for every of the three tokens as proven beneath.
* truly since group-relative benefits all the time have a typical deviation of 1, the right benefits needs to be +0.707 and -0.707.
Discover what occurs while you multiply the benefits A_it
by the present logprobs pi
. Now actually take into consideration what it means to maximise the imply of that product matrix.

Keep in mind we will solely change the chances popping out of the LLM. The benefits come from the atmosphere and are subsequently handled as constants. Rising this anticipated rating would subsequently imply growing the chance of tokens with a optimistic benefit, and lowering the worth of the unfavorable benefit instance.

(Illustrated by the Creator)
Under, you will see that an instance of how log-probs change after a number of rounds of coaching. Discover how the blue line is shifting nearer to zero when the benefit is excessive? This means that the log-probabilities elevated (or the chances elevated) after going via RL Coaching. Examine that to the plot on the suitable, which reveals a distinct response with a low benefit. The blue line is shifting away from 0, changing into much less possible for choice in later rounds.

Within the subsequent part, let’s check out the reasoning-gym
library and perceive how we might pattern duties.
3. Implementation
So, to do RL, we first want duties. A typical method to do that is by utilizing an present dataset of math issues, just like the GSM-8K dataset. On this article, let’s have a look at a distinct case — producing duties procedurally with a Python library referred to as reasoning-gym.
For my experiments, I used two duties: syllogism and propositional logic. reasoning-gym
accommodates a number of various repositories of various problem.
A syllogism process is a sort of logical puzzle designed to check deductive reasoning. Mainly, we’ll present the LLM with two premises and ask if the conclusion is right or not. The propositional logic process is a symbolic reasoning process the place the LLM is supplied duties with symbols and requested to generate the conclusion. Not like syllogism, this isn’t a YES/NO classification response — they should generate the right conclusion instantly. This makes this process significantly tougher.

Earlier than we start coding, I assume it’s customary to specify what I imply by “small” fashions.
The jury continues to be out on what qualifies as a “small” mannequin (some say <14B, some say <7B), however for my YouTube video, I picked even smaller fashions: SmolLM-135M-Instruct, SmolLM-360M-Instruct, and Qwen3-0.6B. These are ~135M, ~360M, and ~600M fashions, respectively.
Let’s see find out how to arrange the essential coaching loop. First, we will use Huggingface’s transformers
library to load in a mannequin we need to prepare, let’s say the little 135M param mannequin SmolLM-135M-Instruct
.
To generate some propositional logic duties, for instance, you simply name this reasoning_gym.create_dataset perform
as proven beneath.
import re
from reasoning_gym import create_dataset, get_score_answer_fn
from transformers import AutoModelForCausalLM, AutoTokenizer
import torch
model_name = "HuggingfaceTB/SmolLM-135M-Instruct"
# load mannequin from huggingface
lm = AutoModelForCausalLM.from_pretrained(model_name, torch_dtype=torch.bfloat16)
tokenizer = AutoTokenizer.from_pretrained(model_name)
# This units all fashions as trainable
for param in lm.parameters():
param.requires_grad = True
# In my experiments, I used a LORA adapter (extra on this later)
# specify identify of the env
environment_name = "propositional_logic"
# In apply, it's best to wrap this with a torch dataloader
# to pattern a minibatch of questions
dataset = create_dataset(
environment_name, seed=42, dimension=DATA_SIZE
)
for d in dataset:
query = d["question"] # Accessing the query
# We'll use this later to confirm if reply is right
validation_object = d["metadata"]["source_dataset"]
score_fn = get_score_answer_fn(validation_object)
To generate reasoning knowledge, we would like the LM to generate considering, adopted by the response. Under is the system immediate we shall be utilizing.
system_prompt = """A dialog between Person and Assistant. The consumer asks a query, and the Assistant solves it.
The assistant first thinks in regards to the reasoning course of within the thoughts after which gives the consumer
with the reply. The reasoning course of and reply are enclosed inside and
tags, respectively, i.e., reasoning course of right here
reply right here .
Don't generate new code. Don't write python code.
You might also be given examples by the consumer telling you the anticipated response format.
Observe the format of the examples, however resolve the precise downside requested by the consumer, not the examples.
Essential - Keep in mind once more, your output format needs to be:
reasoning course of right here
reply right here
Your response shall be scored by extracting the substring between the ... tags.
It's vital to observe the above format.
feature_extraction_utilsling to observe the response format will end in a penalty.
"""
To generate solutions, we first tokenize the system immediate and the query as proven beneath.
# Create messages construction
messages = [
{"role": "system", "content": system_prompt},
{"role": "user", "content": question}, # Obtained from reasoning-gym
]
# Create tokenized illustration
inputs = tokenizer.apply_chat_template(
messages,
tokenize=True,
return_tensors="pt",
add_generation_prompt=True
)
Then we go it via the LM — generate a number of responses utilizing the num_return_sequences
parameter, and detokenize it again to get a string response. No gradients are calculated throughout this stage.
generated_response = lm.generate(
input_ids=inputs["input_ids"],
attention_mask=inputs["attention_mask"],
max_new_tokens=max_new_tokens, # The max variety of tokens to generate
do_sample=True, # Probabilistic sampling
top_p=0.95, # Nucleus sampling
num_return_sequences=G, # Variety of sequences per query
temperature=1, # Enhance randomness
eos_token_id=eos_token_id,
pad_token_id=eos_token_id,
)
We additionally write the extract_answer
perform, which makes use of common expressions to extract solutions between the reply tags.
def extract_answer(response):
reply = re.search(r"(.*?) ", response, re.DOTALL)
if reply shouldn't be None:
return reply.group(1).strip()
else:
return ""
Lastly, we use the rating perform we obtained beforehand to generate a reward relying on whether or not the LM’s response was right. To calculate rewards, we add a format reward and a correction reward. The correction reward comes from the atmosphere, and the format reward is awarded if the mannequin accurately generates the
and
tags.
The benefits are calculated by standardizing throughout every group.
# Response is an array of string of size [B*G]
# B is the variety of questions, G is the variety of responses per query
correctness_reward = score_fn(response, validation_object)
format_reward = calculate_format_reward(response)
# Complete reward is a weighted sum of correctness and formatting rewards
reward = correctness_reward * 0.85 + format_reward * 0.15
# Convert rewards from [B*G, 1] -> [B, G]
rewards = rewards.reshape(B, G)
# Calculate benefits
benefits = (rewards - np.imply(rewards, axis=1, keepdims=True)) / (
np.std(rewards, axis=1, keepdims=True) + 1e-8
)
benefits = benefits.reshape(-1, 1)
Retailer the (outdated) log probs, benefits, responses, and response masks in a reminiscence buffer.
# A perform that returns the log prob of every chosen token
log_probs = calculate_log_probs(lm, generated_response)
buffer.lengthen([{
"full_response": generated_response[i],
"response_mask": response_mask[i], # A binary masks to indicate which tokens in generated response are AI generated, 0 for system immediate and questions
"old_log_probs": log_probs[i],
"benefits": benefits[i]
} for i in vary(len(generated_response))])
After a number of expertise assortment step, as soon as the buffer is full, we provoke our coaching loop. Right here, we pattern minibatches from our expertise, calculate the log probs, compute loss, and backdrop.
# full_response, response_mask, old_log_probs, benefits <--- Buffer
# Recompute the brand new log_probs. Discover no torch.no_grad(), so gradients WILL BE USED right here.
logits = llm(input_ids=full_response).logits
# Extract log probs from the logits
# Does log_softmax over the vocabulary and extracts the log-prob of every chosen token
log_probs = calculate_log_probs(
logits,
full_responses
)
# Calculate the clipped surrogate loss
reasoning_loss = calculate_ppo_loss(
log_probs, # Trainable
old_log_probs, # Obtained from exploration, not trainable
benefits, # Obtained from atmosphere, not trainable
response_mask # Obtained from exploration, not trainable
)
# Optimizaiton steps
accelerator.backward(reasoning_loss)
optimizer.step()
optimizer.zero_grad()
You should utilize extra entropy losses right here, or decrease KLD together with your reference mannequin as instructed within the authentic Deepseek-R1 paper, however future papers have concluded that these leash the coaching course of and never a requirement.
4. Warming up with Supervised Nice-tuning
Technically, we will attempt to run an enormous RL coaching proper now and hope that the small fashions can pull via and conquer our duties. Nonetheless, the chance of that’s extremely low.
There’s one large downside — our small fashions usually are not appropriately skilled to generate formatted outputs or carry out properly on these duties. Off the field, their responses do have some logical circulation to them, because of the pretraining or instruction tuning from their authentic builders, however they don’t seem to be adequate for our goal process.

Give it some thought — RL trains by amassing experiences and updating the coverage to maximise the nice experiences. But when many of the experiences are fully dangerous and the mannequin receives 0 rewards, it has no option to optimize, as a result of it will get no sign to enhance in any respect. So the beneficial strategy is to first train the mannequin the habits you need to prepare utilizing supervised fine-tuning. Right here is an easy script:
consumer = openai.AsyncClient()
ENVIRONMENT = "propositional_logic"
mannequin = "gpt-4.1-mini"
semaphore = asyncio.Semaphore(50)
num_datapoints = 200
system_prompt = (
system_prompt
+ """Additionally, you will be supplied the actual reply. Your considering ought to finally end in producing the actual reply."""
)
dataloader = create_dataset(identify=ENVIRONMENT, dimension=num_datapoints)
@backoff.on_exception(backoff.expo, openai.RateLimitError)
async def generate_response(merchandise):
async with semaphore:
messages = [
{"role": "system", "content": system_prompt},
{
"role": "user",
"content": f"""
Question: {item['question']}
Metadata: {merchandise['metadata']}
Reply: {merchandise['answer']}
""",
},
]
response = await consumer.chat.completions.create(messages=messages, mannequin=mannequin)
return {
"query": merchandise["question"],
"metadata": merchandise["metadata"],
"reply": merchandise["answer"],
"response": response.selections[0].message.content material,
}
async def fundamental():
responses = await asyncio.collect(*[generate_response(item) for item in dataloader])
fname = f"responses_{ENVIRONMENT}_{mannequin}.json"
json.dump(responses, open(fname, "w"), indent=4)
print(f"Saved responses to {fname}")
if __name__ == "__main__":
asyncio.run(fundamental())
To generate the fine-tuning dataset, I first generated the considering and reply tags with a small LLM-like GPT-4.1-mini. Doing that is extremely easy — we pattern 200 or so examples for every process, name the OpenAI API to generate a response, and reserve it on disk.
Throughout SFT, we load the bottom mannequin we need to prepare, connect a trainable LORA adapter ,and do parameter-efficient fine-tuning. Listed below are the LORA configurations I used.
lora:
r: 32
lora_alpha: 64
lora_dropout: 0
target_modules: ["q_proj", "v_proj", "k_proj", "o_proj",
"up_proj", "down_proj", "gate_proj"]
LORA permits the coaching course of to be extra reminiscence environment friendly and likewise reduces the danger of corrupting the unique mannequin. You’ll find the main points of parameter-efficient supervised fine-tuning in my YouTube video proper right here.
I skilled a LORA adapter on 200 examples of syllogism knowledge with the smallest language mannequin I might discover — the HuggingfaceTB/SmolLM-135M-Instruct, and it obtained us an accuracy of 46%. Roughly, which means we generate an accurate reply 46% of the time. Extra importantly, we frequently get the formatting proper, so our regex can safely extract solutions from the responses as a rule.
Some extra optimizations for SLMs and sensible issues
- Not all reasoning duties could be solved by all fashions. A simple option to confirm if a process is simply too arduous or too simple for the mannequin is to simply examine the bottom accuracy of the mannequin in your process. Whether it is, let’s say beneath 10-20%, the duty is probably going very arduous and also you want extra supervised warmup fine-tuning.
- SFT, even on small datasets, can typically present large accuracy features on small fashions. For those who can purchase dataset, you could not even must do Reinforcement Studying in lots of eventualities. SLMs are immensely tunable.
- Papers like DAPO and Vital Views on R1 have claimed that the unique loss normalization from DeepSeek has a size bias. They’ve proposed different normalization strategies which are price taking a look at. For my undertaking, the common DeepSeek loss simply labored.
- DAPO additionally mentions eradicating the KLD time period within the authentic R1 paper. Initially, the aim of this loss was to make sure that the updating coverage isn’t too distant from the bottom coverage, however DAPO suggests not utilizing this as a result of the behaviour of the coverage can drastically change throughout reasoning, making this KLD time period an pointless regularisation time period that can prohibit the mannequin’s intelligence.
- Producing various responses IS KEY to creating RL potential. For those who solely generated right responses, or when you solely generated incorrect responses, the benefit shall be 0, and it will give the RL algorithm no coaching sign in any respect. We are able to generate various responses by growing the
temperature
,top_p
, andnum_return_sequences
parameters within thegenerate()
. - You may also generate various rewards, by including extra phrases into the reward perform. For instance, a size reward that penalizes overly lengthy reasoning.
- The next parameters enhance the stability of coaching at the price of extra computation: growing num generations per rollout, growing the dimensions of the buffer and decreasing the educational charge.
- Use gradient accumulation (and even gradient checkpointing) when you’ve got restricted sources to coach these fashions.
- There’s some high-quality print I skipped on this article associated to padding. When saving experiences into buffer, it’s finest apply to take away the pad tokens altogether — and recreate them when loading a minibatch throughout coaching.
- It’s best to depart whitespace round
and (and their closing tags). This leads to constant tokenization and makes coaching barely simpler for the SLMs.
4. Outcomes
Right here is my YouTube video that explains every little thing on this weblog publish extra pictorially and gives a hands-on tutorial on find out how to code such a factor.
On the supervised-fine-tuned SmolLM-135M on the syllogism process, we obtained a bump to 60%! You may see the reward curve right here — the wholesome normal deviation of the rewards reveals that we have been certainly getting various responses all through, which is a wholesome factor if we need to prepare with RL.

Here’s a set of hyperparameters that labored properly for me.
config:
identify: "path/to/sft_model"
max_new_tokens: 300 # reasoning + reply token price range
exploration_batchsize: 8 # variety of questions per batch throughout rollout
G: 6 # num responses per group
temperature: 0.7
batch_size: 16 # minibatch dimension throughout coaching
gradient_accumulation_steps: 12
learning_rate: 0.000001 # Advisable to maintain this low, like 1e-6 or 1e-7
top_p: 0.95
buffer_size: 500
I additionally repeated this experiment with bigger fashions — the SmolLM-360M-Instruct and the Qwen3-0.6B mannequin. Within the latter, I used to be in a position to get accuracies as much as 81% which is superior! We obtained a 20% additive bump on common within the syllogism process!
Within the propositional logic process, which in my view is a tougher reasoning process, I additionally noticed related features throughout all small fashions! I’m certain that with extra instruction tuning and RL fine-tuning, presumably on a number of duties without delay, we will increase the intelligence of those fashions quite a bit greater. Coaching on a single process can generate fast outcomes which is what I wished for this Youtube video, however it may well additionally act as a bottleneck for the mannequin’s total intelligence.
Let’s finish this text with a GIF of the small fashions outputting reasoning knowledge and fixing duties. Get pleasure from, and keep magnificent!

References
Creator’s YouTube channel: https://www.youtube.com/@avb_fj
Creator’s Patreon: www.patreon.com/NeuralBreakdownwithAVB
Creator’s Twitter (X) account: https://x.com/neural_avb
Deepseek Math: https://arxiv.org/pdf/2402.03300
DeepSeek R1: https://arxiv.org/abs/2501.12948
DAPO: https://arxiv.org/abs/2503.14476
Vital Views on R1: https://arxiv.org/abs/2503.20783
Reasoning Health club Library: github.com/open-thought/reasoning-gym
A very good place to examine Reasoning: https://github.com/willccbb/verifiers
An excellent place to check code: https://github.com/huggingface/trl/blob/fundamental/trl/coach/grpo_trainer.py