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
•
582
•
2
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6
•
614k
•
72
•
1
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
29
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6
•
213k
•
88
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
•
226
l3lab/miniCTX
Preview
•
Updated
14 days ago
•
81
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections