mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF download history

mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 295 times (25 in the last 7 days), and 1,289 times in total.

It ranks #106,708 on the Hub by monthly downloads.

It has 0 likes.

It is a quantization of Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated.

Open mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF on Hugging Face