Edit Models filters

Model Tree

Apps

Docker Model Runner

Unsloth Desktop

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

Mixture of Experts

4-bit precision

8-bit precision

Carbon Emissions

Models

49

Base only

Active filters: lean

typeof/morph-prover-v0-7b-sharded

Text Generation • 7B • Updated Nov 23, 2023 • 13

typeof/morph-prover-delta-lora

Text Generation • Updated May 25, 2024

Chattso-GPT/DeepSeek-R1-Distill-Qwen-32B-for-lean

Text Generation • Updated Aug 12, 2025

rahul3613/lean_byt5

0.3B • Updated Jan 18 • 8

rahul3613/lean_byt5_aug

Updated Jan 17 • 15

NorthernTribe-Research/math-conjecture-model

Text Generation • Updated Mar 25 • 15

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated Mar 4 • 23

sathishphdai/operations-manager-slm-1m

Text Generation • 1.0B • Updated Mar 6 • 12

sathishphdai/operations-manager-slm-5m

Text Generation • 1.0B • Updated Mar 7 • 16

Frosty40/Leanstral-1.5-119B-A6B-GGUF-NVFP4

119B • Updated Jul 8 • 146 • 4

kamiyugi/Leanstral-1.5-119B-A6B-NVFP4A16

Text Generation • Updated Jul 8 • 7 • 1

UnluckyOrangutan/thomas-zhu-lean-premise-gguf

Sentence Similarity • 81.5M • Updated Jul 11 • 19

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated Aug 8 • 7

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated Aug 8 • 8

murillo2000/qwen3-8b-base-lean-sft-qlora

Text Generation • Updated Aug 17 • 10

kingjones777/Ornith-1.5-35B-A3B-ROCmFP4-STRIX-LEAN-GGUF

Image-Text-to-Text • 36B • Updated about 13 hours ago • 339 • 3

kingjones777/Ornith-1.5-9B-ROCmFP4-STRIX-LEAN-GGUF

Image-Text-to-Text • 9B • Updated Aug 20 • 93

Irfanuruchi/MathForm-8B-MLX-4bit

8B • Updated Aug 28 • 20

Irfanuruchi/MathForm-8B-MLX-6bit

8B • Updated Aug 28 • 16

Irfanuruchi/MathForm-8B-MLX-8bit

8B • Updated Aug 28 • 20

cobordism/qwen3.5-4b-lean-sft-lora_3k

Updated Sep 1 • 6

cobordism/qwen3.5-4b-lean-sft-lora_6k

Updated Sep 1 • 6

cobordism/qwen3.5-4b-lean-sft-lora_8k

Updated Sep 1 • 6

theostos/qwen-3.5-babel-0.8b-sft

Text Generation • 0.8B • Updated Sep 19 • 129

theostos/qwen-3.5-babel-2b-sft

Text Generation • 2B • Updated Sep 19 • 152

theostos/qwen-3.5-babel-4b-sft

Text Generation • 4B • Updated Sep 19 • 165

theostos/qwen-3.5-babel-9b-sft

Text Generation • 9B • Updated Sep 19 • 173

theostos/qwen-3.5-babel-27b-sft

Text Generation • 27B • Updated Sep 19 • 146