The Pythagoras-LM/Pythagoras-Prover-32B galaxy
1 models are built on Pythagoras-LM/Pythagoras-Prover-32B: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 582 times in the last 30 days.
Most downloaded direct derivatives
- mradermacher/Pythagoras-Prover-32B-GGUF (quantized), 486 downloads in 30 days
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.