Edit Models filters

Model Tree

Apps

Docker Model Runner

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

129

Base only

Active filters: lean4

khayyam-math/khayyam-math-qwen2.5-7b-v4

Text Generation • Updated May 23 • 13

khayyam-math/khayyam-math-qwen2.5-7b-v5.1

Text Generation • Updated May 23 • 22

callensxavier/runux-wars-quantum-ltn-512q

uw-math-ai/MathLeap-Qwen-8B

Sentence Similarity • 8B • Updated May 26 • 129

connorolson/qwen35-9b-lean4-geometry-lora

Updated May 25 • 7

connorolson/qwen35-9b-lean4-nongeometry-lora

Updated May 25 • 5

connorolson/qwen35-9b-lean4-generalist-lora

Updated May 25 • 13

uw-math-ai/MathLeap-Octen-8B

Sentence Similarity • 8B • Updated May 27 • 142 • 1

mradermacher/MathLeap-Octen-8B-GGUF

Feature Extraction • 8B • Updated May 27 • 163

mradermacher/MathLeap-Qwen-8B-GGUF

Feature Extraction • 8B • Updated May 27 • 31

khayyam-math/khayyam-math-qwen2.5-7b-v6

Text Generation • Updated Jun 1 • 7

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated Jun 4

vincentoh/kimina-prover-rrma-sft

Updated Jun 6 • 2

YuxuanGong/lean-RAG

Sentence Similarity • 0.6B • Updated Jun 19 • 109 • 1

neelshah123098/criticleanGPT-Qwen3-8B-RL

Text Generation • 8B • Updated Jun 25 • 13

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 15 days ago

GZGavinZhao/Leanstral-1.5-119B-A6B-GGUF

119B • Updated Jul 6 • 1.13k • 6

Abiray/Leanstral-1.5-119B-A6B-Q4KM-GGUF

119B • Updated Jul 4 • 5.37k • 12

SEBK4C/LEANSTRAL-WHITEDWARF

119B • Updated about 1 month ago • 96

mvid/Leanstral-1.5-119B-A6B-MLX-8bit

Image-Text-to-Text • 34B • Updated Jul 9 • 161

mvid/Leanstral-1.5-119B-A6B-MLX-5bit

Image-Text-to-Text • 23B • Updated Jul 9 • 134

mvid/Leanstral-1.5-119B-A6B-MLX-3bit

Image-Text-to-Text • 16B • Updated about 1 month ago • 227 • 1

mvid/Leanstral-1.5-119B-A6B-MLX-6bit

Image-Text-to-Text • 27B • Updated Jul 9 • 107

mvid/Leanstral-1.5-119B-A6B-MLX-4bit

Image-Text-to-Text • 19B • Updated about 1 month ago • 151

awhecmu/canonical-drafter-premise-round0-qwen06b

0.6B • Updated 6 days ago • 98

SZLHOLDINGS/szl-formulas

Tabular Classification • Updated 8 days ago

chasenorman/lean-premise-distilroberta-GGUF

81.5M • Updated 28 days ago • 72

servantofares/Leanstral-1.5-119B-A6B-GGUF

119B • Updated 27 days ago • 264

Snapkitty/sovereign-router

Updated 4 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 20 days ago • 1