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
•
445
•
2
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6
•
614k
•
82
•
1
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
14
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6
•
213k
•
63
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
•
302
l3lab/miniCTX
Preview
•
Updated
Oct 16
•
363
•
2
Upvote
-
Share collection
View history
Collection guide
Browse collections