L3 Lab

l3lab's activity

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

hanwenzhu 

authored a paper 2 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published 9 days ago • 48

jclune4 

updated a dataset 9 days ago

l3lab/lean-premises

Updated May 21 • 768 • 2

jclune4 

updated a model 9 days ago

l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

Updated Jul 4 • 14

hanwenzhu 

updated a model about 2 months ago

l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

Updated Jul 4 • 14

hanwenzhu 

updated a dataset 2 months ago

l3lab/lean-premises

Updated May 21 • 768 • 2

hanwenzhu 

authored 2 papers 5 months ago

miniCTX: Neural Theorem Proving with (Long-)Contexts

Paper • 2408.03350 • Published Aug 5, 2024 • 1

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

hanwenzhu 

updated a dataset 5 months ago

l3lab/miniCTX-v2

Viewer • Updated Jul 22 • 668 • 77 • 3

hanwenzhu 

updated a dataset 6 months ago

l3lab/miniCTX-v2-data

Updated Jul 14 • 14

hanwenzhu 

published a dataset 6 months ago

l3lab/miniCTX-v2-data

Updated Jul 14 • 14

Pranjal2041 

updated a dataset 6 months ago

l3lab/Massive-Math-455K-Verified

Viewer • Updated Jul 13 • 455k • 43 • 1

Pranjal2041 

published a dataset 6 months ago

l3lab/Massive-Math-455K-Verified

Viewer • Updated Jul 13 • 455k • 43 • 1

Pranjal2041 

published 5 models 6 months ago

l3lab/L1-1.5B-Short

2B • Updated Jul 12 • 962

l3lab/L1-Qwen3-8B-Exact

8B • Updated Jul 13 • 12 • 1

l3lab/L1-Qwen-7B-Exact

8B • Updated Jul 13 • 24 • 1

l3lab/L1-Qwen3-8B-Max

8B • Updated Jul 13 • 1.32k

l3lab/L1-Qwen-7B-Max

8B • Updated Jul 13 • 10

Pranjal2041 

updated a collection 6 months ago

L1

Collection

L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning • 7 items • Updated Jul 13 • 8