tcwong
/

deepseek_prover_sft_proving

Model card Files Files and versions Community

deepseek_prover_sft_proving

Commit History

initial commit

fa071bd
verified

tcwong commited on Sep 8