Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

L3 Lab

university
https://cmu-l3.github.io/
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

jclune4  updated a dataset 1 day ago
l3lab/lean-premises
jclune4  updated a model 1 day ago
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
hanwenzhu  authored a paper about 1 month ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
View all activity

Sean Welleck's profile picture Thomas Zhu's profile picture Jiewen Hu's profile picture Pranjal Aggarwal's profile picture Joshua Clune's profile picture

l3lab 's models 11

l3lab/L1-Qwen3-8B-Max

8B • Updated Jul 13, 2025 • 300

l3lab/L1-Qwen3-8B-Exact

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

l3lab/L1-Qwen-7B-Max

8B • Updated Jul 13, 2025 • 351

l3lab/L1-Qwen-7B-Exact

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

l3lab/L1-1.5B-Short

2B • Updated Jul 12, 2025 • 18

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

Updated Jul 4, 2025 • 3

l3lab/L1-Qwen-1.5B-Exact

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

l3lab/L1-Qwen-1.5B-Max

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

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

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

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

Text Generation • Updated Sep 6, 2024 • 7

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30, 2024 • 1 • 3
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs