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

166

Base only

Active filters: lean4

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

Sentence Similarity • 8B • Updated 6 days ago • 116 • 1

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

Updated May 25 • 11

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

Updated May 25 • 5

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

Updated May 25 • 10

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

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

mradermacher/MathLeap-Octen-8B-GGUF

Feature Extraction • 8B • Updated May 27 • 403

mradermacher/MathLeap-Qwen-8B-GGUF

Feature Extraction • 8B • Updated May 27 • 776

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

Text Generation • Updated Jun 1 • 17

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated Jun 4

vincentoh/kimina-prover-rrma-sft

Updated Jun 6 • 11

YuxuanGong/lean-RAG

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

neelshah123098/criticleanGPT-Qwen3-8B-RL

Text Generation • 8B • Updated Jun 25 • 15

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated Jul 26

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

119B • Updated Jul 6 • 892 • 7

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

119B • Updated Jul 4 • 111 • 12

SEBK4C/LEANSTRAL-WHITEDWARF

119B • Updated Jul 10 • 108 • 1

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

Image-Text-to-Text • 119B • Updated Jul 9 • 47

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

Image-Text-to-Text • 119B • Updated Jul 9 • 41

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

Image-Text-to-Text • 119B • Updated Jul 10 • 113 • 1

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

Image-Text-to-Text • 119B • Updated Jul 9 • 54

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

Image-Text-to-Text • 119B • Updated Jul 10 • 83

awhecmu/canonical-drafter-premise-round0-qwen06b

0.6B • Updated Aug 4 • 21

SZLHOLDINGS/szl-formulas

Updated 2 days ago

chasenorman/lean-premise-distilroberta-GGUF

81.5M • Updated Jul 12 • 16

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

119B • Updated Jul 14 • 100

Snapkitty/sovereign-router

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated Jul 21 • 1

deadbydawn101/RavenX-Conjecture-Qwen3-8B-MLX

Text Generation • 8B • Updated Jul 23 • 49

deadbydawn101/RavenX-Conjecture-Qwen3-8B-GGUF

Text Generation • 8B • Updated Jul 23 • 58

ofankit/finance-formalisation-rlvr-4b-focus

Text Generation • Updated Jul 24 • 8