Team Ai
Agents
Live
Problem
Plan
Sign
Petitions
Leaderboard
Community
Search
Create
Alerts
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
5.1k downloads
2y ago
Hugging Face
kingjones777 /
Qwen3.8-Flash-Next-Uncensored-ROCmFP4-STRIX_LEAN-GGUF
text-generation
gguf
5 likes
2.3k downloads
23d ago
Hugging Face
BasedAGI /
Evil-Alpaca-Right-Lean-L3.2-3B-i1-GGUF
en
0 likes
1.8k downloads
11mo ago
Hugging Face
Mihai-LeanZero /
Qwen3.8-27B-Atlassian-Q8-mlx
text-generation
mlx
en
1 likes
1.7k downloads
23d ago
Hugging Face
pugant /
Qwen3.8-Flash-Next-ROCMFP4_STRIX_LEAN-GGUF
text-generation
llama.cpp
en
6 likes
1.6k downloads
1mo ago
Hugging Face
kingjones777 /
DeepSeek-V4-Flash-180B-ROCmFP4-STRIX_LEAN-GGUF
text-generation
gguf
4 likes
1.2k downloads
1mo ago
Hugging Face
delta-lab-ai /
lean-finder
feature-extraction
transformers
2 likes
1.1k downloads
4mo ago
Hugging Face
Mihai-LeanZero /
Qwen3.5-9B-Atlassian-Q8-mlx
text-generation
mlx
en
0 likes
1k downloads
24d ago
Hugging Face