L3 Lab

l3lab's activity

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

hanwenzhu 

updated a dataset 4 days ago

l3lab/miniCTX-v2

Viewer • Updated 4 days ago • 668 • 24

hanwenzhu 

published a dataset 4 days ago

l3lab/miniCTX-v2

Viewer • Updated 4 days ago • 668 • 24

hanwenzhu 

updated a collection 7 days ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated 7 days ago

Pranjal2041 

published 2 models 20 days ago

l3lab/L1-Qwen-1.5B-Exact

Updated 20 days ago • 2.44k • 2

l3lab/L1-Qwen-1.5B-Max

Updated 20 days ago • 1.98k • 9

wellecks 

updated a collection 20 days ago

L1

Collection

L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning • 2 items • Updated 20 days ago • 4

Pranjal2041 

updated 2 models 20 days ago

l3lab/L1-Qwen-1.5B-Max

Updated 20 days ago • 1.98k • 9

l3lab/L1-Qwen-1.5B-Exact

Updated 20 days ago • 2.44k • 2

hanwenzhu 

in l3lab/miniCTX about 1 month ago

Add validation set

#2 opened about 2 months ago by

hanwenzhu

hanwenzhu 

updated a dataset about 2 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 832 • 2

wellecks 

authored a paper 4 months ago

Evaluating Language Models as Synthetic Data Generators

Paper • 2412.03679 • Published Dec 4, 2024 • 48

nutPace 

updated a dataset 5 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 832 • 2

hanwenzhu 

authored a paper 6 months ago

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

Paper • 2409.08278 • Published Sep 12, 2024 • 15

hanwenzhu 

updated 4 datasets 7 months ago

l3lab/ntp-mathlib-instruct-context-fullproof

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

l3lab/ntp-mathlib-instruct-context

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

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 412

hanwenzhu 

updated 2 models 7 months ago

l3lab/ntp-mathlib-context-deepseek-coder-1.3b

Text Generation • Updated Sep 6, 2024 • 139 • 2

l3lab/ntp-mathlib-st-deepseek-coder-1.3b

Text Generation • Updated Sep 6, 2024 • 23