L3 Lab

university

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

AI & ML interests

None defined yet.

Collections 1

models 3

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

Text Generation • Updated Sep 6 • 488 • 2

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

Text Generation • Updated Sep 6 • 29

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30 • 15 • 1

datasets 5

l3lab/miniCTX

Preview • Updated 19 days ago • 99 • 1

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6 • 144k • 59 • 1

l3lab/ntp-mathlib-instruct-context

Viewer • Updated Sep 6 • 614k • 72 • 1

l3lab/ntp-mathlib

Viewer • Updated Sep 6 • 213k • 85 • 2

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6 • 307k • 230