EricSpencer00/chattla-20b
Text Generation • 21B • Updated • 257 • 1
Edit Models filters
Apps
Inference Providers
Active filters: formal-verification
Veri-Code/ReForm-SFT-0.5B
Text Generation • 0.5B • Updated • 14
Veri-Code/ReForm-SFT-1.5B
Text Generation • 2B • Updated • 7
Veri-Code/ReForm-SFT-3B
Text Generation • 3B • Updated • 11 • 1
Veri-Code/ReForm-14B-RL-entropy
Text Generation • 15B • Updated • 8 • 2
mradermacher/sft_0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 34
mradermacher/sft_1.5B-GGUF
Reinforcement Learning • 2B • Updated • 41 • 1
mradermacher/sft_3B-GGUF
Reinforcement Learning • 3B • Updated • 28
mradermacher/ReForm-SFT-0.5B-GGUF
Reinforcement Learning • 0.5B • Updated • 23
mradermacher/ReForm-SFT-3B-GGUF
Reinforcement Learning • 3B • Updated • 26
mradermacher/ReForm-SFT-3B-i1-GGUF
Reinforcement Learning • 3B • Updated • 376
mradermacher/ReForm-SFT-0.5B-i1-GGUF
Reinforcement Learning • 0.5B • Updated • 12
mradermacher/ReForm-14B-RL-entropy-GGUF
Reinforcement Learning • 15B • Updated • 17
mradermacher/ReForm-SFT-1.5B-GGUF
Reinforcement Learning • 2B • Updated • 102
mradermacher/ReForm-SFT-1.5B-i1-GGUF
Reinforcement Learning • 2B • Updated • 138
richardyoung/bfs-prover-v2-32b
Text Generation • 33B • Updated • 15
dassarthak18/phi3.5-fstar-lora
Text Generation • Updated
dassarthak18/granite-fstar-lora
Text Generation • Updated
imbue2025/RWKV-7-Prover-1.5b
Updated • 4
mradermacher/Qwen3-8B-Herald-SFT-GGUF
8B • Updated • 210 • 1
EricSpencer00/chattla-20b-gguf
21B • Updated
the-clanker-lover/steelman-14b-ada
Text Generation • Updated • 12 • 6
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