Edit Models filters

Model Tree

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

Apps

Docker Model Runner

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

16

Full-text search

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

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

7B • Updated Aug 29, 2024 • 5.64k • 65

c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.2

Updated Nov 28, 2024 • 2 • 2

c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.4

Updated Dec 29, 2024 • 2

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24 • 89 • 3

RickyDeSkywalker/LoT-Solver

7B • Updated 13 days ago • 10

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

kfdong/STP_model_Lean_0320

Text Generation • 7B • Updated Mar 24 • 4.3k

runrl/dsp

7B • Updated Apr 26 • 4

ChenWu98/proof.iter0_training_temp1.0.1

Updated 8 days ago

ChenWu98/proof.iter0_training_temp1.0.random_split.idx0.1

Updated 4 days ago

ChenWu98/proof.iter0_training_temp1.0.random_split.idx1.1

Updated 4 days ago

ChenWu98/proof.iter0_training_temp1.0.cluster_split.idx0.1

Updated 2 days ago

ChenWu98/proof.iter0_training_temp1.0.cluster_split.idx1.1

Updated 2 days ago

ChenWu98/statement_deepseek_v1.5_sft

Updated about 21 hours ago

ChenWu98/statement_deepseek_v1.5_sft_response_split_0

Updated about 18 hours ago

ChenWu98/statement_deepseek_v1.5_sft_response_split_1

Updated about 4 hours ago