HangHor

DeepSeek-Prover-Cold-Start-V3

HangHor/DeepSeek-Prover-Cold-Start-V3

DeepSeek-Prover-Cold-Start-V3 is a machine learning model from HangHor. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as mit.