Veri-Code/ReForm-SFT-0.5B
Text Generation • 0.5B • Updated • 19
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
16
Active filters: dafny
Veri-Code/ReForm-SFT-3B
Text Generation • 3B • Updated • 24 • 1
Veri-Code/ReForm-SFT-14B
Text Generation • 15B • Updated • 24 • 1
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 27 • 3
mradermacher/sft_14B-GGUF
Reinforcement Learning • 15B • Updated • 459 • 1
mradermacher/sft_0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 150
mradermacher/sft_3B-GGUF
Reinforcement Learning • 3B • Updated • 122
mradermacher/ReForm-SFT-0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 254
mradermacher/ReForm-SFT-3B-GGUF
Reinforcement Learning • 3B • Updated • 450
mradermacher/ReForm-SFT-3B-i1-GGUF
Reinforcement Learning • 3B • Updated • 917
mradermacher/ReForm-SFT-0.5B-i1-GGUF
Reinforcement Learning • 0.5B • Updated • 379
mradermacher/ReForm-14B-RL-entropy-GGUF
Reinforcement Learning • 15B • Updated • 591
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT
Updated
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
Text Generation • 0.5B • Updated
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_SFT
Updated
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
Text Generation • 2B • Updated