osabim61

DeepSeek-Prover-V2-7B

osabim61/DeepSeek-Prover-V2-7B

DeepSeek-Prover-V2-7B is a machine learning model from osabim61. 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.