DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF
Same weights, converted vs Goedel-LM/Goedel-Prover-V2-32B. Same weights stored in another dtype (BF16 → F16/F32).
Tensors changed: Embeddings 0/1, Norms 0/257, MLP 0/192, Attention 0/256, lm_head 0/1
Same weights, converted vs Goedel-LM/Goedel-Prover-V2-32B. Same weights stored in another dtype (BF16 → F16/F32).
Tensors changed: Embeddings 0/1, Norms 0/257, MLP 0/192, Attention 0/256, lm_head 0/1