deepseek-ai/DeepSeek-Prover-V1.5-RL
7B • Updated • 1.35k • 65
Edit Models filters
Apps
Inference Providers
Models
10
Active filters: deepseek-ai/DeepSeek-Prover-V1.5-SFT
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.2
Updated • 2
c01zaut/DeepSeek-Prover-V1.5-RL-rk3588-1.1.4
Updated • 2
kfdong/STP_model_Lean
Text Generation • 7B • Updated • 405 • 3
RickyDeSkywalker/LoT-Solver
7B • Updated • 89
RickyDeSkywalker/LoT-Solver-Godel
7B • Updated • 1
kfdong/STP_model_Lean_0320
Text Generation • 7B • Updated • 195
runrl/dsp
7B • Updated • 1
Slim205/Lean_prover_v1
7B • Updated • 2
Slim205/Lean-conjecturer
7B • Updated • 2