Edit Models filters

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

Inference Endpoints

text-generation-inference

Eval Results (legacy)

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

12

Full-text search

Active filters: dafny

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated Jul 25, 2025 • 4

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated Jul 25, 2025 • 2 • 1

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated Jul 25, 2025 • 5 • 1

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

Text Generation • 15B • Updated Jul 25, 2025 • 2 • 2

mradermacher/sft_14B-GGUF

Reinforcement Learning • 15B • Updated Jul 26, 2025 • 44 • 1

mradermacher/sft_0.5B-GGUF

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

mradermacher/sft_3B-GGUF

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

mradermacher/ReForm-SFT-0.5B-GGUF

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

mradermacher/ReForm-SFT-3B-GGUF

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

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

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

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

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

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

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