Edit Models filters

Model Tree

deepseek-ai/DeepSeek-Prover-V2-7B

Inference Providers

HF Inference API

Misc

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Carbon Emissions

Mixture of Experts

Models

2

Full-text search

Active filters: deepseek-ai/DeepSeek-Prover-V2-7B

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config

Text Generation • Updated Jul 16

haielab/DeepSeek-Prover-V2-7B-conjecture-base-FineTune-20250724_0955

Text Generation • Updated 27 days ago • 14