Veri-Code/ReForm-SFT-0.5B
Text Generation • 0.5B • Updated • 18
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 • 25 • 1
Veri-Code/ReForm-SFT-14B
Text Generation • 15B • Updated • 24 • 1
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 26 • 3
mradermacher/sft_14B-GGUF
Reinforcement Learning • 15B • Updated • 444 • 1
mradermacher/sft_0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 156
mradermacher/sft_3B-GGUF
Reinforcement Learning • 3B • Updated • 106
mradermacher/ReForm-SFT-0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 218
mradermacher/ReForm-SFT-3B-GGUF
Reinforcement Learning • 3B • Updated • 411
mradermacher/ReForm-SFT-3B-i1-GGUF
Reinforcement Learning • 3B • Updated • 863
mradermacher/ReForm-SFT-0.5B-i1-GGUF
Reinforcement Learning • 0.5B • Updated • 395
mradermacher/ReForm-14B-RL-entropy-GGUF
Reinforcement Learning • 15B • Updated • 553
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT
Updated • 11
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 • 14
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-loop-inv-gen_GRPO
Text Generation • 2B • Updated • 292
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_SFT-full
Text Generation • 0.5B • Updated • 84
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen_GRPO-full
Text Generation • 0.5B • Updated • 76