ykharkov/Qwen3.8-27B-LeanZip
Text Generation • Updated • 50 • 1
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
56
Active filters: lean
typeof/morph-prover-v0-7b-sharded
Text Generation • 7B • Updated • 7
typeof/morph-prover-delta-lora
Text Generation • Updated
Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean
Text Generation • Updated
rahul3613/lean_byt5
0.3B • Updated • 4
rahul3613/lean_byt5_aug
Updated • 5
NorthernTribe-Research/math-conjecture-model
Text Generation • Updated • 6
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 20
sathishphdai/operations-manager-slm-1m
Text Generation • 1.0B • Updated • 10
sathishphdai/operations-manager-slm-5m
Text Generation • 1.0B • Updated • 16
Frosty40/Leanstral-1.5-119B-A6B-GGUF-NVFP4
119B • Updated • 90 • 4
kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16
Text Generation • Updated • 8 • 1
UnluckyOrangutan/thomas-zhu-lean-premise-gguf
Sentence Similarity • 81.5M • Updated • 22
FluffyAIcode/Kakeya-OProver-Stage1-SFT90
Text Generation • Updated • 4
FluffyAIcode/Kakeya-OProver-Stage2-SFT1000
Text Generation • Updated • 5
FluffyAIcode/Kakeya-OProver-Stage3-DPO
Text Generation • Updated • 8
FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT
Text Generation • Updated • 8
murillo2000/qwen3-8b-base-lean-sft-qlora
Text Generation • Updated • 13
kingjones777/Ornith-1.5-35B-A3B-ROCmFP4-STRIX-LEAN-GGUF
Image-Text-to-Text • 36B • Updated • 526 • 3
kingjones777/Ornith-1.5-9B-ROCmFP4-STRIX-LEAN-GGUF
Image-Text-to-Text • 9B • Updated • 67
Irfanuruchi/MathForm-8B-MLX-4bit
8B • Updated • 17
Irfanuruchi/MathForm-8B-MLX-6bit
8B • Updated • 14
Irfanuruchi/MathForm-8B-MLX-8bit
8B • Updated • 25
cobordism/qwen3.5-4b-lean-sft-lora_3k
Updated • 8
cobordism/qwen3.5-4b-lean-sft-lora_6k
Updated • 5
cobordism/qwen3.5-4b-lean-sft-lora_8k
Updated • 5
theostos/qwen-3.5-babel-0.8b-sft
Text Generation • 0.8B • Updated • 80
theostos/qwen-3.5-babel-2b-sft
Text Generation • 2B • Updated • 89
theostos/qwen-3.5-babel-4b-sft
Text Generation • 4B • Updated • 91
theostos/qwen-3.5-babel-9b-sft
Text Generation • 9B • Updated • 97