Edit Models filters

Model Tree

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

104

Base only

Active filters: lean4

beanapologist/morphism-net

Other • Updated Apr 25

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated Apr 25

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 16 days ago

SNSFL/SNSFL-Public-Release

Text Generation • 0.1B • Updated May 4 • 391

SNSFL/SNSFL-Full-Corpus-Test

0.1B • Updated 28 days ago • 176

mradermacher/Pythagoras-Prover-SFT-8B-GGUF

8B • Updated May 5 • 189 • 1

khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6

Text Generation • 1B • Updated 30 days ago • 162

khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4

Text Generation • 2B • Updated 30 days ago • 18

khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8

Text Generation • 8B • Updated 30 days ago • 26

khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6

Text Generation • 1B • Updated 30 days ago • 163

khanh2023/BFS-Prover-V2-7B-mlx-mxfp4

Text Generation • 1B • Updated 29 days ago • 31

khanh2023/BFS-Prover-V2-7B-mlx-mxfp8

Text Generation • 8B • Updated 29 days ago • 24

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 28 days ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 26 days ago

NJUDeepEngine/SEG-ATP

Text Generation • Updated 23 days ago

m-a-p/OProver-8B-Base

Text Generation • 8B • Updated 19 days ago • 48 • 1

m-a-p/OProver-32B-Base

Text Generation • 33B • Updated 19 days ago • 127

m-a-p/OProver-32B

Text Generation • 33B • Updated 19 days ago • 459

m-a-p/OProver-8B-Round1

Text Generation • 8B • Updated 19 days ago • 49

m-a-p/OProver-32B-Round1

Text Generation • 33B • Updated 19 days ago • 86

m-a-p/OProver-8B-Round2

Text Generation • 8B • Updated 19 days ago • 80

mradermacher/OProver-8B-Base-GGUF

8B • Updated 18 days ago • 748 • 1

mradermacher/OProver-32B-Base-GGUF

33B • Updated 18 days ago • 736

mradermacher/OProver-32B-GGUF

33B • Updated 18 days ago • 712

mvid/Leanstral-2603-MLX-4bit

Image-Text-to-Text • 19B • Updated 18 days ago • 65

mvid/Leanstral-2603-MLX-3bit

Image-Text-to-Text • 16B • Updated 18 days ago • 56

mvid/Leanstral-2603-MLX-5bit

Image-Text-to-Text • 23B • Updated 18 days ago • 43

mvid/Leanstral-2603-MLX-6bit

Image-Text-to-Text • 27B • Updated 18 days ago • 33

metamatematico/Metamatematico

Text Classification • Updated 16 days ago • 140

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

Text Generation • Updated 14 days ago • 18