mradermacher/Gobble-Prover-1.7B-GGUF

Same weights, converted vs anonymous-submission-ICLR2027/Gobble-Prover-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

On the Hub · Downloads on Model Pulse