Open-weight LLM by reaperdoesntknow
SMOLM2Prover-GGUF is an open-weight text-generation model published by reaperdoesntknow on the Hugging Face Hub. It has 2,111 downloads. Runs with transformers.
reaperdoesntknow
api
free
Others in the same category, ranked by how often they are opened.