Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
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
•
477
•
2
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6
•
614k
•
76
•
1
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
35
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6
•
213k
•
77
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
•
137
l3lab/miniCTX
Preview
•
Updated
about 1 month ago
•
98
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections