deepseek-ai
/

DeepSeek-Prover-V1.5-RL

Model card Files Files and versions Community

DeepSeek-Prover-V1.5-RL / modeling_deepseek.py

Commit History

upload models

c7ea101

zqh11 commited on Aug 15, 2024