isogen

DeepSeek-Prover-V2-7B-exl3-8bpw-h8

isogen/DeepSeek-Prover-V2-7B-exl3-8bpw-h8

DeepSeek-Prover-V2-7B-exl3-8bpw-h8 is a machine learning model from isogen. Use it for the machine learning task on the model card, and read the license before you ship it in a product.

EXL3 quantization of DeepSeek-Prover-V2-7B, 8 bits per weight, including output layers.