Minhdn
/

deepseek-prover-sinq-4bit

Text Generation

theorem-proving

4-bit precision

text-generation-inference

8-bit precision

Model card Files Files and versions

deepseek-prover-sinq-4bit

4.82 GB

1 contributor

History: 3 commits

Minhdn's picture

Upload folder using huggingface_hub

47b461c verified 28 days ago