mradermacher/Kimina-Prover-Preview-Distill-1.5B-GGUF

Same weights, converted vs AI-MO/Kimina-Prover-Preview-Distill-1.5B. Same weights stored in another dtype (BF16 → F16/F32).

Tensors changed: lm_head 0/1, Embeddings 0/1, Norms 0/57, MLP 0/84, Attention 0/196

On the Hub · Downloads on Model Pulse