Edit Models filters

Model Tree

deepseek-ai/DeepSeek-Prover-V1.5-SFT

Inference status

Misc

Inference Endpoints

AutoTrain Compatible

text-generation-inference

4-bit precision

text-embeddings-inference

8-bit precision

Carbon Emissions

Mixture of Experts

Models

2

Full-text search

Active filters: deepseek-ai/DeepSeek-Prover-V1.5-SFT

tcwong/deepseek_prover_sft_no_err_by_file

tcwong/deepseek_prover_sft_proving

Updated Sep 9 • 2