DevQuasar/AI-MO.Kimina-Prover-Distill-1.7B-GGUF
Same weights, converted vs AI-MO/Kimina-Prover-Distill-1.7B. Same weights stored in another dtype (BF16 → F16/F32).
Tensors changed: lm_head 0/1, Embeddings 0/1, Norms 0/113, MLP 0/84, Attention 0/112
Same weights, converted vs AI-MO/Kimina-Prover-Distill-1.7B. Same weights stored in another dtype (BF16 → F16/F32).
Tensors changed: lm_head 0/1, Embeddings 0/1, Norms 0/113, MLP 0/84, Attention 0/112