After studying this material, you should be able to:
Agent attempts task → Gets reward signal → Learns from successes
The Core Assumption:
The agent must succeed at least sometimes to learn
When tasks are extremely difficult:
| Scenario | Problem |
|---|---|
| Pass@128 = 0% | Agent never succeeds even in 128 tries |
| No teacher model | Nothing to distill from |
| No example solutions | No demonstrations available |
Think of it like this:
Imagine learning to ride a bike, but you never stay balanced even for a second. Standard RL gives you nothing to learn from because there are zero successful moments to reinforce.
RLTL;DR asks:
"What if we could extract useful learning signals even from failed attempts?"
Even when an agent fails, the verifier knows:
This information is wasted in standard RLVR.
┌─────────────────────────────────────────────┐
│ ATTEMPT 1 │
│ Task → Agent tries → FAILS │
│ Verifier output shown to agent │
│ Agent writes: "TL;DR: I forgot to X" │
└──────────────────┬──────────────────────────┘
│ Insight 1 stored
┌──────────────────▼──────────────────────────┐
│ ATTEMPT 2 │
│ Task + Insight 1 → Agent tries → FAILS │
│ Agent writes: "TL;DR: Also need to Y" │
└──────────────────┬──────────────────────────┘
│ Insights 1+2 stored
┌──────────────────▼──────────────────────────┐
│ ATTEMPT N │
│ Task + All Insights → Agent SUCCEEDS ✅ │
└─────────────────────────────────────────────┘
Example (coding task):
"TL;DR: I need to handle edge cases where the input list is empty before iterating."
Task + [Insight 1, Insight 2...] → Better Answer
Backpropagation on (Task → Insight) mapping
The model learns:
"When I see THIS TYPE of task, I should REMEMBER this type of thing"
Analogy:
A student who not only writes notes during practice but memorizes the pattern of mistakes so they don't need notes during the exam.
Training time: Task + Insights → 14-31% Pass@1 ✅
Eval time: Task alone → 12-13% Pass@1 ✅ (still works!)
Standard GRPO: Task alone → 0-1% Pass@1 ❌
Researchers asked: "What's the minimum needed to get this benefit?"
Train ONLY on:
(Task, Insight) pairs
— No full rollouts
— No RL rewards
— Just 4,000 examples
| Method | Data Used | Pass@1 |
|---|---|---|
| Standard GRPO | Full rollouts | ~0-1% |
| RLTL;DR | Full rollouts + insights | 12-13% |
| SFTL;DR | Only 4k (task, insight) tuples | ~Similar to RLTL;DR |
| Classical SFT | Full rollouts | ~Similar |
The implication is profound:
You don't need to show the model how to solve the task. You just need to show it what to keep in mind.
"Here is a task. Here is the full correct solution. Learn to replicate it."
"Here is a task. Here is what to keep in mind. Figure out the solution yourself."
┌─────────────────────────────────────────┐
│ COMPACT KNOWLEDGE REPRESENTATION │
│ │
│ Full solution: ~500-2000 tokens │
│ TL;DR insight: ~10-30 tokens │
│ │
│ Yet performance is nearly equivalent! │
└─────────────────────────────────────────┘
Standard GRPO: ████░░░░░░░░░░░░ 0-1%
RLTL;DR (with insights): ████████████████ 14-31%
RLTL;DR (no insights): ███████████████░ 12-13%
SFTL;DR (4k tuples): ██████████████░░ ~12-13%
| Concept | Summary |
|---|---|
| Problem | Standard RL fails when success rate is 0% |
| Solution | Extract learning from failures via self-written insights |
| Mechanism | Sequential rollouts conditioned on accumulated TL;DR insights |
| Key Innovation | Backpropagate on task→insight mapping, not just task→solution |
| Surprising Finding | Compact (task, insight) pairs alone nearly match full training |
| Implication | "What to keep in mind" may be more learnable than "how to solve" |