L3 Lab

l3lab's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

hanwenzhu 

updated a dataset 6 days ago

l3lab/lean-premises

Updated May 21 • 53 • 1

hanwenzhu 

published a dataset about 1 month ago

l3lab/lean-premises

Updated May 21 • 53 • 1

wellecks 

authored a paper about 1 month ago

The CoT Encyclopedia: Analyzing, Predicting, and Controlling how a Reasoning Model will Think

Paper • 2505.10185 • Published May 15 • 25

Pranjal2041 

updated a model 3 months ago

l3lab/L1-Qwen-1.5B-Exact

2B • Updated Apr 7 • 12.8k • 5

hanwenzhu 

updated a dataset 3 months ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 36 • 1

hanwenzhu 

published a dataset 3 months ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 36 • 1

hanwenzhu 

updated a collection 3 months ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated Mar 19 • 1

Pranjal2041 

published 2 models 4 months ago

l3lab/L1-Qwen-1.5B-Exact

2B • Updated Apr 7 • 12.8k • 5

l3lab/L1-Qwen-1.5B-Max

2B • Updated Mar 7 • 3.53k • 15

wellecks 

updated a collection 4 months ago

L1

Collection

L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning • 2 items • Updated Mar 7 • 6

Pranjal2041 

updated a model 4 months ago

l3lab/L1-Qwen-1.5B-Max

2B • Updated Mar 7 • 3.53k • 15

hanwenzhu 

in l3lab/miniCTX 5 months ago

Add validation set

#2 opened 5 months ago by

hanwenzhu

hanwenzhu 

updated a dataset 5 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 1.49k • 3

wellecks 

authored a paper 7 months ago

Evaluating Language Models as Synthetic Data Generators

Paper • 2412.03679 • Published Dec 4, 2024 • 49

nutPace 

updated a dataset 9 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 1.49k • 3

hanwenzhu 

authored a paper 10 months ago

DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors

Paper • 2409.08278 • Published Sep 12, 2024 • 15

hanwenzhu 

updated 3 datasets 10 months ago

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6, 2024 • 144k • 84 • 1

l3lab/ntp-mathlib-instruct-context

Viewer • Updated Sep 6, 2024 • 614k • 122 • 1

l3lab/ntp-mathlib

Viewer • Updated Sep 6, 2024 • 213k • 88 • 2