reaperdoesntknow/SMOLM2Prover
Text Generation • 0.4B • Updated • 549 • 1
Edit Models filters
Model Tree
Apps
Inference Providers
Models
5
Active filters: proof
rkumar1999/gpt-oss-20b-deepseek-prover
Text Generation • Updated
rkumar1999/DeepSeek-V2-Lite-Chat-deepseek-prover
Text Generation • Updated
reaperdoesntknow/SMOLM2Prover-GGUF
Text Generation • 0.4B • Updated • 3.3k
AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf
Text Generation • 671B • Updated • 66