32B open-weight LLM by Pythagoras-LM
Pythagoras-Prover-32B is an open-weight text-generation model with roughly 32B parameters published by Pythagoras-LM on the Hugging Face Hub. It has 254 downloads. Runs with transformers.
Pythagoras-LM
api
free
Others in the same category, ranked by how often they are opened.