The Pythagoras-LM/Pythagoras-Prover-4B galaxy
1 models are built on Pythagoras-LM/Pythagoras-Prover-4B: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 3,267 times in the last 30 days.
Most downloaded direct derivatives
- tinyopsec/Pythagoras-Prover-4B-GGUF (quantized), 2.4K downloads in 30 days