Edit Models filters

Model Tree

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

Inference Providers

Nebius AI Studio

HF Inference API

Misc

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Carbon Emissions

Mixture of Experts

Models

8

Full-text search

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

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

Updated Aug 29, 2024 • 3.37k • 62

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

Updated Nov 28, 2024 • 7 • 2

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

Updated Dec 29, 2024 • 6

kfdong/STP_model_Lean

Text Generation • Updated Mar 24 • 191 • 3

RickyDeSkywalker/LoT-Solver

Updated 12 days ago • 38

RickyDeSkywalker/LoT-Solver-Godel

Updated 12 days ago • 1

kfdong/STP_model_Lean_0320

Text Generation • Updated Mar 24 • 7.03k

runrl/dsp

Updated Apr 26 • 650