gabriellarson/Kimina-Prover-Distill-1.7B-GGUF
Quantization vs AI-MO/Kimina-Prover-Distill-1.7B. gabriellarson/Kimina-Prover-Distill-1.7B-GGUF is a GGUF quantization (Q8_0) of the same weights: 113 tensors match exactly and 198 within quantization error.
Tensors changed: lm_head 0/1, Embeddings 0/1, Norms 0/113, MLP 0/84, Attention 0/112