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
•
3.89k
l3lab/L1-Qwen3-8B-Exact
8B
•
Updated
•
27
•
1
l3lab/L1-Qwen-7B-Max
8B
•
Updated
•
72
l3lab/L1-Qwen-7B-Exact
8B
•
Updated
•
6
•
1
l3lab/L1-1.5B-Short
2B
•
Updated
•
18
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated
•
30
l3lab/L1-Qwen-1.5B-Exact
2B
•
Updated
•
83
•
6
l3lab/L1-Qwen-1.5B-Max
2B
•
Updated
•
183
•
15
l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation
•
Updated
•
61
•
3
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
•
7
datasets
9
l3lab/miniCTX-v2
Viewer
•
Updated
•
668
•
72
•
3
l3lab/miniCTX-v2-data
Updated
•
20
l3lab/Massive-Math-455K-Verified
Viewer
•
Updated
•
455k
•
179
•
1
l3lab/lean-premises
Updated
•
20
•
1
l3lab/miniCTX
Viewer
•
Updated
•
662
•
447
•
3
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
•
144k
•
86
•
1
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
•
614k
•
75
•
1
l3lab/ntp-mathlib
Viewer
•
Updated
•
213k
•
51
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
•
307k
•
65