L3 Lab

l3lab's activity

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

Pranjal2041 

updated a model 16 days ago

l3lab/L1-Qwen-1.5B-Exact

Updated 16 days ago • 7.95k • 4

hanwenzhu 

updated a dataset about 1 month ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 219

hanwenzhu 

published a dataset about 1 month ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 219

hanwenzhu 

updated a collection about 1 month ago

miniCTX

Collection

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

Pranjal2041 

published 2 models about 2 months ago

l3lab/L1-Qwen-1.5B-Exact

Updated 16 days ago • 7.95k • 4

l3lab/L1-Qwen-1.5B-Max

Updated Mar 7 • 37.4k • 14

wellecks 

updated a collection about 2 months ago

L1

Collection

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

Pranjal2041 

updated a model about 2 months ago

l3lab/L1-Qwen-1.5B-Max

Updated Mar 7 • 37.4k • 14

hanwenzhu 

in l3lab/miniCTX 2 months ago

Add validation set

#2 opened 2 months ago by

hanwenzhu

hanwenzhu 

updated a dataset 2 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 472 • 2

wellecks 

authored a paper 5 months ago

Evaluating Language Models as Synthetic Data Generators

Paper • 2412.03679 • Published Dec 4, 2024 • 49

nutPace 

updated a dataset 6 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 472 • 2

hanwenzhu 

authored a paper 7 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 8 months ago

l3lab/ntp-mathlib-instruct-context-fullproof

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

l3lab/ntp-mathlib-instruct-context

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

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

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

hanwenzhu 

updated 2 models 8 months ago

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

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

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

Text Generation • Updated Sep 6, 2024 • 18