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
26 days ago
Upvote
-
elohn/miniCodeProps
Updated
Aug 19, 2024
•
174
•
2
ByteDance-Seed/BFS-Prover-V2-32B
Text Generation
•
33B
•
Updated
Oct 9, 2025
•
129
•
11
deepseek-ai/DeepSeek-Math-V2
Text Generation
•
685B
•
Updated
Nov 27, 2025
•
3.2k
•
677
NousResearch/nomos-1
Text Generation
•
31B
•
Updated
16 days ago
•
1.4k
•
131
Upvote
-
Share collection
View history
Collection guide
Browse collections