The Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated galaxy

1 models are built on Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 314 times in the last 30 days.

Most downloaded direct derivatives

• mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF (quantized), 306 downloads in 30 days