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

51

Base only

Active filters: dafny

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated May 7 • 63

Veri-Code/ReForm-SFT-3B

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

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated May 7 • 29 • 1

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

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

mradermacher/sft_14B-GGUF

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

mradermacher/sft_0.5B-GGUF

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

mradermacher/sft_3B-GGUF

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

mradermacher/ReForm-SFT-0.5B-GGUF

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

mradermacher/ReForm-SFT-3B-GGUF

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

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

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

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

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

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

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

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT

Updated Oct 1 • 8

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO

Text Generation • 0.5B • Updated Oct 1

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT

Updated Oct 2 • 11

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO

Text Generation • 2B • Updated Oct 2 • 203

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT-full

Text Generation • 0.5B • Updated Oct 2 • 27

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO-full

Text Generation • 0.5B • Updated Oct 2 • 25

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug_SFT

Updated Oct 4 • 14

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug_GRPO

Text Generation • 0.5B • Updated Oct 4 • 57

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen-aug_SFT

Updated Oct 4 • 8

ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen-aug_GRPO

Text Generation • 2B • Updated Oct 4

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFT

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO

Text Generation • 0.5B • Updated Oct 11

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_SFT

Updated Oct 10 • 14

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_GRPO

Text Generation • 0.5B • Updated Oct 10 • 18

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-alldata_SFT

Updated Oct 10 • 12

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-alldata_GRPO

Text Generation • 0.5B • Updated Oct 10 • 19

Snapkitty/rea-unary

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-alldata_SFT

Updated Oct 11 • 13