Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
l3lab
's Collections
miniCTX
miniCTX
updated
Jun 6
Upvote
-
l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
480
•
2
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6
•
614k
•
70
•
1
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
37
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6
•
213k
•
73
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
•
98
l3lab/miniCTX
Preview
•
Updated
Oct 16
•
79
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections