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

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

Most downloaded direct derivatives

• mradermacher/Goedel-Formalizer-32B-SonnetAnnotated-GGUF (quantized), 282 downloads in 30 days
• mradermacher/Goedel-Statement-Formalizer-32B-SonnetAnnotated-GGUF (quantized), 208 downloads in 30 days

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