L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
L3 Lab
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 11
l3lab/L1-Qwen3-8B-Max
8B • Updated
• 103
l3lab/L1-Qwen3-8B-Exact
8B • Updated
• 1.51k • 1
l3lab/L1-Qwen-7B-Max
8B • Updated
• 21
l3lab/L1-Qwen-7B-Exact
8B • Updated
• 19 • 1
l3lab/L1-1.5B-Short
2B • Updated
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated
• 60
l3lab/L1-Qwen-1.5B-Exact
2B • Updated
• 1.33k • 6
l3lab/L1-Qwen-1.5B-Max
2B • Updated
• 1.58k • 15
l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation • Updated
• 15 • 3
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation • Updated
• 7
datasets 9
l3lab/miniCTX-v2
Viewer
• Updated
• 668 • 254 • 3
l3lab/miniCTX-v2-data
Updated
• 7
l3lab/Massive-Math-455K-Verified
Viewer
• Updated
• 455k • 99 • 1
l3lab/lean-premises
Updated
• 64 • 2
l3lab/miniCTX
Viewer
• Updated
• 662 • 279 • 3
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
• Updated
• 144k • 36 • 1
l3lab/ntp-mathlib-instruct-context
Viewer
• Updated
• 614k • 56 • 1
l3lab/ntp-mathlib
Viewer
• Updated
• 213k • 135 • 2
l3lab/ntp-mathlib-instruct-st
Viewer
• Updated
• 307k • 45