Goedel-LM/Goedel-Formalizer-V2-32B download history
Goedel-LM/Goedel-Formalizer-V2-32B is a 32.8B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 43 times (7 in the last 7 days), and 2,309 times in total.
It ranks #268,825 on the Hub by monthly downloads.
It has 9 likes.
It is a fine-tune of Qwen/Qwen3-32B.
2 models build on Goedel-Formalizer-V2-32B: 2 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 1,383 times in the last 30 days. See the Goedel-Formalizer-V2-32B galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Formalizer-V2-32B-GGUF (quantized), 688 downloads in 30 days
- mradermacher/Goedel-Formalizer-V2-32B-i1-GGUF (quantized), 652 downloads in 30 days