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 13 days ago • 87 • 2

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

Text Generation • Updated 13 days ago • 11

l3lab/ntpctx-llama3-8b

Text Generation • Updated 20 days ago • 9 • 1

datasets 5

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated 13 days ago • 144k • 2 • 1

l3lab/miniCTX

Viewer • Updated 13 days ago • 376 • 2

l3lab/ntp-mathlib-instruct-context

Viewer • Updated 13 days ago • 614k • 2 • 1

l3lab/ntp-mathlib

Viewer • Updated 13 days ago • 213k • 4 • 2

l3lab/ntp-mathlib-instruct-st

Viewer • Updated 13 days ago • 307k • 8