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

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

36

Base only

Active filters: lean

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

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

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 • 17

rahul3613/lean_byt5_aug

Updated Jan 17 • 14

NorthernTribe-Research/math-conjecture-model

Text Generation • Updated Mar 25 • 13

RickyDeSkywalker/GAR_DeepSeek-Prover-V2

Text Generation • 2B • Updated Mar 4 • 28

sathishphdai/operations-manager-slm-1m

Text Generation • 1.0B • Updated Mar 6 • 16

sathishphdai/operations-manager-slm-5m

Text Generation • 1.0B • Updated Mar 7 • 10

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

119B • Updated Jul 8 • 99 • 4

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

Text Generation • Updated Jul 8 • 10 • 1

UnluckyOrangutan/thomas-zhu-lean-premise-gguf

Sentence Similarity • 81.5M • Updated Jul 11 • 15

FluffyAIcode/Kakeya-OProver-Stage1-SFT90

Text Generation • Updated Aug 8 • 7

FluffyAIcode/Kakeya-OProver-Stage2-SFT1000

Text Generation • Updated Aug 8 • 7

FluffyAIcode/Kakeya-OProver-Stage3-DPO

Text Generation • Updated Aug 8 • 6

FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT

Text Generation • Updated Aug 8 • 6

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

Text Generation • Updated Aug 17 • 11

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

Image-Text-to-Text • 36B • Updated Aug 20 • 506 • 3

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

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

Irfanuruchi/MathForm-8B-MLX-4bit

8B • Updated about 1 month ago • 31

Irfanuruchi/MathForm-8B-MLX-6bit

8B • Updated about 1 month ago • 16

Irfanuruchi/MathForm-8B-MLX-8bit

8B • Updated 30 days ago • 29

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

Updated 26 days ago • 42

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

Updated 26 days ago • 44

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

Updated 26 days ago • 50

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

Text Generation • 0.8B • Updated 8 days ago • 239

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

Text Generation • 2B • Updated 8 days ago • 253

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

Text Generation • 4B • Updated 8 days ago • 263

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

Text Generation • 9B • Updated 8 days ago • 289

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

Text Generation • 27B • Updated 8 days ago • 318