rkumar1999
/

DeepSeek-V2-Lite-Chat-deepseek-prover

Text Generation

Generated from Trainer

Mixture of Experts

Model card Files Files and versions

DeepSeek-V2-Lite-Chat-deepseek-prover

Commit History

Initial Lean SFT adapters (DeepSeek-Prover-V1) on gpt-oss-20b

080f821
verified

rkumar1999 commited on Sep 9

Training in progress, step 843

ba88fcc
verified

rkumar1999 commited on Sep 9

Training in progress, step 500

26e7368
verified

rkumar1999 commited on Sep 9

initial commit

611f960
verified

rkumar1999 commited on Sep 8