mradermacher/Goedel-Formalizer-V2-32B-GGUF
Quantization vs Goedel-LM/Goedel-Formalizer-V2-32B. mradermacher/Goedel-Formalizer-V2-32B-GGUF is a GGUF quantization (Q8_0) of the same weights: 257 tensors match exactly and 450 within quantization error.
Tensors changed: Embeddings 0/1, Norms 0/257, MLP 0/192, Attention 0/256, lm_head 0/1