Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated download history
Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated is a 32.8B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 8 times (3 in the last 7 days), and 210 times in total.
It ranks #932,135 on the Hub by monthly downloads.
It has 0 likes.
1 models build on Goedel-Formalizer-32B-LeanWorkbookAnnotated: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 314 times in the last 30 days. See the Goedel-Formalizer-32B-LeanWorkbookAnnotated galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF (quantized), 306 downloads in 30 days
Open Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated on Hugging Face