SMOLM2Prover is an open-weight text-generation model published by reaperdoesntknow on the Hugging Face Hub. It has 4,013 downloads. Runs with transformers.

Author

reaperdoesntknow

Platform

api

Pricing model

free

Capabilities

Text generation
Conversational
Library: transformers

Related llms

Others in the same category, ranked by how often they are opened.

bloomOpen-weight LLM by bigscienceLLMs · Coding
gemma-4-12B-coder-fable5-composer2.5-v1-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
phi-4Open-weight LLM by microsoftLLMs · Coding
Kimi-K2-ThinkingOpen-weight LLM by moonshotaiLLMs · Coding
gemma-4-12B-agentic-fable5-composer2.5-v2-3.5x-tau2-GGUF12B open-weight LLM by yuxinlu1LLMs · Coding
granite-docling-258M258M open-weight LLM by ibm-graniteLLMs · Coding
openchat_3.5Open-weight LLM by openchatLLMs · Coding
MiniCPM5-1B1B open-weight LLM by openbmbLLMs · Research

SMOLM2Prover

Description

Author

Platform

Pricing model

Categories

Tags

Capabilities