Edit Models filters

Model Tree

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

Inference Providers

HF Inference API

Misc

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

42

Full-text search

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

ChenWu98/statement_deepseek_v1.5_sft_cluster_v1_weighted_alpha2.0_split_0

Updated 11 days ago

ChenWu98/statement_deepseek_v1.5_sft_identical_split_random_weighted_alpha3.0_0

Updated 11 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v1_weighted_alpha2.0_split_1

Updated 11 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v1_weighted_alpha2.0_split_0_normalize

Updated 10 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v1_weighted_alpha2.0_split_1_normalize

Updated 9 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v2_weighted_alpha2.0_split_0_normalize

Updated 9 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v3_weighted_alpha2.0_split_0_normalize

Updated 9 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v2_weighted_alpha2.0_split_1_normalize

Updated 9 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v3_weighted_alpha2.0_split_1_normalize

Updated 9 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v4_weighted_alpha2.0_split_0_normalize

Updated 8 days ago

ChenWu98/statement_deepseek_v1.5_sft_cluster_v4_weighted_alpha2.0_split_1_normalize

Updated 8 days ago

Slim205/Lean-conjecturer

7B • Updated 7 days ago • 27