Veri-Code/ReForm-SFT-0.5B
Text Generation • 0.5B • Updated • 20
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
18
Active filters: dafny
Veri-Code/ReForm-SFT-3B
Text Generation • 3B • Updated • 26 • 1
Veri-Code/ReForm-SFT-14B
Text Generation • 15B • Updated • 24 • 1
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 28 • 3
mradermacher/sft_14B-GGUF
Reinforcement Learning • 15B • Updated • 439 • 1
mradermacher/sft_0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 136
mradermacher/sft_3B-GGUF
Reinforcement Learning • 3B • Updated • 113
mradermacher/ReForm-SFT-0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 230
mradermacher/ReForm-SFT-3B-GGUF
Reinforcement Learning • 3B • Updated • 426
mradermacher/ReForm-SFT-3B-i1-GGUF
Reinforcement Learning • 3B • Updated • 884
mradermacher/ReForm-SFT-0.5B-i1-GGUF
Reinforcement Learning • 0.5B • Updated • 386
mradermacher/ReForm-14B-RL-entropy-GGUF
Reinforcement Learning • 15B • Updated • 565
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT
Updated • 8
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
Text Generation • 0.5B • Updated • 85
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT
Updated • 13
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
Text Generation • 2B • Updated • 224
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT-full
Text Generation • 0.5B • Updated
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO-full
Text Generation • 0.5B • Updated