Pythagoras-LM/Pythagoras-Prover-4B

Full fine-tune vs Qwen/Qwen3-4B. Fine-tune: 90% of the weights changed, across 36 of 36 layers.

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

1 derivatives checked

• tinyopsec/Pythagoras-Prover-4B-GGUF: Same weights, converted

On the Hub · Downloads on Model Pulse