L3 Lab

university

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

AI & ML interests

None defined yet.

Recent Activity

Pranjal2041 published a model 6 days ago

l3lab/L1-Qwen-1.5B-Exact

Pranjal2041 published a model 6 days ago

l3lab/L1-Qwen-1.5B-Max

wellecks updated a collection 6 days ago

View all activity

Collections 2

models 5

l3lab/L1-Qwen-1.5B-Max

Updated 7 days ago • 292 • 7

l3lab/L1-Qwen-1.5B-Exact

Updated 7 days ago • 602 • 2

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

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

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

Text Generation • Updated Sep 6, 2024 • 34

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30, 2024 • 56 • 2

datasets 5

l3lab/miniCTX

Viewer • Updated 29 days ago • 662 • 1.17k • 2

l3lab/ntp-mathlib-instruct-context-fullproof

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

l3lab/ntp-mathlib-instruct-context

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

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

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