L3 Lab

university

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

AI & ML interests

None defined yet.

models 2

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

Text Generation • Updated Apr 1 • 32

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

Text Generation • Updated Apr 1 • 87

datasets 3

l3lab/ntp-mathlib

Viewer • Updated Apr 1 • 10 • 2

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Apr 1 • 19

l3lab/ntp-mathlib-instruct-context

Viewer • Updated Apr 1