DevQuasar/lm-provers.QED-Nano-GGUF

Same weights, converted vs lm-provers/QED-Nano. Same weights stored in another dtype (BF16 → F16/F32).

Tensors changed: Embeddings 0/1, Norms 0/145, MLP 0/108, Attention 0/144

On the Hub · Downloads on Model Pulse