CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
20 results
lean
lean
Search
in
all
models
datasets
apps
agents
people
projects
Models
All models matching “lean”
kaiyuy /
leandojo-lean4-retriever-byt5-small
transformers
5 likes
14k downloads
2y ago
Hugging Face
sahilchachra /
Leanstral-1.5-119B-A6B-NVFP4
image-text-to-text
transformers
2 likes
9.2k downloads
3mo ago
Hugging Face
kingjones777 /
Qwen3.8-Flash-Next-Uncensored-ROCmFP4-STRIX_LEAN-GGUF
text-generation
gguf
3 likes
7.5k downloads
5d ago
Hugging Face
kingjones777 /
Qwen3.8-Flash-Next-ROCmFP4-STRIX_LEAN-GGUF
text-generation
gguf
16 likes
5.4k downloads
5d ago
Hugging Face
pugant /
Qwen3.8-Flash-Next-ROCMFP4_STRIX_LEAN-GGUF
text-generation
llama.cpp
en
4 likes
2.3k downloads
18d ago
Hugging Face
Mihai-LeanZero /
Qwen3.8-27B-Atlassian-Q8-mlx
text-generation
mlx
en
1 likes
2k downloads
5d ago
Hugging Face
kaiyuy /
leandojo-lean4-tacgen-byt5-small
transformers
15 likes
2k downloads
2y ago
Hugging Face
BasedAGI /
Evil-Alpaca-Right-Lean-L3.2-3B-i1-GGUF
en
0 likes
1.5k downloads
11mo ago
Hugging Face