ncgoldberg

DeepSeek-Prover-V2-671B

ncgoldberg/DeepSeek-Prover-V2-671B

DeepSeek-Prover-V2-671B is a machine learning model from ncgoldberg. Use it for the machine learning task on the model card, and read the license before you ship it in a product.