Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
sunnyg
's Collections
LoRAs
Lean
Corpus
SWE
Robotics
Tooling
Research
Video
TTI
STT/TTS
3D
Vision
Agent Research
Reasoning
Quantization
Lean
updated
Dec 10, 2025
Upvote
-
elohn/miniCodeProps
Updated
Aug 19, 2024
•
119
•
2
ByteDance-Seed/BFS-Prover-V2-32B
Text Generation
•
33B
•
Updated
Oct 9, 2025
•
270
•
11
deepseek-ai/DeepSeek-Math-V2
Text Generation
•
685B
•
Updated
Nov 27, 2025
•
2.4k
•
677
NousResearch/nomos-1
Text Generation
•
31B
•
Updated
4 days ago
•
1.05k
•
138
Upvote
-
Share collection
View history
Collection guide
Browse collections