Edit Models filters

Model Tree

Apps

Docker Model Runner

Unsloth Desktop

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

5

Base only

Active filters: proof

AbteeXAILab/lumynax-reasoning-deepseek-prover-v2-671b-gguf

Text Generation • 671B • Updated 5 days ago • 43 • 1

reaperdoesntknow/SMOLM2Prover

Text Generation • 0.4B • Updated about 20 hours ago • 4.52k • 2

rkumar1999/gpt-oss-20b-deepseek-prover

Text Generation • Updated Sep 8, 2025

rkumar1999/DeepSeek-V2-Lite-Chat-deepseek-prover

Text Generation • Updated Sep 9, 2025

reaperdoesntknow/SMOLM2Prover-GGUF

Text Generation • 0.4B • Updated about 20 hours ago • 2.27k