mradermacher/Lean_prover_v1-GGUF
Same weights, converted vs Slim205/Lean_prover_v1. Same weights stored in another dtype (F32 → F16/F32).
Tensors changed: Embeddings 0/1, Norms 0/61, MLP 0/90, Attention 0/120, lm_head 0/1
Same weights, converted vs Slim205/Lean_prover_v1. Same weights stored in another dtype (F32 → F16/F32).
Tensors changed: Embeddings 0/1, Norms 0/61, MLP 0/90, Attention 0/120, lm_head 0/1