The Goedel-LM/Goedel-Formalizer-V2-8B galaxy

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

Most downloaded direct derivatives

• mradermacher/Goedel-Formalizer-V2-8B-i1-GGUF (quantized), 1K downloads in 30 days
• mradermacher/Goedel-Formalizer-V2-8B-GGUF (quantized), 409 downloads in 30 days

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.