deepseek-ai
/

DeepSeek-Prover-V1.5-RL

Model card Files Files and versions Community

DeepSeek-Prover-V1.5-RL

Commit History

fix: modeling_deepseek.py should use `deepseek` instead of `deepseek_v2` architecture

4deb747
verified

llllvvuu commited on Aug 16, 2024

Update README.md

944fec2
verified

zqh11 commited on Aug 16, 2024

Update README.md

1982f70
verified

zqh11 commited on Aug 16, 2024

upload models

c7ea101

zqh11 commited on Aug 15, 2024

initial commit

6c208c3
verified

zqh11 commited on Aug 15, 2024