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