L3 Lab

university

https://cmu-l3.github.io/

AI & ML interests

None defined yet.

Recent Activity

hanwenzhu authored a paper 8 days ago

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

jclune4 updated a dataset 15 days ago

l3lab/lean-premises

jclune4 updated a model 15 days ago

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

View all activity

l3lab 's models 11

l3lab/L1-Qwen3-8B-Max

8B • Updated Jul 13, 2025 • 1.19k

l3lab/L1-Qwen3-8B-Exact

8B • Updated Jul 13, 2025 • 11 • 1

l3lab/L1-Qwen-7B-Max

8B • Updated Jul 13, 2025 • 36

l3lab/L1-Qwen-7B-Exact

8B • Updated Jul 13, 2025 • 32 • 1

l3lab/L1-1.5B-Short

2B • Updated Jul 12, 2025 • 488

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

Updated Jul 4, 2025 • 7

l3lab/L1-Qwen-1.5B-Exact

2B • Updated Apr 7, 2025 • 46 • 6

l3lab/L1-Qwen-1.5B-Max

2B • Updated Mar 7, 2025 • 90 • 15

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

Text Generation • Updated Sep 6, 2024 • 70 • 3

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

Text Generation • Updated Sep 6, 2024 • 15

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30, 2024 • 19 • 3