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
•
528
•
2
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6
•
614k
•
68
•
1
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation
•
Updated
Sep 6
•
28
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6
•
213k
•
82
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
•
163
l3lab/miniCTX
Preview
•
Updated
24 days ago
•
103
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections