reaperdoesntknow/SMOLM2Prover
Text Generation • 0.4B • Updated • 4.39k • 2
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
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 • 1.74k
AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf
Text Generation • 671B • Updated • 28 • 1