Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated download history
Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated is a 32.8B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 11 times (4 in the last 7 days), and 262 times in total.
It ranks #708,164 on the Hub by monthly downloads.
It has 1 likes.
2 models build on Goedel-Formalizer-32B-SonnetAnnotated: 2 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 506 times in the last 30 days. See the Goedel-Formalizer-32B-SonnetAnnotated galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Formalizer-32B-SonnetAnnotated-GGUF (quantized), 285 downloads in 30 days
- mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF (quantized), 210 downloads in 30 days
Open Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated on Hugging Face