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

formal-verification

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

102

Base only

Active filters: formal-verification

openbmb/MathForm-8B

Text Generation • 8B • Updated Aug 17 • 541 • 9

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated May 7 • 21

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated May 7 • 28

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated May 7 • 31 • 1

Veri-Code/ReForm-14B-RL-entropy

Text Generation • 15B • Updated May 7 • 32 • 3

mradermacher/sft_0.5B-GGUF

Reinforcement Learning • 0.5B • Updated Jul 27, 2025 • 155

mradermacher/sft_1.5B-GGUF

Reinforcement Learning • 2B • Updated Jul 27, 2025 • 405 • 1

mradermacher/sft_3B-GGUF

Reinforcement Learning • 3B • Updated Jul 27, 2025 • 92

mradermacher/ReForm-SFT-0.5B-GGUF

Reinforcement Learning • 0.5B • Updated Jul 26, 2025 • 222

mradermacher/ReForm-SFT-3B-GGUF

Reinforcement Learning • 3B • Updated Jul 26, 2025 • 376

mradermacher/ReForm-SFT-3B-i1-GGUF

Reinforcement Learning • 3B • Updated Dec 18, 2025 • 811

mradermacher/ReForm-SFT-0.5B-i1-GGUF

Reinforcement Learning • 0.5B • Updated Dec 18, 2025 • 406

mradermacher/ReForm-14B-RL-entropy-GGUF

Reinforcement Learning • 15B • Updated Jul 27, 2025 • 511

mradermacher/ReForm-SFT-1.5B-GGUF

Reinforcement Learning • 2B • Updated Jul 26, 2025 • 218

mradermacher/ReForm-SFT-1.5B-i1-GGUF

Reinforcement Learning • 2B • Updated Dec 18, 2025 • 886

richardyoung/bfs-prover-v2-32b

Text Generation • 33B • Updated 11 days ago • 69

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24, 2025

dassarthak18/granite-fstar-lora

Text Generation • Updated Nov 28, 2025

imbue2025/RWKV-7-Prover-1.5b

Updated Feb 3 • 8 • 4

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

8B • Updated Feb 20 • 563 • 1

EricSpencer00/chattla-20b-gguf

21B • Updated Mar 5 • 19

EricSpencer00/chattla-20b

Text Generation • 21B • Updated Jul 4 • 1.08k • 1

the-clanker-lover/steelman-14b-ada

Text Generation • Updated Mar 18 • 24 • 7

markm39/openproof-tactic-2b

Text Generation • Updated Mar 31

Carnot-EBM/carnot-formal-claim-verifier-v1

delimitter/synoema-coder-3b-v2

EricSpencer00/chattla-20b-v15

Text Generation • Updated Apr 24

beanapologist/mu-ov-cipher

Other • Updated Apr 25

beanapologist/morphism-net

Other • Updated Apr 25

phanerozoic/nms-verified

Object Detection • Updated Apr 28