Veri-Code/ReForm-SFT-0.5B
Text Generation • 0.5B • Updated • 68
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
174
Active filters: formal-verification
Veri-Code/ReForm-SFT-1.5B
Text Generation • 2B • Updated • 36
Veri-Code/ReForm-SFT-3B
Text Generation • 3B • Updated • 28 • 1
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 32 • 3
mradermacher/sft_0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 306
mradermacher/sft_1.5B-GGUF
Reinforcement Learning • 2B • Updated • 239 • 1
mradermacher/sft_3B-GGUF
Reinforcement Learning • 3B • Updated • 340
mradermacher/ReForm-SFT-0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 390
mradermacher/ReForm-SFT-3B-GGUF
Reinforcement Learning • 3B • Updated • 502
mradermacher/ReForm-SFT-3B-i1-GGUF
Reinforcement Learning • 3B • Updated • 784
mradermacher/ReForm-SFT-0.5B-i1-GGUF
Reinforcement Learning • 0.5B • Updated • 885
mradermacher/ReForm-14B-RL-entropy-GGUF
Reinforcement Learning • 15B • Updated • 409
mradermacher/ReForm-SFT-1.5B-GGUF
Reinforcement Learning • 2B • Updated • 294
mradermacher/ReForm-SFT-1.5B-i1-GGUF
Reinforcement Learning • 2B • Updated • 568
richardyoung/bfs-prover-v2-32b
Text Generation • 33B • Updated • 58
dassarthak18/phi3.5-fstar-lora
Text Generation • Updated
dassarthak18/granite-fstar-lora
Text Generation • Updated
imbue2025/RWKV-7-Prover-1.5b
Updated • 25 • 4
mradermacher/Qwen3-8B-Herald-SFT-GGUF
8B • Updated • 329 • 1
EricSpencer00/chattla-20b-gguf
21B • Updated • 17
EricSpencer00/chattla-20b
Text Generation • 21B • Updated • 369 • 1
the-clanker-lover/steelman-14b-ada
Text Generation • Updated • 25 • 8
markm39/openproof-tactic-2b
Text Generation • Updated
Carnot-EBM/carnot-formal-claim-verifier-v1
Updated
delimitter/synoema-coder-3b-v2
Updated
EricSpencer00/chattla-20b-v15
Text Generation • Updated
beanapologist/mu-ov-cipher
Other • Updated
beanapologist/morphism-net
Other • Updated
phanerozoic/nms-verified
Object Detection • Updated
vxkyyy/vlsi-moe-ffn-merged-formal
Text Generation • 33B • Updated • 9