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

33

Base only

Active filters: mathlib

mradermacher/Qwen3-8B-Herald-SFT-GGUF

8B • Updated Feb 20 • 304 • 1

markm39/openproof-tactic-2b

Text Generation • Updated Mar 31

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

Text Generation • Updated May 23 • 14

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

Text Generation • Updated May 23 • 6

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

Sentence Similarity • 8B • Updated Oct 1 • 149 • 1

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

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

mradermacher/MathLeap-Octen-8B-GGUF

Feature Extraction • 8B • Updated 24 days ago • 391

mradermacher/MathLeap-Qwen-8B-GGUF

Feature Extraction • 8B • Updated 24 days ago • 262

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

Text Generation • Updated Jun 1 • 19

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

Text Generation • Updated Aug 17 • 13

iCogLabs-Dev/Mathlib-Sexpr-GNN

Updated 6 days ago

Duoia/duotactic

Text Generation • Updated Sep 26 • 51 • 1

Gabrielebattimelli/Leanerstral-1.5-112E

Text Generation • Updated 29 days ago • 11

CamiloS1111/ragsolver

Updated 19 days ago

hmzprover/hpsearch-embed-xs

Sentence Similarity • Updated 17 days ago

hmzprover/hpsearch-embed-4b

4B • Updated 16 days ago • 42

hmzprover/hpsearch-embed-xs-agent

Sentence Similarity • Updated 16 days ago

hmzprover/hpsearch-embed-4b-agent

Sentence Similarity • 4B • Updated 16 days ago • 48

hmzprover/hpsearch-embed-xs-state

Sentence Similarity • Updated 15 days ago

hmzprover/hpsearch-embed-4b-state

Sentence Similarity • 4B • Updated 15 days ago • 41

DAPS-Math/DAPS-selector

Updated 15 days ago • 30

DAPS-Math/DAPS-text-encoder

Sentence Similarity • 0.1B • Updated 15 days ago • 32

hmzprover/hpsearch-rerank-4b-state

Text Ranking • 4B • Updated 15 days ago • 73

hmzprover/hpsearch-embed-4b-v2

Sentence Similarity • 4B • Updated 15 days ago • 48

hmzprover/hpsearch-rerank-4b

Text Ranking • 4B • Updated 15 days ago • 76

hmzprover/hpsearch-embed-fast

Sentence Similarity • 0.3B • Updated 14 days ago • 35

hmzprover/hpsearch-embed-4b-state-v2

Sentence Similarity • 4B • Updated 14 days ago • 36

hmzprover/hpsearch-rerank-4b-state-v2

Text Ranking • 4B • Updated 14 days ago • 47

hmzprover/hpsearch-embed-8b-nl

Sentence Similarity • 8B • Updated 14 days ago • 38

hmzprover/hpsearch-embed-fast-v2

Sentence Similarity • 0.3B • Updated 14 days ago • 38