Veri-Code/ReForm-SFT-14B
Text Generation • 15B • Updated • 30 • 1
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
27
Active filters: formal-methods
mradermacher/sft_14B-GGUF
Reinforcement Learning • 15B • Updated • 658 • 1
EricSpencer00/chattla-20b
Text Generation • 21B • Updated • 347 • 1
EricSpencer00/chattla-20b-v15
Text Generation • Updated
EricSpencer00/chattla-20b-prover-v3
Updated • 17
neelshah123098/criticleanGPT-Qwen3-8B-RL
Text Generation • 8B • Updated • 33
Sahek/kaysentinel
Updated • 1
EricSpencer00/chattla-v2-sft2
Text Generation • 21B • Updated • 16
EricSpencer00/chattla-w4dg-120b-adapter
Updated • 9
EricSpencer00/chattla-w4dg-120b
Text Generation • 117B • Updated • 12
ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl
Text Generation • 8B • Updated • 15 • 1
theostos/qwen-3.5-babel-0.8b-sft
Text Generation • 0.8B • Updated • 78
theostos/qwen-3.5-babel-2b-sft
Text Generation • 2B • Updated • 83
theostos/qwen-3.5-babel-4b-sft
Text Generation • 4B • Updated • 86
theostos/qwen-3.5-babel-9b-sft
Text Generation • 9B • Updated • 90
theostos/qwen-3.5-babel-27b-sft
Text Generation • 27B • Updated • 87
mradermacher/qwen-3.5-babel-27b-sft-GGUF
27B • Updated • 181
theostos/qwen-3.5-babel-0.8b-sft-agent
Text Generation • 0.8B • Updated • 89
theostos/qwen-3.5-babel-2b-sft-agent
Text Generation • 2B • Updated • 98
theostos/qwen-3.5-babel-4b-sft-agent
Text Generation • 4B • Updated • 92
theostos/qwen-3.5-babel-9b-sft-agent
Text Generation • 9B • Updated • 13
Snapkitty/PIRTM
Updated
18kansal/panini-gemma-swe-bench
Updated • 1
18kansal/panini4b
Updated
theostos/qwen-3.5-babel-27b-sft-agent
Text Generation • 27B • Updated • 216
theostos/qwen-3.5-babel-9b-sft-agent-multistep
Text Generation • 9B • Updated • 681
theostos/qwen-3.5-babel-27b-sft-agent-multistep
Text Generation • 27B • Updated • 778